Введение единичных терминов в силлогистику Больцано.

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

B.I. Fiodorov

Abstract

In the paper the author describes his method of comparative historical analysis of the deductive conception Bolzano (1781-1848). This work analyses the syllogistics with negative and singular terms. According to secularises of Bolzano the natural deduction system BS1 is built and all Aristotle syllogistics rules and modus and additional rules for syllogistics formulas of singular terms are proved.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Больцано Б. Учение о науке. СПб.: Наука, 2003.
Федоров Б.И. Единичные классы в дедуктивной теории Б.Больцано // Вестник СпбГУ. Сер. 6. Вып. 4. СПб., 1992. С. 36-37.
Федоров Б.И. Логика Бернарда Больцано. Л.: Изд-во ЛГУ, 1980.
Fiodorov B.I. Representation of Bolzanos content inferences with singular terms in the language of predicate logic // Смирновские чтения. Вып. 3. _., 2001. С. 83-85.
Федоров Б.И. Образец исторически логической реконструкции // Логические исследования. Вып. 10. М: Наука, 2003. С. 175-198.
Федоров Б.И. Особенности силлогистики Б. Больцано // Современная логика: проблемы истории, теории и применения в науке. Вып. 8. СПб., 2004. С. 332-334.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1959.