arrow-downcheckdocdocxfbflowerjpgmailnoarticlesnoresultpdfsearchsoundtwvkxlsxlsxyoutubezipTelegram

Категория

Сборники
Учебники
Монографии
Журналы

Дисциплина

Логика
История философии
Онтология
Философия культуры
Философия науки
Философия образования
Философия политики и права
Философия религии
Философия сознания
Эпистемология
Эстетика
Этика

Традиции

Прагматизм
Аналитическая философия
Античность
Возрождение
Восточная философия
Немецкая классическая философия
Новое время
Русская философия
Спиритуализм
Средние века
Структурализм
Феноменология
Экзистенциализм
Социальные сети
Вступайте в наши группы
YOUTUBE ×

Скачать

Сидоренко Е.А.

Релевантная логика (предпосылки, исчисления, семантика)

2000

Издательство:

ИФ РАН

ISBN 5-201-01925-0.
Для цитирования:

Сидоренко Е.А. Релевантная логика (предпосылки, исчисления, семантика) / Ран. Ин-т философии. – М.: ИФРАН, 2000. – 243 с

Источник:

Предоставлено Институтом философии РАН

  • Аннотация

  • Содержание

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

Введение 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

Нашли ошибку на странице?
Выделите её и нажмите Ctrl + Enter