Читать онлайн «Теория поиска вывода. Происхождение и философские приложения : монография»

ÅÄãíàâëäàâ îÖÑÖêÄãúçõâ ìçàÇÖêëàíÖí ËÏ. àååÄçìàãÄ äÄçíÄ Ç. ç. Åð˛¯ËÌÍËÌ ç. Ä. ïÓ‰ËÍÓ‚‡ íÖéêàü èéàëäÄ ÇõÇéÑÄ èêéàëïéÜÑÖçàÖ à îàãéëéîëäàÖ èêàãéÜÖçàü àÁ‰‡ÚÂθÒÚ‚Ó Å‡ÎÚËÈÒÍÓ„Ó Ù‰Âð‡Î¸ÌÓ„Ó ÛÌË‚ÂðÒËÚÂÚ‡ ËÏ. àÏχÌÛË· ä‡ÌÚ‡ 2012 1 УДК 16(091):167:510. 66 ББК 22. 12 Б898 Рецензенты А. С. Карпенко, доктор философских наук, профессор заведующий сектором логики Института философии РАН Е. Г. Драгалина-Чёрная, доктор философских наук, профессор кафедры онтологии, логики и теории познания Государственного университета — Высшая школа экономики Брюшинкин В. Н. , Ходикова Н. А. Б898 Теория поиска вывода. Происхождение и философ- ские приложения : монография. Калининград: Изд-во БФУ им. И. Канта, 2012. — 166 с. — (Серия «Библио- тека электронного журнала "РАЦИО. ru"»; вып. 6). ISBN 978-5-9971-0222-7 Проведена историко-логическая реконструкция происхожде- ния теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных тео- рий, предложенной Б. С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. Публикуется при финансовой поддержке Российского фонда фунда- ментальных исследований, проект № 11-06-07105д. УДК 16(091):167:510. 66 ББК 22. 12 © Брюшинкин В. Н. , Ходикова Н. А. , 2012 ISBN 978-5-9971-0222-7 © Балтийский федеральный университет им. И. Канта, 2012 2  ëéÑÖêÜÄçàÖ Предисловие ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 5 Введение... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 7 Глава 1. Понятие поризма и его роль в рациональной реконс- трукции происхождения научной теории... ... ... ... ... ... ... . . 12 §1. История логики и рациональная реконструкция развития науки ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 12 § 2. Б. С. Грязнов о рациональной реконструкции развития науки ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 19 § 3. Поризматическая модель происхождения научной теории и ее значение для логики и математики... ... ... ... ... ... ... ... ... ... ... ... 23 Глава 2. Гильбертовская теория доказательств: непротиворе- чивость и подформульность ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 32 § 1. Гильбертовская теория доказательств и непротиворечи- вость ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 32 § 2.