Введение
Глава 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
