PhilosophyDay

4.5.1 Возникновение и формализация модальных логик

Другая философия / Аналитическая философия / 4.  Львовско-Варшавская логическая школа и ее влияние на АФ / 4.5 Многозначные логики Я. Лукасевича / 4.5.1 Возникновение и формализация модальных логик

Страница 2

Т.о., неопределенные высказывания, к которым относятся и высказывания о будущих случайных событиях, по мнению Лукасевича, не являются ни истинными, ни ложными, им присуще другое истинностное значение.

Этим высказываниям не соответствует ни бытие, ни небытие, но лишь возможность. Т.о., Лукасевич вводит в логику третье истинностное значение, промежуточное между «истиной» и «ложью», которое он интерпретирует как «возможность». Так Лукасевич разрушает фаталистический аргумент Аристотеля. Причем, способ решения частной проблемы в данном случае не менее важен, чем результат. Нельзя не согласиться с Лукасевичем, который утверждал, что введение третьего значения в логику изменяет ее до основания, что трехзначная логика отличается от двузначной не менее, чем системы неэвклидовой геометрии от евклидовой геометрии.

Существовала ли и существует до сих пор тенденция связывать индукцию с вероятностным подходом или, как его называли ранее, особенно логики, с правдоподобием? Вначале Лукасевич был сторонником т.н. инверсной теории дедукции, согласно которой индукция является рассуждением, в котором отыскивается логическое основание для единичных предложений опыта. Связь индуктивных и дедуктивных рассуждений он обобщил, следуя Твардовскому, в понятии рассуждения как процесса. Лукасевич различает основание и следствие, которые не соответствуют паре посылка-заключение, и в связи с этим вводит направление рассуждения[263]. Если посылка является основанием, а заключение - следствием, то речь идет о дедуктивном рассуждении, а если посылка есть следствие, а заключение - основание, то речь идет о рассуждении-редукции, или говоря иначе, дедукция является нахождением следствия по данному основанию, а редукция - основания для данного следствия. Дедукция является надежным, безошибочным рассуждением, тогда как редукция - всего лишь правдоподобным. Но в 1909 году Лукасевич, анализируя формулу Лапласа p=n+1/n+2, по которой определяется правдоподобие того, что n+1 событие обладает свойством, которое проявилось в n событиях, формулирует аргумент, ставивший под сомнение осмысленность приписывания индуктивным заключениям меры правдоподобия[264]. Формула Лапласа касается единичного события, тогда как в индуктивном заключении речь идет о правдоподобии генерализации. Можно воспользоваться т.н. обобщенной формулой Лапласа p=n+1/n+m+1, где m - это число событий, охваченных генерализацией, а n - базис индукции (число наблюдаемых событий). Поскольку m много больше n, то p не может быть больше 1/2, а если m стремится к бесконечности, то p - к нулю.[265] Поэтому Лукасевич в работе "Логические основания исчисления правдоподобия"[266] старается выяснить, почему понятие правдоподобия не относится к предложениям (суждениям). Он считает, что меру правдоподобия можно приписывать пропозициональным функциям в виде отношения числа аргументов, для которых она истинна, к конечному числу всех значений переменной. Предложения, т.е. формулы без свободных переменных бывают или истинными, или ложными и понятие правдоподобия к ним не относится вообще.