Силлогистические теории и исчисление предикатов (часть 1).

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

V.I. Markin

Abstract

В настоящей статье будут рассмотрены две тесно связанные между собой проблемы. Во-первых, проблема погружения в классическое одноместное исчисление предикатов различных аксиоматических систем позитивной силлогистики (теории выводов из категорических высказываний, не содержащих сингулярных, отрицательных и сложных терминов). Решая данную проблему, мы сопоставляем каждому силлогистическому исчислению адекватную ему интерпретацию категорических высказываний, выраженную в языке логики предикатов.

Другая проблема, обратная первой в некотором отношении, это проблема построения аксиоматических систем, адекватно формализующих силлогистические рассуждения при различных содержательных трактовках категорических высказываний. Известно, что как и в истории логики, так и в современной логике имеются различные понимания условий истинности высказываний такого рода. Выразив некоторые из них на языке логики предикатов, мы построим спектр силлогистических систем, погружающихся при указанных переводах в исчисление предикатов и, следовательно, соответствующих различным трактовкам категорических высказываний .

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Бежанишвили М.Н, Мчедлишвили Л.И. Позитивная силлогистика и логика предикатов // Логика Аристотеля. Тбилиси*- 1985.
Бочаров В.А. Алгебраические реконструкции силлогистики // Логико-методологические исследования. М., 1980.
Бочаров В.А, Интерпретация ассерторической силлогистики Аристотеля // Логика Аристотеля. Тбилиси, 1985.
Бочаров В,А., Маркин В.И. Совещание по проблемам силлогистики // Философ, науки. 1983. .№ 3.
Маркин В .И. Семантическое доказательство погружаемости некоторых систем силлогистики в исчисление предикатов // Логические исследования М., 1983.
Маркин В .И. Аксиоматизация фундаментальной силлогистики Г.Лейбница // Философские проблемы истории логики и методологии науки. М., 1986 4.1.
Мчедлишвили Л .И. Позитивная ассерторическая силлогистика и логика одноместных предикатов // Логика и системные методы анализа научного знания. М., 1986.
Слирнов В.А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев, 1980.
Слирнов В.А. Погружение систем позитивной силлогистики в одноместое исчисление предикатов // Логические исследования, М., 1983.
Слирнов В.А. Логические методы анализа научного знания. М., 1987.
Vie'f'u S. Embedding of assertoric syllogistic into the pre_dicate calculus // 4-th International Methodology and Philosophy of Science. Congress Bucharest, for Logic, 1971.

##plugins.generic.recommendByAuthor.heading##