РАЦИО.ru

2009 Выпуск №1

Назад к списку Скачать статью

Рациональная реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств

Аннотация

Проведен историко-логический анализ развития логических исследований, приведшего от гильбертовской теории доказательств к формированию теории поиска вывода. Основным тезисом статьи является утверждение, что это развитие можно рационально реконструировать с точки зрения поризматической модели развития научных теорий, предложенной Б.С. Грязновым.

Abstract

T

Список литературы

1.    Бет Э. В. Метод семантических таблиц // Математическая теория логического вывода: Сб. науч. тр. / Под ред. А. В. Идельсона и Г. Е. Минца. М.: Наука, 1967.
2.    Брюшинкин В. Н. Кант и силлогистика. Некоторые размышления по поводу «Ложного мудрствования в четырех фигурах силлогизма» // Кантовский сборник. Калининград, 1986. Вып. 11.
3.    Брюшинкин В. Н. Логика, мышление, информация. Л.: Изд-во ЛГУ, 1988.
4.    Брюшинкин В. Н. О возникновении теорий в логике: теория по-иска вывода как поризм // Современная логика: Проблемы теории, истории и применения в науке: Сб. науч. тр. / Под. ред. А.Я Слинина. Л.: Изд-во ЛГУ, 1990.
5.    Гелернтер Г. Реализация машины, доказывающей математические теоремы // Вычислительные машины и мышление: Сб. науч. тр. // Под ред. Э. Фейгенбаума и Дж. Фельдмана. М. Мир, 1967.
6.    Генцен Г. Новое изложение доказательства непротиворечивости для чистой теории чисел // Математическая теория логического вывода: Сб. науч. тр./ Под ред. А. В. Идельсона и Г. Е. Минца. М.: Наука, 1967.
7.    Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики / Пер. с нем. Н. М. Нагорного; под ред. С. И. Адяна. М.: Наука, 1979.
8.    Грязнов Б. С. О взаимоотношении проблем и теорий // Грязнов Б. С. Логика, рациональность, творчество. М., 1982.
9.    Кангер С. Упрощенный метод доказательства для элементарной логики // Автоматическая теория логического вывода. М.: Наука, 1967.
10.    Лакатос И. Доказательства и опровержения: Как доказываются теоремы. М.: Наука, 1967.
11.    Ларин В. Н., Ежела В. В. К столетию открытия кванта действия // Вестник РФФИ.
12.    Маркин В. И. Интенсиональная семантика традиционной сил¬логистики // Логические исследования. М.: Наука, 2001. Вып. 8.
13.    Маркин В. И. Силлогистика как интенсиональная логическая теория: Формальная реконструкция идей Г. Лейбница и Н. А. Васильева // Критическое мышление, логика, аргументация: Сб. статей / Под общ. ред. В. Н. Брюшинкина, В. И. Маркина. Калининград: Изд-во КГУ, 2003.
14.    Пойа Д. Математическое открытие / Пер. с англ. В. С. Бер-мана; под ред. И. М. Яглома. М.: Наука, 1970.
15.    Смирнов В. А. Логические методы анализа научного знания. М.: Наука, 1987.
16.    Ходикова Н. А. Истоки возникновения теории поиска вы-вода: доказательство непротиворечивости арифметики // Критическое мышление, логика, аргументация. Калининград: Изд-во КГУ, 2003.
17.    Цейтен Г. Г. История математики в древности и в средние века / Пер. с фр. П. Юшкевича. М.; Л.: Государственное технико-теоретическое изд-во, 1932.
18.    Hintikka J., Remes U. The method of analysis. Dordrecht, 1974.