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

Main Article Content

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

Аннотация

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

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Крушинский А. Генетический тип дедукции — альтернатива традиционно понимаемой дедукции как выводу из аксиом // Логические исследования / Logical Investigations. 2007. Т. 14. C. 176-186.
Выпуск
Раздел
Статьи

Литература

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