Логическое следствие – это отношение, существующее между утверждениями и обоснованно выводимыми из них заключениями. Логика должна уточнить интуитивное представление о следовании и сформулировать на этой основе однозначно определенное понятие следованиия. Логическое следование ведет от истинных положений только к истинным. Классическая логика удовлетворяет этим требованиям, но многие ее положения плохо согласуются с привычными представлениями.
Так, классическая логика говорит, что из противоречивого суждения «Студент Иванов – отличник» и «Студент Иванов не является отличником» следует утверждение «Студенты не хотят учиться». Но при этом между утверждениями нет никакой содержательной связи. Здесь видно уклонение от обычного представления о следовании. Выводимое следствие должно быть каким-либо образом связано с тем, из чего оно выводится. Но классическая логика пренебрегает этим обстоятельством.
Американский логик К. И. Льюис в 1912 г. обратил внимание на эти так называемые «парадоксы импликации». Он разработал неклассическую теорию логического следования, основанную на понятии строгой импликации.
Американскими логиками А. Р. Андерсоном и Н. Д. Бел-напом эта концепция получила наиболее полное развитие в релевантной логике, которая была в суммированном образе представлена в их работе «Выведение следствий» (1975). Они считали, что для высказываний характерно существование некой связи между их содержанием, так как для релевантной логики не считается постыдным быть интенсиональной и допускать свободные рассуждения о значениях.
Это учение об импликации, об обусловливании (в более широком смысле) получило развитие в довольно неортодоксальных направлениях в Австралии и Южной Америке, положив начало «паранепротиворечивым» логикам. Требования релевантной логики исключали парадоксы как строгой, так и материальной импликации. Существовало множество дискуссий о том, что является ли «релевантность» формальным понятием, отличным от понятий риторики, или нет.
9. ОСОБЕННОСТИ ЛОГИЧЕСКИХ ЗАКОНОВ И ИХ СВЯЗЬ С ПРИНЦИПАМИ МЫШЛЕНИЯ
Связность – всеобщее свойство составляющих его элементов. Это способность предметов и явлений существовать не порознь, а вместе, вступая в те или иные связи и отношения. Одним из видов связей является и закон.
Закон – это внутренняя, существенная и необходимая связь между предметами и явлениями, повторяющаяся всегда и всюду при определенных условиях.
Мышление тоже имеет связный характер, но его связность качественно иная. Структурными элементами здесь выступают не сами вещи, а лишь мысли, т. е. отражения вещей. Поэтому связность проявляется в том, что возникающие и циркулирующие в головах людей мысли существуют не отдельно и изолированно одна от другой, подобно осколкам разбитого зеркала, в каждом из которых отражаются лишь какие-то отдельные кусочки действительности. В логике аналогом любой формы целостности, в которой прослеживаются те или иные связи, выступает универсум – та совокупность объектов, мыслимая как единое целое, на элементах которой мы рассматриваем необходимые нам связи. Универсум задает предметную область логических действий, связывает в одно целое все части рассуждений. Например, если мы собираемся рассматривать преступления, то универсумом выступают все преступления, совершаемые сейчас, совершенные ранее, а также те, которые будут совершены в будущем.
