Релевантная логика


ББК 87.4
УДК 164.02
Авторский знак С 34
Автор Сидоренко Евгений Александрович
Заглавие Релевантная логика
Подзаголовок (предпосылки, исчисления, семантика)
Гриф Российская академия наук, Институт философии
Редакция в авторской редакции
Рецензирование рецензенты: Ю.В. Ивлев, В.И. Маркин
Город Москва
Издательство ИФ РАН
Год 2000
Объем 243, [1] с.
ISBN 5-201-01925-0
Аннотация Книга посвящена основам релевантной логики, причинам ее появления, построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются такие формулы А, которые истинны во всех тех мирах, где постулируется верность А→А. Предлагаемая семантика адаптирована для известных релевантных исчислений Е, R и NR, а также авторской системы ЕNR непосредственно формализующей необходимую импликацию, описываемую в исчислении NR.

 

Российская Академия Наук

Институт философии

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

Релевантная логика

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

Москва

2000

 

 

 

ББК 87.4

УДК 164.02

С 34

В авторской редакции

Рецензенты:

доктор филос. наук Ю.В.Ивлев

доктор филос. наук В.И.Маркин

С 34

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

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

Книга посвящена основам релевантной логики, причинам ее появления, построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются такие формулы А, которые истинны во всех тех мирах, где постулируется верность А→А. Предлагаемая семантика адаптирована для известных релевантных исчислений Е, R и NR, а также авторской системы ЕNR непосредственно формализующей необходимую импликацию, описываемую в исчислении NR.

ISBN 5-201-01925-0

© Е.А.Сидоренко, 2000

© ИФРАН, 2000

 

 

 

 

1 Оглавление

2 Введение

3 1. Семантика возможных миров

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

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

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

7 5. Семантика системы Ε

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

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

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

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

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

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

14 12. Как усилить дедуктивные возможности релевантной логики до классической

15 13. Теорема дедукции

16 Заключение

17 Приложение

18 Литература