Модальные логики

МОДАЛЬНЫЕ ЛОГИКИ

Модальности, их виды История создания модальной логики Нормальные системы логики алетических модальностей

Литература:

,   Введение в логику. – М., Форум, 2008. Гл. 8 § 3 п.3.1.-3.7.

Дополнительная литература:

Модальные теории Яна Лукасевича. – М, изд-во ИФ РАН, 2001 Модальная логика. М. 1991 Исследования по неклассическим логикам. – М, Наука, 1989 Введение в модальную логику. М., 1987 ристотелевская силлогистика с точки зрения современной формальной логики. – М, изд-во Иностранной литературы, 1959 Модальные и интенсиональные логики и их применение к проблемам методологии науки. – М, Наука, 1984 Прикладная логика. – Новосибирск, изд-во Новосибирского университета, 2000. Гл.17 §17.2 Символическая логика. – СПб, изд-во С-Петербургского университета, 2005. Гл. X Современная модальная логика. Л., 1976. одальная логика. М., Наука, 1974.

Задания:

1.        Прочтите п. 3.1.-3.5. в §3 главы 8 учебника и сделайте выписки в тетрадь, осветив следующие вопросы:

- модальности и модальные высказывания

- виды модальностей по аспекту квалификации

- внутренние и внешние модальности

- абсолютные и относительные модальности

- личностные и безличностные модальности

2.        Прочтите п. 3.6. в §3 главы 8 учебника и сделайте выписки в тетрадь об истории модальной логики по следующему плану:

- Аристотелева модальная силлогистика, её особенности

- схоластическая модальная логика

- Ян Лукасевич и его минимальный набор требований к логике алетических модальностей

- и его системы строгой импликации (запишите формулировки исчислений S1, S2, S3, S4, S5 )

- решение Гёделя S4

3.        Из п. 3.7. в §3 главы 8 учебника (Нормальные системы логики алетических модальностей) выпишите в тетрадь формулировки нормальных модальных исчислений:

- T (Фейса и фон Вригта)

- B (Брауэра)

- S4 (Гёделя)

- S5

- свойства системы S5