Диссертация - Паранепротиворечивость и релевантность
Содержание
СОДЕРЖАНИЕ Введение
Глава 1. Паранепротиворечивые логики 0. Предисловие: закон непротиворечия
1.1 Предыстория
1.2 Классическая логика и основные паранепротиворечивые системы
1.2.1. Н.А. Колмогоров и И. Йохансон 1.2.1.1. Семантика
1.2.2. Логика Яськовского D2
1.2.3. Не истинностно-функциональные логики Н. да Косты С„
1.2.4. Паранепротиворечивая экстенсиональная логика Д.Батенса PI
1.2.5. Бивалентная (bivalence) семантика
1.3. Трехзначные паранепротиворечивые системы
1.3.1. Система Асеньо и Тамбурино
1.3.2. Система Розоноэра PCont
1.3.3. Максимальная логика Сетте Р1
1.3.4. Логика Арруды VI
1.3.4.1. Интерпретация VI в духе В.А. Смирнова
1.3.5. Логика Приста LP без modus ponens
1.3.6. Логика Д'Оттавиано J3
1.4. Соотношения паранепротиворечивых систем
1.4.1. J3, L3 и классическая логика С2
1.4.2. Р1 и VI
1.4.3. PCont, Сш и PI
1.4.4. PIL, инверсная логика Попова и VI
1.5. Некоторые выводы и проблемы
Глава 2. Паранепротиворечивость и релевантность. Проблема дуальности.
2.1. Современные определения паранепротиворечивых систем
2.2.1. Отрицание в паранепротиворечивых логиках
2.2.2. Свойства отрицания
2.3. Семантические истоки паранепротиворечивости
2.4. Релевантные логики как паранепротиворечивые
2.4.1. Сильные релевантные системы
2.4.2. Слабые релевантные системы
2.4.3. О соотношении терминов «релевантность» и «паранепротиворечивость»
2.5. Проблема дуальности Заключение Приложение Литература
