Карл Раймунд Поппер (Karl Raimund Popper; 1902–1994) — австрийский и британский философ и социолог. Основоположник философской концепции критического рационализма. Широко известен своими исследованиями по философии науки, а также трудами по социальной и политической философии, в которых он отстаивал принципы свободного общества.
Логика и рост научного знания (нем. Logik der Forschung), Поппер, 1934 эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, впервые написанный по-немецки в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Как указывал философ Карл Поппер, необходимым признаком хорошей теории является то, что она позволяет сделать предсказания, которые в принципе могут быть экспериментально опровергнуты.
Ученый, как теоретик, так и экспериментатор, формулирует высказывания или системы высказываний и проверяет их шаг за шагом. В области эмпирических наук, в частности, ученый выдвигает гипотезы или системы теорий и проверяет их на опыте при помощи наблюдения и эксперимента. Задачей логики научного исследования, или, иначе говоря, логики познания, является логический анализ этой процедуры, то есть анализ метода эмпирических наук.
Поппер выступает против индуктивного метода. «Вывод обычно называется “индуктивным”, если он направлен от сингулярных высказываний (иногда называемых также “частными высказываниями”) типа отчетов о результатах наблюдений или экспериментов к универсальным высказываниям типа гипотез или теорий.» Говорит, что целесообразность этого метода доказывается также индуктивным методом — что не особо научно, логично и вообще справедливо. И вообще говорит, что это очень тупая система: «Сколько бы примеров появления белых лебедей мы ни наблюдали, все это не оправдывает заключения: “Все лебеди белые”».
А сам он за дедуктивные методы:
Согласно развиваемой в настоящей книге концепции, метод критической проверки теорий и отбора их по результатам такой проверки всегда идет по следующему пути. Из некоторой новой идеи, сформулированной в предварительном порядке и еще не оправданной ни в каком отношении — некоторого предвосхищения, гипотезы или теоретической системы, — с помощью логической дедукции выводятся следствия. Затем полученные следствия сравниваются друг с другом и с другими соответствующими высказываниями с целью обнаружения имеющихся между ними логических отношений (типа эквивалентности, выводимости, совместимости или несовместимости).
Дает четыре различных пути, по которым происходит проверка теории: «Во-первых, это логическое сравнение полученных следствий друг с другом, при помощи которого проверяется внутренняя непротиворечивость системы. Во-вторых, это исследование логической формы теории с целью определить, имеет ли она характер эмпирической, или научной, теории или, к примеру, является тавтологичной. В-третьих, это сравнение данной теории с другими теориями, в основном с целью определить, внесет ли новая теория вклад в научный прогресс в том случае, если: она выживет после ее различных проверок. И, наконец, в-четвертых, это проверка теории при помощи эмпирического применения выводимых из нее следствий».
«Проблему нахождения критерия, который дал бы нам в руки средства для выявления различия между эмпирическими науками, с одной стороны, и математикой, логикой и “метафизическими” системами—с другой, я называю проблемой демаркации»
Можно сформулировать три требования, которым должна удовлетворять наша эмпирико-теоретическая система. Во-первых, она должна быть синтетической, то есть описывать непротиворечивый, возможный мир. Во-вторых, она должна удовлетворять критерию демаркации, то есть не быть метафизической системой, и описывать мир возможного опыта. В-третьих, она должна отличаться каким-либо образом от других таких систем, как изображающая именно нашмир опыта.
Предлагает правила, обеспечивающие проверяемость научных высказываний, то есть их фальсифицируемость. Ну, он обещает их предложить, а сам порет что-то невнятное.
Приведем два простых примера методологических правил. Их вполне достаточно, чтобы показать, что вряд ли уместно ставить исследование метода науки на одну доску с чисто логическим исследованием.
(1) Научная игра в принципе не имеет конца. Тот, кто когда-либо решит, что научные высказывания не нуждаются более в проверке и могут рассматриваться как окончательно верифицированные, выбывает из игры.
(2) Если некоторая гипотеза была выдвинута, проверена и доказала свою устойчивость,
ее нельзя устранять без “достаточных оснований”. “Достаточным основанием”, к примеру, может быть замена данной гипотезы на другую, лучше проверяемую гипотезу или фальсификация одного из следствий рассматриваемой 'ипотезы. (Понятие “лучше проверяемая” впоследствии зудет рассмотрено более подробно.)
Дать причинное объяснение некоторого события — значит дедуцировать описывающее его высказывание, используя в качестве посылок один или несколько универсальных законов вместе с определенными сингулярными высказываниями—начальными условиями.
- Научные теории постоянно изменяются. Согласно нашей характеристике эмпирической науки, это вполне естественно и не вызвано простой случайностью.
- Аксиомы можно рассматривать либо (1) как конвенции, либо (2) как эмпирические, или научные, гипотезы. Если аксиомы рассматриваются как конвенции, то они ограничивают использование или значение вводимых аксиомами фундаментальных идей (исходных терминов или понятий); они устанавливают, что можно, а чего нельзя говорить относительно этих фундаментальных идей.
* Гипотезы объясняет на примере геометрии, я ниче не поняла %)
- В рамках теоретической системы мы различаем высказывания, относящиеся к разным уровням универсальности. Высказываниями высшего уровня универсальности являются аксиомы;
- Эмпирические высказывания более высокого уровня всегда имеют характер гипотез относительно высказываний более низкого уровня, которые из них выводимы: их можно фальсифицировать посредством фальсификации этих менее универсальных высказываний. (good for you, если вы что-то поняли %))
- Мы будем считать теорию фальсифицированной только в том случае, если нам удалось открыть воспроизводимый эффект, опровергающий теорию. Другими словами, мы признаем фальсификацию только тогда, когда выдвинута и подкреплена эмпирическая гипотеза низкого уровня универсальности, описывающая такой эффект. Подобные гипотезы можно назвать фальсифицирующими гипотезами.
- В общем, как я поняла всё, что написано после этого: проблема изучения науки заключается в том, что для определения чего-то истинного и отделения его от просто правдоподобного нам нужна какая-то абсолютная истина. Ну и решение этой проблемы пока сводится только к более или менее убедительной аргументации в пользу той или иной гипотезы и теории: кто убедит — тот и прав. Как-то так.
Требования к росту знания:
1. Требование простоты: Новая теория должна исходить из простой, новой, плодотворной и объединяющей идеи относительно некоторой связи или отношения (такого, как гравитационное притяжение), существующего между до сих пор не связанными вещами (такими, как планеты и яблоки), или фактами (такими, как инерционная и гравитационная массы), или новыми “теоретическими сущностями” (такими, как поля и частицы).
2. Второе требование состоит в том, чтобы новая теория была независимо проверяемой (о понятии независимой проверки см. мою статью 1271). Это означает, что независимо от объяснения всех фактов, которые была призвана объяснить новая теория, она должна иметь новые и проверяемые следствия (предпочтительно следствия нового рода), она должна вести к предсказанию явлений, которые до сих пор не наблюдались.
3. Теория должна выдерживать некоторые новые и строгие проверки. Однако: каждое опровержение следует рассматривать как большой успех, и успех не только того ученого, который опроверг теорию, но также и того ученого, который создал опровергнутую теорию и тем самым первым, хотя бы и косвенно, предложил опровергающий эксперимент.
