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