Логико-методологическое исследование происхождения теории поиска вывода

• Автор: Ходикова, Нина Анатольевна
• Шифр специальности: 09.00.07
• Научная степень: Кандидатская
• Год защиты: 2004
• Место защиты: Калининград
• Количество страниц: 167 с.

Содержание.
Введение
Глава 1. Понятие поркзма и его роль в рациональной реконструкции происхождения научной теории

1. История логики и рациональная реконструкция развития науки.

2. Б.С. Грязнов о рациональной реконструкции развития науки.

3. Модель происхождения научной теории Грязнова и ее значение для логики и

математики.

Глава 2. Гильбертовская теория доказательств непротиворечивость и

подформулы ость

1. Г ильбертовская теория доказательств и непротиворечивость

2. Генценовскос доказательство непротиворечивости подформульность как поризм. 3. Использование свойства подформульности в теоретической логике таблицы Бета и
модельные множества Хннтикки
Глава 3. Автоматическое доказательство логикоматематических теорем и
формализация эвристик.
1. Ранняя история автоматического доказательства программа Логиктеоретик. .
2. Применение секвенциальных исчислений процедура Хао Вана.
3. Идея метапеременности в процедуре Кангера
4. Методы автоматического доказательства, основанные на теореме Эрбрана
5. Универсальные методы поиска доказательства метод резолюций и обратный метод.
Глава 4. Теория поиска вывода и ее происхождение из теории доказательств
1. Логические алгоритмы и эвристики подход О.Ф. Серебрянникова.
2. Теория поиска вывода подход .I. Маслова
3. Приложения теории поиска вывода в психологии и философии логики.
4. Рациональная реконструкция происхождения теории поиска вывода в свете
поризматической модели возникновения научных теорий
Заключение
Список литературы


Диссертация обсуждена на заседании кафедры философии и логики исторического факультета КГУ и рекомендована к защите. Основные положения диссертации изложены в ряде публикаций, обсуждались на постоянном научном семинаре кафедры философии и логики, использовались для разработки курсов символической логики и математики для студентов философского отделения исторического факультета КГУ. Структура работы. Диссертация состоит из введения, четырех глав, заключения и списка литературы. Во введении обосновывается актуальность темы исследования, выявляется степень ее разработанности в отечественной и зарубежной специальной литературе, формулируется цель и задачи исследования, характеризуется его теоретическая и практическая значимость и описывается его логическая структура. В первой главе Понятие поризма и его роль в рациональной реконструкции происхождения научной теории излагаются общие методологические установки, предложенные Б. С.Грязновым и лежащие в основе реконструкции возникновения теории поиска вывода, которая выполняется в исследовании. Бета и модельных множествах Я. Хинтикки. Третья глава Автоматическое доказательство логикоматематических теорем и формализация эвристик посвящена рассмотрению истории автоматического доказательства логикоматематических теорем от ранних методов доказательства, реализующих исключительно эвристический подход до универсальных методов, основанных на свойстве подформулы юсти и реализующих идеи аналитичности, метапеременности и локальности. В четвертой главе Теория поиска вывода и ее происхождение из теории доказательств рассмотрен теоретический подход к способам формализации эвристик в исчислениях секвенциального типа, предложенный О. Ф.Серебрянниковым, подтверждающий большую эвристическую ценность методов, полученных в теории логикоматематических исчислений в результате использования свойства подформульности. В ней также выполнена реконструкция распространения этих методов на аппарат исчислений общего типа и продемонстрировано, что этот процесс привел к возникновению теории поиска вывода. Теоретическая значимость теории поиска вывода продемонстрирована на примере ее применимость для исследования различных вопросов философии логики и психологии творчества. В последнем параграфе на основании всех промежуточных выводов исследования строится законченная схема возникновения теории поиска вывода согласно поризматической модели возникновения научных теорий. В заключении подводятся общие итоги диссертационного исследования, излагаются основные выводы и намечаются перспективы дальнейших исследований в данном направлении. Список литературы включает 6 наименований, из них русскоязычных издания и англоязычных. Глава 1. Понятие поризма и его роль в рациональной реконструкции происхождения научной теории. История логики и рациональная реконструкция развития науки. И. Кант в конце XVIII века сформулировал концепцию неизменности логики Со времен Аристотеля ей логике не приходилось сделать ни одного шага назад . Развитие логической науки опровергло это положение Канта. В середине XIX века логика претерпела революционные изменения, настолько важные, что Рассел в своей Истории западной философии назвал силлогистику Аристотеля не имеющей большого значения2. XX век отчетливо показал, что логика развивается. В XX веке логика стала дифференцированной, бурно развивающейся научной дисциплиной, достигшей высокого теоретического уровня. Иное положение наблюдается в отношении истории логики и ее методологии. Чаще всего история логики трактуется как история разработки некоторых идей или представлений и различных попыток их формализации. Например, в оксфордской истории логики У. Кант И. Критика чистого разума Пер. Н.ОЛосского. М. Наука, . С.ЗО. Доктрины Аристотеля . В наши дни любой человек, который захотел бы изучать логику, потратил бы зря время, если бы стал читать Аристотеля или коголибо из его учеников Рассел Б. История западной 4 философии и сс связи с политическими и социальными условиями от античности до наших дней в 3 кн. М Акад. Проект, . С. 9.