М.: РАН, Институт философии, 2001. — 176 с.
В книге исследуются модальные идеи и теории выдающегося логика XX
века Я.Лукасевича. В первых двух главах анализируются две
построенные им модальные логики (трехзначная и четырехзначная). В
третьей главе предпринимается попытка развить и формализовать его
интуитивные представления о детерминизме, истине и причинности.
Книга, являющаяся первым в логической литературе исследованием
данного аспекта творчества Лукасевича, содержит новые идеи и
логические результаты, касающиеся широко понимаемой модальной
логики, прогностических высказываний, онтологических модальностей,
причинности, временной детерминации, каузального определения истины
и др.
Предисловие.
Трехзначная модальная логика.
Две задачи построения модальной логики.
Требования к модальной логике.
Многозначный характер модальной логики.
Модальности в трехзначной логике.
Аксиоматизация трехзначной логики.
«Интуитивная интерпретация» Е. Слупецкого.
Модальная логика и многозначная логика.
Содержательные предпосылки модальной логики.
Примечания.
L-модальная логика.
Пересмотр позиции.
Основная модальная логика.
Минимальная модальная логика.
Аксиоматизация L-модальной логики.
Три новые аксиоматизации L-модальной логики.
Определения модальных функторов в терминах материальной импликации и констант.
L-модальная логика и классическая логика высказываний.
Система L и интуиционистская логика высказываний.
t-модальная логика как теория переменных функторов.
L-модальная логика и модальные системы К. Льюиса.
Законы экстенсиональности и двузначности в L-модальной лотке.
Система L и аподиктические истины.
L-модальная логика как логика прогностических высказываний.
Парадоксы L-модальной логики.
Модальная логика и Аристотель.
Особенности подхода Лукасевича к построению модальной логики.
Детерминизм, истина, причинность.
Лукасевич о детерминизме.
О логическом анализе принципов детерминизма.
Логика детерминизма.
Принципы детерминизма.
Примечания.
Проблема асимметрии прошлого и будущего.
Каузальное определение истины.
Логика каузальной истины.
Детерминизм и причинность.
Логический детерминизм.
Логика причинности.
Бытие и становление.
Примечания.
Трехзначная модальная логика.
Две задачи построения модальной логики.
Требования к модальной логике.
Многозначный характер модальной логики.
Модальности в трехзначной логике.
Аксиоматизация трехзначной логики.
«Интуитивная интерпретация» Е. Слупецкого.
Модальная логика и многозначная логика.
Содержательные предпосылки модальной логики.
Примечания.
L-модальная логика.
Пересмотр позиции.
Основная модальная логика.
Минимальная модальная логика.
Аксиоматизация L-модальной логики.
Три новые аксиоматизации L-модальной логики.
Определения модальных функторов в терминах материальной импликации и констант.
L-модальная логика и классическая логика высказываний.
Система L и интуиционистская логика высказываний.
t-модальная логика как теория переменных функторов.
L-модальная логика и модальные системы К. Льюиса.
Законы экстенсиональности и двузначности в L-модальной лотке.
Система L и аподиктические истины.
L-модальная логика как логика прогностических высказываний.
Парадоксы L-модальной логики.
Модальная логика и Аристотель.
Особенности подхода Лукасевича к построению модальной логики.
Детерминизм, истина, причинность.
Лукасевич о детерминизме.
О логическом анализе принципов детерминизма.
Логика детерминизма.
Принципы детерминизма.
Примечания.
Проблема асимметрии прошлого и будущего.
Каузальное определение истины.
Логика каузальной истины.
Детерминизм и причинность.
Логический детерминизм.
Логика причинности.
Бытие и становление.
Примечания.