Традиционная силлогистика с отрицательными терминами
##plugins.themes.bootstrap3.article.main##
Abstract
We set out the following axiom schemes for traditional syllogistic with negative terms: (MaP&SaM)⊃SaP, SiP⊃PiS, SaS, SaP⊃SiP, SeP≡¬SiP, SoP≡¬SaP, SaP≡SeP′, SiP≡SiP″. 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(Sx⊃Px), 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##
How to Cite
Ilyin A. Традиционная силлогистика с отрицательными терминами // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 140-151.
Issue
Section
Papers
References
Бежанишвили _. H., Мчедлишвили Л.И. Позитивная силлогистика и логика предикатов // Логика Аристотеля. Тбилиси, 1985.
Бочаров В.А. Алгебраические реконструкции силлогистики // Логикометодологические исследования. М., 1980.
Ильин А.А. Негативная фундаментальная силлогистика // Труды научно- исследовательского семинара логического центра Института философии РАН. Вып. 15. М., 2000.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1983.
Маркин В.И. Обобщенная позитивная силлогистика // Логические исследования. Вып. 6. М., РОССПЭН, 1999.
Маркин В.И. Силлогистические теории в современной логике. М.: МГУ, 1991.
Смирнов В.А. Логические методы анализа научного знания. М., 1987.
Бочаров В.А. Алгебраические реконструкции силлогистики // Логикометодологические исследования. М., 1980.
Ильин А.А. Негативная фундаментальная силлогистика // Труды научно- исследовательского семинара логического центра Института философии РАН. Вып. 15. М., 2000.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1983.
Маркин В.И. Обобщенная позитивная силлогистика // Логические исследования. Вып. 6. М., РОССПЭН, 1999.
Маркин В.И. Силлогистические теории в современной логике. М.: МГУ, 1991.
Смирнов В.А. Логические методы анализа научного знания. М., 1987.