Читать онлайн «Избранные произведения по философии и методологии науки»

Книги серии снабжены нумерацией строк, предназначенной для удобства цитирования и работы с текстами книги на семинарах и практических занятиях Lakatos Imre Proofs and Refutations History of Science and its Rational Reconstructions Falsification and the Methodology of Scientific Research Programmes Имре Лакатос Избранные произведения по философии и методологии науки Доказательства и опровержения (как доказываются теоремы) История науки и ее рациональные реконструкции Фальсификация и методология научно-исследовательских программ УДК 1/14 ББК87 Л 19 Редакционный совет серии: П. П. Гайденко, А. Л. Доброхотов, В. К. Кантор, Н. С. Кирабаев, A. M. Кобзев, Н. В. Мотрошилова, A. M. Руткевич, В. В. Соколов Редакционная коллегия серии: A. M. Руткевич (председатель), ИМ. Блауберг, Д. В. Бугай, В. В. Васильев, И. С. Вдовина, В. А. Куренной, А. В. Михайловский, Д. М. Носов, В. В. Сербиненко Составление, общая редакция и вступительная статья В. Н. Поруса Лакатос И. Л 19 Избранные произведения по философии и методологии науки / Пер. с англ. И. Н. Веселовского, А. Л. Никифорова, В. Н. Поруса — М. : Академический Проект; Трикста, 2008. — 475 с. — (Философские технологии: философия). ISBN 978-5-8291-1049-9 (Академический проект) ISBN 978-5-902358-48-0 (Трикста) В «Доказательствах и опровержениях» Имре Лакатос (1922 — 1974), мыслитель, оказавший значительное влияние на философию и историю науки XX века, разбирает доказательства знаменитой теоремы Эйлера о многогранниках и получающихся при этом парадоксах. В работе «Фальсификация и методология научно-исследовательских программ» (1970) он выступает одним из наиболее глубоких и последовательных критиков концепции смены парадигм Т. Куна и противопоставляет этому свою методологию научно-исследовательских программ, ставшую одной из лучших моделей философии науки. УДК 1/14 ББК87 © Оригинал-макет, оформление. Никифоров А. Л. , ISBN 978-5-902358-48-0 Порус β н 2(Ю8 Содержание Порус В. Η. Между философией и историей науки: на пути к «гибкой» теории научной рациональности 9 ДОКАЗАТЕЛЬСТВА И ОПРОВЕРЖЕНИЯ (КАК ДОКАЗЫВАЮТСЯ ТЕОРЕМЫ) (перевод И. Н. Веселовского) Введение 27 1. Задача и догадка 35 2. Доказательство 37 3. Критика доказательства при помощи контрпримеров, являющихся локальными, но не глобальными 41 4. Критика догадки при помощи глобальных контрпримеров 46 а) Отбрасывание догадки. Метод сдачи 47 б) Отбрасывание контрпримера. Метод устранения монстров 48 в) Улучшение догадки методами устранения исключений. Частичные исключения. Стратегическое отступление или безопасная игра 63 г) Метод исправления монстров 73 д) Улучшение догадки методом включения лемм. Рожденная доказательством теорема против наивной догадки 78 5. Критика анализа доказательства контрпримерами, являющимися глобальными, но не локальными. Проблема строгости 92 а) Устранение монстров в защиту теоремы 92 б) Скрытые леммы 93 в) Метод доказательств и опровержений 99 г) Доказательство против анализа доказательства.