Теория логических модальностей без "возможных миров"

Рассмотрены основные проблемы "традиционных" семантик модальной логики - так называемых семантик возможных миров. При истолковании смысла модальных операторов данные семантики, помимо понятия возможного мира, используют понятия модельной структуры и отношения достижимости между мирами, которые, как выясняется, не имеют однозначной содержательной интерпретации и приводят к целому ряду парадоксов. Исследованы основные принципы построения альтернативной семантики - семантики ограниченных множеств описаний состояний - для системы Льюиса S5. Данная семантика использует только "классические" понятия описания состояния, множества описаний состояний, совместимости/несовместимости высказываний по истинности/ложности, что, в первую очередь, и отличает их от семантик возможных миров.

Литература
[1] Сидоренко Е.А. Логика, парадоксы, возможные миры. Москва, УРСС, 2002, 310 с.
[2] Войшвилло Е.К. Содержательный анализ модальностей S4 и S5. Философские науки, 1983, № 3, с. 76-82.
[3] Крипке С. Семантический анализ модальной логики. В кн. Р. Фейс. Модальная логика. Москва, Наука, 1974, с. 254-303.
[4] Priest G. An Introduction to Non-Classical Logic: From If to Is. Cambridge, Cambridge University Press, 2008, 613 p.
[5] Ивлев Ю.В. Модальная логика. Москва, Изд-во МГУ, 1991, с. 168-i90.
[6] Бочаров В.А., Маркин В.И. Введение в логику. Москва, Инфра-М, 2008, 551 с.
[7] Архиереев Н.Л. Логические модальности как арифметические функции. Логические исследования, 2010, вып. 16, с. 3-22.
[8] Архиереев Н.Л. Трехзначная не-истинностно-функциональная модальная логика. Логико-философские исследования, 2010, вып. 4, с. 123-130.