Личный кабинет
Подробное описание документа
Архиереев Н. Л.
Теория логических модальностей без "возможных миров" / Архиереев Н. Л. - DOI 10.18698/2306-8477-2016-7-373 // Гуманитарный вестник МГТУ им. Н. Э. Баумана. - 2016. - № 7. -
Скачать документ
Рассмотрены основные проблемы "традиционных" семантик модальной логики - так называемых семантик возможных миров. При истолковании смысла модальных операторов данные семантики, помимо понятия возможного мира, используют понятия модельной структуры и отношения достижимости между мирами, которые, как выясняется, не имеют однозначной содержательной интерпретации и приводят к целому ряду парадоксов. Исследованы основные принципы построения альтернативной семантики - семантики ограниченных множеств описаний состояний - для системы Льюиса S5. Данная семантика использует только "классические" понятия описания состояния, множества описаний состояний, совместимости/несовместимости высказываний по истинности/ложности, что, в первую очередь, и отличает их от семантик возможных миров.
Статья опубликована в следующих изданиях
№ 7. - 2016.
