Фундаментальная силлогистика и релевантное следование

В. И. Маркин

Аннотация


В работе предлагается нестандартная семантика языка позитивной силлогистики, в которой значимость атомарных формул определяется в терминах релевантного следования. Данная идея реализуется в рамках предложенного В. И. Шалаком подхода к построению семантики силлогистики: субъектам и предикатам категорических высказываний приписываются формулы языка пропозициональной логики, а определения значимости силлогистических формул базируются на отношении классической выводимости. Данное отношение заменяется на отношение следования релевантной системы FDE. Строится семантика для фундаментальной позитивной силлогистики, доказывается метатеорема о непротиворечивости и полноте.

Полный текст:

PDF

Литература


Лейбниц Г. В. Сочинения в 4-х томах. Т. 3. М.: Мысль, 1984.

Маркин В. И. Интенсиональная семантика традиционной силлогистики // Логические исследования. 2001. Вып. 8. С. 82–91.

Маркин В. И. Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. 2002. Вып. 9. С. 119–130.

Маркин В. И. Интерпретация категорических высказываний в терминах релевантного следования // Логические исследования. 2016. Т. 22. № 1. С. 70–81.

Смирнов В. А. Логические методы анализа научного знания. М.: Эдиториал УРСС. 2002.

Шалак В. И. Синтаксическая интерпретация категорических атрибутивных высказываний // Логические исследования. 2015. Т. 21. № 1. C. 60–78.

Shepherdson J. C. On the Interpretation of Aristotelian Syllogistic // Journal of Symbolic Logic. 1956. Vol. 21. No. 2. P. 137–147.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2017 В. И. Маркин

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.