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

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

A.A. Krushinskiy

Abstract

In present paper the constructive type of deductive reasoning is contrasted with traditional (i.e. based on the notion of axiomatic system) form of deduction. The main thesis of the paper is that the logico-methodological thought of ancient China demonstrates the most advanced (in ancient world) historical realization of constructive approach to logic. The key pattern of logical entailment in China (the so called “reasoning according with a standard”) was ideologically close and formally equivalent to the method of mathematical induction.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

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