О генетическом методе
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
генетический метод, генетическое рассуждение, геометрия Евклида, рекурсивная арифметика, функциональный язык, реляционный язык
Main Article Content
Аннотация
Цель этой статьи - ответить на вопрос, каков генетический метод построения теорий. Отличительной чертой генетических теорий является использование функциональных языков, и доказательство в этих теориях по существу основано на структуре терминов.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Шалак В. О генетическом методе // Логические исследования / Logical Investigations. 2011. Т. 17. C. 281-292.
Выпуск
Раздел
Статьи
Литература
Бирюков Б.В. О научных результатах Германа и Роберта Грассманов в свете последующих исследований логики мышления // Грассман Г., Грассман Р. Логика и философия математики. Избранное. М.: Наука, 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.