|

Естественные модели для итерированных модальностей в системе Льюиса S4

Авторы: Архиереев Н.Л. Опубликовано: 26.12.2016
Опубликовано в выпуске: #2(52)/2017  
DOI: 10.18698/2306-8477-2017-2-413  
Раздел: Гуманитарные науки в техническом университете | Рубрика: Философские науки  
Ключевые слова: модальность, возможный мир, модельная структура, отношение достижимости, относительно ограниченное множество описаний состояний, истинность, ложность, выполнимость, общезначимость

Основное средство содержательного истолкования модальных исчислений в современной логике - так называемые семантики возможных миров (реляционные и окрестностные). Исходными в данных семантиках являются понятия возможного мира, модельной структуры, отношения достижимости между мирами. Хотя семантики возможных миров кажутся более естественными, чем алгебраические и топологические семантики модальных исчислений, лежащие в их основе понятия не имеют удовлетворительной содержательной интерпретации. Особенно трудной оказывается проблема содержательной интерпретации итерированных модальных операторов. В статье изложен принципиально новый подход к построению семантики модальных логик, при котором используются только традиционные для них понятия логической истинности, выполнимости и т. д. На основе этого подхода предложено естественное истолкование итерированных модальностей системы S4.


Литература
[1] Архиереев Н.Л. Логические модальности как арифметические функции - Философия науки, 2010, № 2 (45), с. 78-91.
[2] Архиереев Н.Л. Трехзначная неистинностно-функциональная модальная логика. Логико-философские исследования, 2010, вып. 4, с. 123-130.
[3] Ивлев Ю.В. Модальная логика. Москва, Изд-во МГУ, 1991, с. 168-190.