Сингулярная негативная силлогистика Аристотеля и свободная логика.

##plugins.themes.bootstrap3.article.main##

V.I. Markin

Abstract

I set out the reconstruction of Aristotelian singular negative syllogistics by means of modem logic. I propose the translation of syllogistics into a special system of free logic based on Aristotelian interpretation of categorical statements with singular and negative terms. Free logic is the best instrument for the adequate analysis of Aristotelian semantics of such statements. According to Aristotle, each affirmative proposition with singular subject ”v is P” is false and each negative proposition “v isn't P}f is true if an individual v does not exist. I formulate the axiomatic calculus of singular negative syllogistics that is the extension of the system C2 of positive syllogistics by V.A. Smirnov. I suggest the proof that this calculus is embedding into free logic under ‘Aristotelian ” translation.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Бочаров В.А. Интерпретация ассерторической силлогистики Аристотеля // Логика Аристотеля. Тбилиси, 1985.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1959.
Маркин В. И. Семантическое доказательство погружаемости некоторых систем силлогистики в исчисление предикатов // Логические исследования. М., 1983.
Смирнов В.А.Адекватныйперевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев, 1980.
Смирнов В.А. Погружение систем позитивной силлогистики в одноместное исчисление предикатов // Логические исследования / Труды научно-исследовательского семинара по логике Института философии АН СССР. М„ 1983.

##plugins.generic.recommendByAuthor.heading##