Диссертация - Логико—методологическое исследование происхождения теории поиска вывода
Содержание
Содержание.
Введение...3
Глава 1. Понятие поризма и его роль в рациональной реконструкции происхождения научной теории...14
§ 1. История логики и рациональная реконструкция развития науки...14
§ 2. Б.С. Грязнов о рациональной реконструкции развития науки...18
§ 3. Модель происхождения научной теории Грязнова и ее значение для логики и
математики...22
Глава 2. Гильбертовская теория доказательств: непротиворечивость и
подформульность...31
§ 1. Гильбертовская теория доказательств и непротиворечивость...31
§ 2. Генценовское доказательство непротиворечивости: подформульность как поризм.45 § 3. Использование свойства подформульности в теоретической логике: таблицы Бета и
модельные множества Хинтикки...57
Глава 3. Автоматическое доказательство логико-математических теорем и
формализация эвристик...63
§ 1. Ранняя история автоматического доказательства: программа «Логик-теоретик». ...63
§ 2. Применение секвенциальных исчислений: процедура Хао Вана...71
§ 3. Идея метапеременности в процедуре Кангера...77
§ 4. Методы автоматического доказательства, основанные на теореме Эрбрана...81
§ 5. Универсальные методы поиска доказательства: метод резолюций и обратный метод.
...86
Глава 4. Теория поиска вывода и ее происхождение из теории доказательств...99
§ 1. Логические алгоритмы и эвристики: подход О.Ф. Серебрянникова...99
§ 2. Теория поиска вывода: подход СЮ. Маслова...106
§ 3. Приложения теории поиска вывода в психологии и философии логики...122
§ 4. Рациональная реконструкция происхождения теории поиска вывода в свете
поризматической модели возникновения научных теорий...131
Заключение...146
Список литературы...153
