Интенсиональные семантики для некоторых систем позитивной силлогистики
Article Sidebar
Main Article Content
Аннотация
Статья посвящена рассмотрению интенсиональных семантик для некоторых систем позитивной силлогистики: фундаментальной силлогистики и ее подсистем, силлогистики ${\bf С2}$ и силлогистики Больцано.
Интенсиональные семантики, представленные в статье, строятся на основе синтаксического подхода, предложенного В.И. Шалаком и далее развитого В.И. Маркиным, при котором общим терминам приписываются формулы пропозиционального языка, а значимость силлогистических констант определяется через отношение классического, а потом и релевантного следования.
Первый раздел статьи содержит описание уже имеющихся интенсиональных семантик с релевантным следованием для фундаментальной силлогистики и ее подсистемы ${\bf ИФС}$, а также предлагаются две новые системы (промежуточные между ${\bf ФС}$ и ${\bf ИФС}$), для одной из которых доказана адекватность семантики исчислению.
Второй и третий разделы посвящены двум другим известным силлогистическим системам: силлогистике ${\bf С2}$ и силлогистике Больцано. Для обеих систем представлена интенсиональная семантика с классическим и релевантным следованием, доказаны адекватность данных семантик соответствующим исчислениям.
Предложенные семантики расширяют выразительные возможности силлогистики, а также представляются интересными в свете развивающегося интенсионального подхода к трактовке силлогистических семантик. Также в статье обозначены еще нерешенные проблемы в данной области: предложены возможные семантики для некоторых систем, поиск аксиоматизаций для которых представляет дальнейший интерес.
Скачивания
Article Details
Copyright (c) 2021 Мария Михайловна Легейдо
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Данные о финансировании
-
Russian Foundation for Basic Research
Номер гранта 20-311-90043
Литература
Лейбниц, 1982 – Лейбниц Г.В. Соч.: В 4 т. М.: Мысль, 1982–1989.
Маркин, 2001 – Маркин В.И. Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001. С. 82–91.
Маркин, 2002 – Маркин В.И. Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. Вып. 9. М.: Наука, 2002. С. 119–130.
Маркин, 2016a – Маркин В.И. Интерпретация категорических высказываний в терминах релевантного следования // Логические исследования. 2016. Т. 22. № 1. С. 70–81.
Маркин, 2016b – Маркин В.И. Семантика позитивных силлогистик и релевантное следование // Логико-философские штудии. 2016. Т. 13. № 2. С. 34–39. Маркин, Легейдо, 2019 – Маркин В.И., Легейдо М.М. Интенсиональная семантика логики классов Дж. Венна // Логические исследования. 2019. Т. 25. № 2. С. 114–137.
Смирнов, 2021 – Смирнов В.А. Логические методы анализа научного знания. М.: ЛЕНАНД, 2021. 264 с.
Шалак, 2015 – Шалак В.И. Синтаксическая интерпретация категорических атрибутивных высказываний // Логические исследования. 2015. Т. 21. № 1. С. 60–78.