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

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

A.A. Ilyin

Abstract

We set out the following axiom schemes for traditional syllogistic with negative terms: $(MaP \& SaM) \supset SaP$, $SiP \supset PiS$, $SaS$, $SaP \supset SiP$, $SeP \equiv \neg SiP$, $SoP \equiv \neg SaP$, $SaP \equiv SeP'$, $SiP \equiv 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 \rightarrow (\exists xSx \& \exists x \neg Sx \& \exists xPx \& \exists x \neg Px) \supset \forall x (Sx \supset Px)$, $SiP \rightarrow (\exists xSx \& \exists x \neg Sx \& \exists xPx \& \exists x \neg Px) \supset \exists x (Sx \& Px)$, $SeP \rightarrow (\exists xSx \& \exists x \neg Sx \& \exists xPx \& \exists x \neg Px) \supset \forall x (Sx \supset \neg Px)$, $SoP \rightarrow (\exists xSx \& \exists x \neg Sx \& \exists xPx \& \exists x \neg Px) \supset \exists x (Sx \& \neg Px)$.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

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