Силлогистические теории и исчисление предикатов (часть 1).
Article Sidebar
Опубликован:
22.04.1993
Main Article Content
Аннотация
В настоящей статье будут рассмотрены две тесно связанные между собой проблемы. Во-первых, проблема погружения в классическое одноместное исчисление предикатов различных аксиоматических систем позитивной силлогистики (теории выводов из категорических высказываний, не содержащих сингулярных, отрицательных и сложных терминов). Решая данную проблему, мы сопоставляем каждому силлогистическому исчислению адекватную ему интерпретацию категорических высказываний, выраженную в языке логики предикатов.
Другая проблема, обратная первой в некотором отношении, это проблема построения аксиоматических систем, адекватно формализующих силлогистические рассуждения при различных содержательных трактовках категорических высказываний. Известно, что как и в истории логики, так и в современной логике имеются различные понимания условий истинности высказываний такого рода. Выразив некоторые из них на языке логики предикатов, мы построим спектр силлогистических систем, погружающихся при указанных переводах в исчисление предикатов и, следовательно, соответствующих различным трактовкам категорических высказываний .
Другая проблема, обратная первой в некотором отношении, это проблема построения аксиоматических систем, адекватно формализующих силлогистические рассуждения при различных содержательных трактовках категорических высказываний. Известно, что как и в истории логики, так и в современной логике имеются различные понимания условий истинности высказываний такого рода. Выразив некоторые из них на языке логики предикатов, мы построим спектр силлогистических систем, погружающихся при указанных переводах в исчисление предикатов и, следовательно, соответствующих различным трактовкам категорических высказываний .
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Маркин В. Силлогистические теории и исчисление предикатов (часть 1). // Логические исследования / Logical Investigations. 1993. Т. 1. C. 58-66.
Выпуск
Раздел
Статьи
Литература
Бежанишвили М.Н, Мчедлишвили Л.И. Позитивная силлогистика и логика предикатов // Логика Аристотеля. Тбилиси*- 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.
Бочаров В.А. Алгебраические реконструкции силлогистики // Логико-методологические исследования. М., 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.