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

Введение 5

1. Семантика возможных миров 11
1.1. Возможные миры 11
1.2. Семантика классической пропозициональной логики 21
1.3. Семантика модальной логики 25
1.4. Три направления критики классической логики 29
1.5. Семантика релевантного следования для классических пропозициональных формул 36
1.6. Логическое следование и импликативные исчисления 40

2. Семантическое построение релевантной логики 53

3. Теоретические и идейные предпосылки двухуровневой семантики следования (переход от лейбницевской семантики к юмовской) 70

4. Двухуровневая реляционная семантика (техническое построение и содержательные пояснения) 84

5. Семантика системы ? 105

6. Чем детерминируется семантика следования 116

7. Семантические различия между импликациями, описываемыми системами E и R 123

8. Семантика исчисления R 133

9. Семантика исчисления NR 138

10. Взаимоотношения между системами E и NR 151

11. Семантика Sea и паранепротиворечивость релевантных систем 157

12. Как усилить дедуктивные возможности релевантной логики до классической 159
12.1. Принцип непротиворечия и парадоксы следования 160
12.2. Слабые следствия и парадоксы следования 167
12.3. Выводы, базирующиеся на релевантной логике и принципе непротиворечия 180

13. Теорема дедукции 188
13.1. Стандартные и нормализованные выводы 192
13.2. Обобщенная теорема дедукции 204
13.3. Универсальная теорема дедукции 217
13.4. Общие замечания 227

Заключение 232
Приложение (аксиоматика некоторых релевантных систем) 238
Литература 240