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

(часть 2)

Семантика возможных миров для модальных исчислений. Метод аналитических таблиц в модальной логике для S4.

Литература:

    , Маркин в логику. – М., 2008. Гл. 8 § 3 п. 3.8.-3.9. .

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

    Ивин теории Яна Лукасевича. – М, изд-во ИФ РАН, 2001 Ивлев семантика модальной логики. М., 1985. Ивлев логика. М. 1991 Исследования по неклассическим логикам. – М, Наука, 1989 Костюк в модальную логику. М., 1987 емантический анализ модальной логики (I и II), Теорема полноты в модальной логике // в кн.: одальная логика. – М.74 Модальные и интенсиональные логики и их применение к проблемам методологии науки. – М, Наука, 1984 Семантика модальных и интенсиональных логик. (сост., общ. ред. – ) М., Прогресс, 1981. Слинин модальная логика. Л., 1976. Фатиев миры в философии и логике. Иркутск, 1992. одальная логика. – М., Наука, 1974

Задание:

Из учебника (п.3.8. из §3 главы 8) сделайте выписки в тетрадь об идеях Лейбница и Карнапа в отношении возможных миров.


Упражнения:

С помощью аналитических таблиц установите, являются ли законами модальной системы S4 следующие формулы: p⊃p (p⊃q)⊃(p⊃(q∨r)) p⊃p ◊p⊃◊p ◊p⊃◊◊p (p&q)⊃(p∨q) С помощью аналитических таблиц установите, имеет ли место отношение логического следования в модальной системе S4: (p&q) ⊨ ◊(p&q) p, q∨r ⊨ (p⊃q) (p⊃q), ◊p, ◊q ⊨ q⊃p Установите, правильно ли следующее модальное рассуждение в системе S4:

Необходимо, что если число делится на 5, то оно оканчивается на 5 или на 0. Следовательно, что не может быть так, чтобы число делилось на 2, но не оканчивалось на 0 или на 5.