Книга посвящена основам релевантной логики, причинам ее появления, построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются такие формулы А, которые истинны во всех тех мирах, где постулируется верность А→А. Предлагаемая семантика адаптирована для известных релевантных исчислений Е, R и NR, а также авторской системы ЕNR непосредственно формализующей необходимую импликацию, описываемую в исчислении NR. Тираж 500 экз.
Оглавление
Введение
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. Семантические различия между импликациями, описываемыми системами Η и R
123
8. Семантика исчисления R
133
9. Семантика исчисления NR
138
10. Взаимоотношения между системами Ε и 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
Заключение
23 2
Приложение (аксиоматика некоторых релевантных систем)
238
Литература
240
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже
