Рациональная реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств
- Страницы / Pages
- 117—131
Аннотация
Проведен историко-логический анализ развития логических исследований, приведшего от гильбертовской теории доказательств к формированию теории поиска вывода. Основным тезисом статьи является утверждение, что это развитие можно рационально реконструировать с точки зрения поризматической модели развития научных теорий, предложенной Б.С. Грязновым.
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.