Генетический тип дедукции — альтернатива традиционно понимаемой дедукции как выводу из аксиом

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

А.А. Крушинский

Аннотация

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

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Выпуск
Раздел
Статьи

Литература

Барвайз Дж. Введение в логику первого порядка // Справочная книга по математической логике. Ч. 1. Пер. с англ. М.: Наука, 1982.
Мордухай-Болтовский Д.Д. Комментарии // Начала Евклида. Книги I — VI. Москва; Ленинград: Государственное издательство технико-теоретической литературы, 1950.
Мордухай-Болтовский Д.Д. Философия. Психология. Математика. М.: Серебряные нити, 1998.
Смирнов В.А. Генетический метод построения научной теории // Логикофилософские труды В. А. Смирнова / Под ред. В.И. Шалака. М.: Эдиториал УРСС, 2001.
Сюнь-цзы цзицзе (Сюнь-цзы с собранием разъяснений) // ЧЦЦЧ. Т.2. Пекин, 1988.
Waerden B.L. Geometry and Algebra in Ancient Civilizations. Berlin; Heidelberg; New-York, 1983.