Поиск натурального вывода в системах негативной силлогистики

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

A.V. Krasnenkova

Abstract

The paper presents an algorithm, dealing with process of natural deduction in the systems of negative syllogistic of different styles, i.e. Aristotelian, fundamental, traditional, etc. The rules of inference in a system under investigation are defined by the user. Thus the algorithm can be considered as a synthesis of so called proof checkers and automatic systems of natural deduction. Such an approach allows using genetic method to make the proposed algorithm applicable to a wide class of formal syllogistics.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Буркова И,А., Деменкова Т.А., Семенов Н.В., Харитонов А.Ш., Чумакова Е.И. Страшны ли роботам фреймы? Философия и будущее цивилизации // Тезисы докладов и выступлений IV Российского философского конгресса (Москва 24-28 мая 2005 г.). Том 1. М.: «Современные тетради», 2005.
Глушков В.М. Введение в кибернетику. Киев: Издательство Академии Наук Украинской ССР, 1964.
Горчаков А.Е., Макаров В.В., Спирин С.В. О некоторых особенностях построения компьютерной реализации алгоритма автоматического доказательства теорем в натуральном исчислении, http: // www.logic.ru (Логические исследования). М., 1998.
Логика и компьютер. Вып. 3. Доказательство и его поиск (курс логики и компьютерный практикум). М.: Наука, 1996.
Логика и компьютер. Вып. 5. Пусть докажет компьютер. М.: Наука, 2004.
Маркин В.И. Силлогистические теории в современной логике. М.: Издательство Московского университета, 1991.
Смирнова Е.Д. Логика и философия // Сер. «Научная философия». М.: РОССПЭН, 1996.
Чёрч А. Введение в математическую логику. Том 1. Глава I. § 17. М.: Издательство иностранной литературы, 1960.
Шангин В. О. Автоматических поиск натурального вывода в классической логике предикатов. Диссертация на соискание ученой степени кандидата философских наук. Специальность 09.00.07 — Логика. М., 2004.