Читать онлайн «Модальные теории Яна Лукасевича»

РОССИЙСКАЯ АКАДЕМИЯ НАУК ИНСТИТУТ ФИЛОСОФИИ Москва А. А. Ивин МОДАЛЬНЫЕ ТЕОРИИ ЯНА ЛУКАСЕВИЧА  Российская Академия Наук Институт философии А. А. Ивин МОДАЛЬНЫЕ ТЕОРИИ ЯНА ЛУКАСЕВИЧА Москва 2001  ББК 161. 1 УДК 87. 4 И-25 В авторской редакции Рецензенты: доктор филос наук А. С. Карпенко доктор филос. наук В. Н. Переверзев И-25 Ивин А. А. Модальные теории Яна Лукасевича. - М. , 2001. - 176. В книге исследуются модальные идеи и теории выдающегося логика XX века Я. Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). Втретьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в логической литературе исследованием данного аспекта творчества Лукасевича, содержит новые идеи и логические результаты, касающиеся широко понимаемой модальной логики, прогностических высказываний, онтологических модальностей, причинности, временной детерминации, каузального определения истины и др © А. А. Ивин,2001 © ИФ РАН, 2001 ISBN 5-201-02063-1  Предисловие Начало логическому исследованию модальных понятий было положено Аристотелем. Описанная им модальная силлогистика энергично обсуждалась его учениками и комментаторами (Теофрастом, Евдемом, Александром Афродизийским и др. ). Им удалось не только упростить ее и изложить яснее, но и выявить, что наряду с открытой Аристотелем модальной логикой терминов существует также более фундаментальная модальная логика высказываний. Анализ логических связей модальных высказываний, образуемых с помощью таких шести «модусов», как «возможно», «невозможно», «случайно», «необходимо», «истинно» и «ложно», являлся одной из постоянных и важных тем средневековой логики. Для логики Нового времени была характерна, однако, тенденция к поверхностной и в известной мере пренебрежительной трактовке модальностей: модальная силлогистика Аристотеля не поддавалась рациональной реконструкции, а результаты средневековой пропозициональной модальной логики были во многом забыты. Эта тенденция сохранилась и в первый период развития современной (математической) логики (конец XIX — начало XX вв. ). Например, Б. Рассел полагал, что модальные понятия должны относиться не к высказываниям, имеющим определенное истинностное значение, но только к пропозициональным функциям. Деление высказываний на необходимые, возможные и невозможные не имеет ясного смысла и ведет философию к безнадежному смешению понятий, так как его сторонники не в состоянии указать, что добавляет понятие необходимости к понятию истины1. Когда в 1912 г. К. Льюис обратил внимание на так называемые «парадоксы материальной импликации» и предложил первый вариант неклассической теории логического следования, в которой новое понятие строгой импликации определялось в терминах логической невозможности, Рассел обвинил Льюиса в некомпетентности в вопросах логики. Только на рубеже 20-х годов Льюисом и Лукасевичем были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности т. п.