Введение
Глава I. ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ И ПРОБЛЕМА ЕГО ФОРМАЛИЗАЦИИ 16
1. Некоторые обозначения. 17
2. Истинностные значения 21
3. Классическая теория следования 27
4. Дедуктивные выводы и доказательства 41
5. Логическое следование и импликативные исчисления...58
6. Системы логического следования 74
Глава II. РЕЛЕВАНТНАЯ ТЕОРИЯ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ ДЛЯ ЯЗЫКА КЛАССИЧЕСКОЙ ЛОГИКИ 86
1. Принцип релевантности 86
2. Вригта-Гича-Смаила критерий... 88
3. Логическое следование и невозможные миры 91
4. Релевантные тавтологии 97
5. Система 6 .Исходный базис 101
6. Некоторые теоремы и производные правила вывода G 103
7. Полнота и разрешимость G 106
8. Система G 115
9. Невозможность непарадоксального усиления G 117
10.Дизъюнктивный силлогизм, принцип непротиворечия и парадоксы следования 122
11.Некоторые замечания о паранепротиворечивых логиках и Ахиллесе, догоняющем черепаху 132
12.Вывод из посылок в силу и принципа непротиворечия 137
13.Специальные теории логического следования 145
Глава III. ЛОГИКА УСЛОВНЫХ ВЫСКАЗЫВАНИЙ
1. Условные высказывания 148
2. Принцип дедукции. Непосредственный вывод из посылок
3. Релевантные расширения системы Е 177
4. Непротиворечивые расширения за счет формул; аналоги которых не являются классически доказуемыми.. 186
5. Система 192
6. Семантическая полнота 195
7. Непарадоксальность
8. Стандартное импликативное исчисление, соответствующее системе
9. Сильные и слабые следствия из данных посылок 206
10. Логические критерии истинности условных высказываний 212
11. Теоремы дедукции для релевантных исчислений 218
12. Системы ЕМ и ЕМ 221
Глава IV. НЕОБХОДИМОСТЬ И ИМПЛИКАЦИЯ 225
1. Логически истинные формулы языка и исчисление 225
2. О взаимоотношениях Е и /V 229
3. Е-системы и /W -исчисления 239
4. Е-импликация и логическое следование 244
5. О возможности расширения /V7-исчислений за счет
классически неприемлемых принципов 247
Глава V. КОНТРФАКТИЧЕСКИЕ ПРЕДЛОЖЕНИЯ 250
1. Проблема конрфактических предложений 250
2. Логические критерии истинности контрфактических предложений 254
ЗАКЛЮЧЕНИЕ 278
ЛИТЕРАТУРА 282
