5. Другие разделы неклассической логики
Острой критике классическая логика подверглась за то, что она не дает корректного описания логического следования.
Основная задача логики – систематизация правил, позволяющих из принятых утверждений выводить новые. Возможность получения одних идей в качестве логических следствий других лежит в фундаменте любой науки. Это делает проблему верного описания логического следования чрезвычайно важной. Неудача в ее решении отрицательно сказывается не только на самой логике, но и на методологии науки.
Логическое следование – это отношение, существующее между утверждениями и обоснованно выводимыми из них заключениями, отношение, хорошо известное нам из практики обычных рассуждений. Задача логики – уточнить интуитивное, стихийно сложившееся представление о следовании и сформулировать на этой основе однозначно определенное понятие следования. Последнее должно, конечно, находиться в достаточном соответствии с замещаемым им интуитивным представлением.
Логическое следование должно вести от истинных положений только к истинным. Если бы выводы, относимые к обоснованным, давали возможность переходить от истины ко лжи, то установление между утверждениями отношения следования потеряло бы всякий смысл. Логический вывод превратился бы из способа разворачивания и развития знания в средство, стирающее грань между истиной и заблуждением.
Классическая логика удовлетворяет требованию вести от истины только к истине. Однако многие ее положения о следовании плохо согласуются с нашим привычным представлением о нем.
В частности, классическая логика говорит, что из противоречия логически следует все что угодно. Например, из противоречивого утверждения «Токио – большой город, и Токио не является большим городом» следуют наряду с любыми другими утверждения: «Математическая теория множеств непротиворечива», «Луна сделана из зеленого сыра» и т.п. Но между исходным утверждением и этими якобы вытекающими из него утверждениями нет никакой содержательной связи. Здесь явный отход от обычного представления о следовании.
Точно так же обстоит дело и с классическим положением, что логические законы вытекают из любых утверждений. Наш логический опыт отказывается признать, что, скажем, утверждение «Лед холодный или лед не холодный» можно вывести из утверждений типа «Два меньше трех» или «Аристотель был учителем Александра Македонского». Следствие, которое выводится, должно быть как-то связано с тем, из чего оно выводится. Классическая логика пренебрегает этим очевидным обстоятельством.
