«Возможные миры» как инструмент построения семантики некоторых неклассических логик

Формализация и аксиоматизация классической логики, осуществленная в начале ХХ в., позволила точным образом сформулировать лежащие в ее основе философско-методологические предпосылки. Многие из этих предпосылок немедленно стали предметом критики и определенной ревизии, что привело в итоге к созданию обширного семейства неклассических логик. Несмотря на то что множество логических систем, которые сегодня относят к неклассическим, не просто бесконечно, а континуально, все их можно отнести к одному из трех основных классов: логики, рассматривающие структурные отношения между не ассерторическими высказываниями; логики, использующие нестандартные модели пропозициональных функций; логики, включающие как ассерторические, так и не ассерторические высказывания. К логическим системам последнего типа относятся основные модальные системы Льюиса, изначально призванные «нейтрализовать» парадоксы материальной импликации, являющейся в классической логике моделью отношения дедуктивного логического следования. Наиболее распространенным способом построения семантики для этих систем является аппарат возможных миров. Проанализирован ряд особенностей и формальных проблем построения такого рода семантик.

EDN: ERHIAX

Литература
[1] Ивлев Ю.В. Квазиматричная (квазифункциональная) логика. Москва, Издательство Московского университета, 2018, 16 с.
[2] Ивлев Ю.В. Модальная логика. Москва, Издательство Московского университета, 1991, 224 с.
[3] Фейс Р. Модальная логика. Москва, ФИЗМАТЛИТ, 1974, 520 с.
[4] Hintikka J. Models for Modalities. Selected Essays. Netherlands, D. Reidel Publishing Company, 1969, 220 p.
[5] Priest G. An Introduction to Non-Classical Logic. From If to Is. New York, Cambridge University Press, 2008, 613 p.