Блинов А.К.
1. Возникновение и формализация модальных логик
Многозначные логики представляют собой оригинальное и интересное направление в логике. Их появление часто связывают с широко известной проблемой «будущей случайности».
В девятой главе трактата «Об истолковании» Аристотель ставит следующую проблему: верно ли, что относительно единичного и вместе с тем будущего события всякое утверждение или отрицание истинно или ложно? Верно ли, например, что относительно завтрашнего морского сражения истинно или ложно утверждение «завтра морское сражение произойдет» или отрицание «завтра морское сражение не произойдет?» Содержание знаменитого фаталистического аргумента Аристотеля можно представить следующим образом. Пусть сейчас истинно, что завтра будет морское сражение. Из этого следует, что завтрашнее морское сражение является необходимым, так как не может быть, чтобы завтра не было морского сражения, иначе сегодня не было бы истинно, что морское сражение завтра произойдет. Подобное рассуждение можно сформулировать и для случая, когда сейчас ложно, что морское сражение завтра произойдет. Сейчас истинно или ложно, что завтра будет морское сражение. Значит, или необходимо, что оно произойдет, или необходимо, что оно не произойдет. Получается, что все происходящее происходит по необходимости, случайных событий нет.
Указанная проблема оказалась удивительно продуктивной для развития логики: распространенным является мнение, что именно многочисленные попытки логической реконструкции подхода Аристотеля к решению проблемы будущей случайности привели к появлению многозначных логик.
Следует отметить, что идея многозначных логик имеет давнюю историю. Незыблемость принципа логической бивалентности, или двузначности, согласно которому каждое высказывание является истинным или ложным, подвергалась сомнению уже в средневековье. Некоторые исследователи отмечают[67] , что, в частности, еще Петр Аврелий высказывал предположение о возможном ограничении указанного принципа в целях сохранения случайности, подойдя, т.о., к идее третьего значения довольно близко. Многие исследователи (Ф. Бенер, А. Прайор, П. Белтс и др.) утверждают, что четкая идея трехзначной логики просматривается у Оккама, хотя последний и не продолжил исследований в этом направлении.
Тем не менее, развитие многозначных логик как особого направления связывается, прежде всего, с именем Яна Лукасевича. Такие работы Лукасевича, как статьи «В защиту логистики» и «О детерминизме», монография «Аристотелевская силлогистика с точки зрения современной формальной логики» по праву входят в число классических произведений современной философии и логики. «Философию необходимо перестроить, начиная с оснований, вдохнуть в нее научный метод и подкрепить ее новой логикой»[68] - такая задача представляется Лукасевичу важнейшей в контексте его научного кредо.
Проблема, которая более всего интересовала Лукасевича – это проблема детерминизма. При этом, под детерминизмом он понимал «точку зрения, гласящую, что если А является b в момент t , то истинно в любой момент, предшествующий t , что А есть b в момент t .»[69] Детерминистская точка зрения, по мнению Лукасевича, «странна и совсем не очевидна»[70] . Он подробно рассматривает два наиболее сильных аргумента в ее защиту: первый, идущий от Аристотеля, основывается на принципе исключенного третьего, второй – на физическом принципе причинности. Лукасевич показывает, что второй аргумент не исключает индетерминизма, т.е. что «можно быть глубоко убежденным, что ничего не происходит без причины и что каждое событие имеет своей причиной какое-нибудь событие прошлого, но тем не менее, не быть детерминистом.» Желая разрушить фаталистический аргумент Аристотеля, Лукасевич приходит к необходимости отказаться от принципа двузначности, так как полагает, что доводы Аристотеля не столько подрывают принцип исключенного третьего, сколько именно принцип двузначности. Различение принципа двузначности (бивалентности) и принципа исключенного третьего следует отметить как серьезное достижение Лукасевича. А.С. Карпенко, например, отмечает смешение принципа бивалентности с законом исключенного третьего как весьма распространенную ошибку и следующим образом характеризует имеющее место различие: «Различие между указанными принципами является более глубоким, даже фундаментальным, чем это можно выразить на формальном уровне. Принцип бивалентности применим только к высказываниям и потому является только логическим принципом, т.е. принципом теории истинности, в то время как содержание закона исключенного третьего ничуть не исчерпывается формой р U O р, поскольку кроме своего логического статуса имеет еще металогический и онтологический статус»[71] . В уже упомянутой статье «О детерминизме» Лукасевич так характеризует принцип двузначности: «Этот принцип, ввиду того, что он лежит в основе логики, не может быть доказан. Ему можно только доверять, а доверяет ему тот, кому он кажется очевидным. Поэтому мне ничто не препятствует этот принцип не признать и принять, что, кроме истинности и ложности существуют еще другие логические значения, по крайней мере, еще одно, третье логическое значение».[72]
Т.о., неопределенные высказывания, к которым относятся и высказывания о будущих случайных событиях, по мнению Лукасевича, не являются ни истинными, ни ложными, им присуще другое истинностное значение. Этим высказываниям не соответствует ни бытие, ни небытие, но лишь возможность. Т.о., Лукасевич вводит в логику третье истинностное значение, промежуточное между «истиной» и «ложью», которое он интерпретирует как «возможность». Так Лукасевич разрушает фаталистический аргумент Аристотеля. Причем, способ решения частной проблемы в данном случае не менее важен, чем результат. Нельзя не согласиться с Лукасевичем, который утверждал, что введение третьего значения в логику изменяет ее до основания, что трехзначная логика отличается от двузначной не менее, чем системы неэвклидовой геометрии от евклидовой геометрии.
Существовала ли и существует до сих пор тенденция связывать индукцию с вероятностным подходом или, как его называли ранее, особенно логики, с правдоподобием? Вначале Лукасевич был сторонником т.н. инверсной теории дедукции, согласно которой индукция является рассуждением, в котором отыскивается логическое основание для единичных предложений опыта. Связь индуктивных и дедуктивных рассуждений он обобщил, следуя Твардовскому, в понятии рассуждения как процесса. Лукасевич различает основание и следствие, которые не соответствуют паре посылка-заключение, и в связи с этим вводит направление рассуждения[73] . Если посылка является основанием, а заключение - следствием, то речь идет о дедуктивном рассуждении, а если посылка есть следствие, а заключение - основание, то речь идет о рассуждении-редукции, или говоря иначе, дедукция является нахождением следствия по данному основанию, а редукция - основания для данного следствия. Дедукция является надежным, безошибочным рассуждением, тогда как редукция - всего лишь правдоподобным. Но в 1909 году Лукасевич, анализируя формулу Лапласа p = n +1/ n +2, по которой определяется правдоподобие того, что n +1 событие обладает свойством, которое проявилось в n событиях, формулирует аргумент, ставивший под сомнение осмысленность приписывания индуктивным заключениям меры правдоподобия[74] . Формула Лапласа касается единичного события, тогда как в индуктивном заключении речь идет о правдоподобии генерализации. Можно воспользоваться т.н. обобщенной формулой Лапласа p = n +1/ n + m +1, где m - это число событий, охваченных генерализацией, а n - базис индукции (число наблюдаемых событий). Поскольку m много больше n , то p не может быть больше 1/2, а если m стремится к бесконечности, то p - к нулю.[75] Поэтому Лукасевич в работе "Логические основания исчисления правдоподобия"[76] старается выяснить, почему понятие правдоподобия не относится к предложениям (суждениям). Он считает, что меру правдоподобия можно приписывать пропозициональным функциям в виде отношения числа аргументов, для которых она истинна, к конечному числу всех значений переменной. Предложения, т.е. формулы без свободных переменных бывают или истинными, или ложными и понятие правдоподобия к ним не относится вообще.
Таким образом, если истинностную оценку считать именем предложения в косвенном употреблении, то, очевидно, отождествить ее с ситуацией невозможно. Поэтому Лукасевич оставляет индукцию как опосредующий метод, предваряющий дедукцию и обращается непосредственно к ревизии рассуждения как понятию, охватывающему и индукцию, и дедукцию. Эта ревизия состояла в высказывании сомнения относительно универсальности двух важнейших законов: принципа исключенного третьего и принципа противоречия. Если второму из этих законов посвящена монография "О принципе противоречия у Аристотеля"[77] , то о первом можно найти упоминание в коротком отчете "О принципе исключенного среднего"[78] . Исходная позиция метафизика Лукасевича в ревизии обоих этих законов одна. В отчете он пишет: "[...] два важнейших онтологических принципа, известных как принцип противоречия и принцип исключенного среднего истинными сами по себе не являются, но требуют доказательства; однако поскольку доказать их не удается, особенно в применении к реальным предметам, то их следует считать только допущениями. Поэтому необходимость признания этих принципов не имеет логического источника, но проистекает из определенных практических потребностей"[79] .
В ревизии рассуждения как процесса, в частности, процесса приписывания свойств предметам именно последние стали для Лукасевича на какое-то время целью анализа, и здесь можно обнаружить выразительное влияние А.Мейнонга, в семинарах которого в 1909 г. в Граце участвовал Лукасевич. В выводах упомянутого отчета он ставит под сомнение, "подпадают ли под принцип исключенного среднего общие предметы, такие как треугольник вообще, человек вообще и т.д." "Но если речь идет о реальных предметах, — продолжает Лукасевич - принцип исключенного среднего, кажется, остается в тесной связи с постулатом повсеместной детерминации явлений, не только теперешних и прошедших, но и будущих"[80] . Оба упомянутых принципа для Лукасевича являются не чем иным, как способом рассуждения, процессом, правильность которого не может приниматься "на веру" и должна быть подвержена анализу.