Личный кабинет
Подробное описание документа
Архиереев Н. Л.
«Возможные миры» как инструмент построения семантики некоторых неклассических логик / Архиереев Н. Л. - DOI 10.18698/2306-8477-2023-6-853 // Гуманитарный вестник МГТУ им. Н. Э. Баумана. - 2023. - № 6. -
Скачать документ
Формализация и аксиоматизация классической логики, осуществленная в начале ХХ в., позволила точным образом сформулировать лежащие в ее основе философско-методологические предпосылки. Многие из этих предпосылок немедленно стали предметом критики и определенной ревизии, что привело в итоге к созданию обширного семейства неклассических логик. Несмотря на то что множество логических систем, которые сегодня относят к неклассическим, не просто бесконечно, а континуально, все их можно отнести к одному из трех основных классов: логики, рассматривающие структурные отношения между не ассерторическими высказываниями; логики, использующие нестандартные модели пропозициональных функций; логики, включающие как ассерторические, так и не ассерторические высказывания. К логическим системам последнего типа относятся основные модальные системы Льюиса, изначально призванные «нейтрализовать» парадоксы материальной импликации, являющейся в классической логике моделью отношения дедуктивного логического следования. Наиболее распространенным способом построения семантики для этих систем является аппарат возможных миров. Проанализирован ряд особенностей и формальных проблем построения такого рода семантик. EDN: ERHIAX
Статья опубликована в следующих изданиях
№ 6. - 2023.
