О генетическом методе
##plugins.themes.bootstrap3.article.main##
Abstract
The aim of this paper is to answer the question what is the genetic method for constructing theories. The distinctive feature of genetic theories is the use of functional languages, and proof in these theories is essentially based on the structure of terms.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Shalack V. О генетическом методе // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 281-292.
Issue
Section
Papers
References
Бирюков Б.В. О научных результатах Германа и Роберта Грассманов в свете последующих исследований логики мышления // Грассман Г., Грассман Р. Логика и философия математики. Избранное. М.: Наука, 2008. С. 347-457.
Гильберт Д. Основания геометрии. ОГИЗ, Москва; Ленинград, 1948. С. 57.
Гильберт Д. О понятии числа // Основания геометрии. ОГИЗ, Москва; Ленинград, 1948. С. 315-321.
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М.: Наука, 1982.
Гудстейн Р.Л. Рекурсивная теория чисел // Рекурсивный математический анализ. М.: Наука, 1970.
Клини С.К. Введение в метаматематику. М.: Иностранная литература, 1957.
Крушинский А.А. Генетический тип дедукции — альтернатива традиционно понимаемой дедукции как выводу из аксиом // Логические исследования. Вып. 14. М.: Наука, 2007. С. 176-186.
Мордухай-Болтовский Д.Д. Комментарии // Начала Евклида. Книги I-VI. ОГИЗ, Москва-Ленингад, 1948. С. 221-446.
Начала Евклида. Книги I-VI. ОГИЗ, Москва; Ленинград, 1948.
Смирнов В.А. Генетический метод построения научной теории // Логико-философские труды В.А. Смирнова. М.: Эдиториал УРСС, 2001. С. 417-437.
Степин В.С. Теоретическое знание. М.: Прогресс-Традиция, 2003.
Шалак В.И. Логика функций vs логика отношений // Логические исследования. Вып. 16. М.: Наука. С. 259-271.
Эвклидовыхъ Началъ восемь книгъ // Пер. Ф. Петрушевского. Санкт-Петербургъ, 1819.
Гильберт Д. Основания геометрии. ОГИЗ, Москва; Ленинград, 1948. С. 57.
Гильберт Д. О понятии числа // Основания геометрии. ОГИЗ, Москва; Ленинград, 1948. С. 315-321.
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М.: Наука, 1982.
Гудстейн Р.Л. Рекурсивная теория чисел // Рекурсивный математический анализ. М.: Наука, 1970.
Клини С.К. Введение в метаматематику. М.: Иностранная литература, 1957.
Крушинский А.А. Генетический тип дедукции — альтернатива традиционно понимаемой дедукции как выводу из аксиом // Логические исследования. Вып. 14. М.: Наука, 2007. С. 176-186.
Мордухай-Болтовский Д.Д. Комментарии // Начала Евклида. Книги I-VI. ОГИЗ, Москва-Ленингад, 1948. С. 221-446.
Начала Евклида. Книги I-VI. ОГИЗ, Москва; Ленинград, 1948.
Смирнов В.А. Генетический метод построения научной теории // Логико-философские труды В.А. Смирнова. М.: Эдиториал УРСС, 2001. С. 417-437.
Степин В.С. Теоретическое знание. М.: Прогресс-Традиция, 2003.
Шалак В.И. Логика функций vs логика отношений // Логические исследования. Вып. 16. М.: Наука. С. 259-271.
Эвклидовыхъ Началъ восемь книгъ // Пер. Ф. Петрушевского. Санкт-Петербургъ, 1819.