Часть полного текста документа:Многозначные логики Я. Лукасевича Блинов А.К. 1. Возникновение и формализация модальных логик Многозначные логики представляют собой оригинальное и интересное направление в логике. Их появление часто связывают с широко известной проблемой "будущей случайности". В девятой главе трактата "Об истолковании" Аристотель ставит следующую проблему: верно ли, что относительно единичного и вместе с тем будущего события всякое утверждение или отрицание истинно или ложно? Верно ли, например, что относительно завтрашнего морского сражения истинно или ложно утверждение "завтра морское сражение произойдет" или отрицание "завтра морское сражение не произойдет?" Содержание знаменитого фаталистического аргумента Аристотеля можно представить следующим образом. Пусть сейчас истинно, что завтра будет морское сражение. Из этого следует, что завтрашнее морское сражение является необходимым, так как не может быть, чтобы завтра не было морского сражения, иначе сегодня не было бы истинно, что морское сражение завтра произойдет. Подобное рассуждение можно сформулировать и для случая, когда сейчас ложно, что морское сражение завтра произойдет. Сейчас истинно или ложно, что завтра будет морское сражение. Значит, или необходимо, что оно произойдет, или необходимо, что оно не произойдет. Получается, что все происходящее происходит по необходимости, случайных событий нет. Указанная проблема оказалась удивительно продуктивной для развития логики: распространенным является мнение, что именно многочисленные попытки логической реконструкции подхода Аристотеля к решению проблемы будущей случайности привели к появлению многозначных логик. Следует отметить, что идея многозначных логик имеет давнюю историю. Незыблемость принципа логической бивалентности, или двузначности, согласно которому каждое высказывание является истинным или ложным, подвергалась сомнению уже в средневековье. Некоторые исследователи отмечают[67] , что, в частности, еще Петр Аврелий высказывал предположение о возможном ограничении указанного принципа в целях сохранения случайности, подойдя, т.о., к идее третьего значения довольно близко. Многие исследователи (Ф. Бенер, А. Прайор, П. Белтс и др.) утверждают, что четкая идея трехзначной логики просматривается у Оккама, хотя последний и не продолжил исследований в этом направлении. Тем не менее, развитие многозначных логик как особого направления связывается, прежде всего, с именем Яна Лукасевича. Такие работы Лукасевича, как статьи "В защиту логистики" и "О детерминизме", монография "Аристотелевская силлогистика с точки зрения современной формальной логики" по праву входят в число классических произведений современной философии и логики. "Философию необходимо перестроить, начиная с оснований, вдохнуть в нее научный метод и подкрепить ее новой логикой"[68] - такая задача представляется Лукасевичу важнейшей в контексте его научного кредо. Проблема, которая более всего интересовала Лукасевича - это проблема детерминизма. При этом, под детерминизмом он понимал "точку зрения, гласящую, что если А является b в момент t , то истинно в любой момент, предшествующий t , что А есть b в момент t ."[69] Детерминистская точка зрения, по мнению Лукасевича, "странна и совсем не очевидна"[70] . ............ |