Традиционная силлогистика с отрицательными терминами

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

A.A. Ilyin

Abstract

We set out the following axiom schemes for traditional syllogistic with negative terms: (MaP&SaM)SaP, SiPPiS, SaS, SaPSiP, SeP¬SiP, SoP¬SaP, SaPSeP, SiPSiP. We prove that this system embeds into the predicate calculus by the interpretation of categorical propositions made by M. Bejanishwili and L. Mchedlishwili: SaP(xSx&x¬Sx&xPx&x¬Px)x(SxPx), SiP(xSx&x¬Sx&xPx&x¬Px)x(Sx&Px), SeP(xSx&x¬Sx&xPx&x¬Px)x(Sx¬Px), SoP(xSx&x¬Sx&xPx&x¬Px)x(Sx&¬Px).

##plugins.generic.usageStats.downloads##

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

Section
Papers

References

Бежанишвили _. H., Мчедлишвили Л.И. Позитивная силлогистика и логика предикатов // Логика Аристотеля. Тбилиси, 1985.
Бочаров В.А. Алгебраические реконструкции силлогистики // Логикометодологические исследования. М., 1980.
Ильин А.А. Негативная фундаментальная силлогистика // Труды научно- исследовательского семинара логического центра Института философии РАН. Вып. 15. М., 2000.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1983.
Маркин В.И. Обобщенная позитивная силлогистика // Логические исследования. Вып. 6. М., РОССПЭН, 1999.
Маркин В.И. Силлогистические теории в современной логике. М.: МГУ, 1991.
Смирнов В.А. Логические методы анализа научного знания. М., 1987.