В книге исследуются модальные идеи и теории выдающегося логика XX века Я.Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности.
Author(s): Ивин А.А.
Publisher: ИФРАН
Year: 2001
Language: Russian
Pages: 178
City: М.
Ивин А.А, Модальные теории Яна Лукасевича......Page 1
Предисловие......Page 4
1.1. Две задачи построения модальной логики......Page 9
2.1. Требования к модальной логике......Page 11
3.1. Многозначный характер модальной логики......Page 12
4.1. Модальности в трехзначной логике......Page 14
5.1. Аксиоматизация трехзначной логики......Page 15
6.1. «Интуитивная интерпретация» Е. Слупецкого......Page 18
7.1. Модальная логика и многозначная логика......Page 21
8.1. Содержательные предпосылки модальной логики......Page 24
Примечания......Page 32
1.2. Пересмотр позиции......Page 34
2.2. Основная модальная логика......Page 35
3.2. Минимальная модальная логика......Page 37
4.2. Аксиоматизация L-модальной логики......Page 55
5.2. Три новые аксиоматизации L-модальной логики......Page 59
6.2. Определения модальных функторов в терминах материальной импликации и констант......Page 64
7.2. L-модальная логика и классическая логика высказываний......Page 67
8.2. Система L и интуиционистская логика высказываний......Page 69
9.2. t-модальная логика как теория переменных функторов......Page 71
10.2. L-модальная логика и модальные системы К. Льюиса......Page 75
11.2. Законы экстенсиональности и двузначности в L-модальной лотке......Page 79
12.2. Система L и аподиктические истины......Page 84
13.2. L-модальная логика как логика прогностических высказываний......Page 92
14.2. Парадоксы L-модальной логики......Page 94
15.2. Модальная логика и Аристотель......Page 102
16.2. Особенности подхода Лукасевича к построению модальной логики......Page 110
Примечания......Page 114
1.3. Лукасевич о детерминизме......Page 119
2.3. Ологическом анализе принципов детерминизма......Page 123
3.3. Логика детерминизма......Page 129
4.3. Принципы детерминизма......Page 131
5.3. Проблема асимметрии прошлого и булутсго......Page 135
6.3. Каузальное определение истины......Page 144
7.3. Логика каузальной истины......Page 146
8.3. Детерминизм и причинность......Page 150
9.3. Логический детерминизм......Page 153
10.3. Логика причинности......Page 159
11.3. Бытие и становление......Page 166
Примечания......Page 171
