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

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

Автор: Ходикова, Нина Анатольевна

Шифр специальности: 09.00.07

Научная степень: Кандидатская

Год защиты: 2004

Место защиты: Калининград

Количество страниц: 167 с.

Артикул: 2742544

Автор: Ходикова, Нина Анатольевна

Стоимость: 250 руб.

Содержание.
Введение
Глава 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.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.188, запросов: 111