Фальсифицируемость - Falsifiability

Пара черных лебедей плавает
Эти черные лебеди - это положение дел, которое имеет место, но даже без черных лебедей, которые могли бы его сфальсифицировать, «все лебеди белые» все равно можно было бы опровергнуть - черный лебедь все равно был бы наблюдаемым положением вещей.

В философии науки теория считается опровергнутой (или опровергнутой ), если ей противоречит наблюдение, которое логически возможно , т. Е. Выражается на языке теории, и этот язык имеет обычную эмпирическую интерпретацию . В фальсифицируемой теории должно существовать состояние дел , потенциальный фальсификатор , который получает или нет и может использоваться в качестве научного доказательства против теории, в частности, это должно быть наблюдаемым с помощью существующих технологий. Например, «Все лебеди белые» можно опровергнуть, потому что «Вот черный лебедь» ему противоречит. Чтобы сделать фальсифицируемость более интуитивной, можно предположить, что потенциальный фальсификатор разрешен каким-то другим законом, чем тот, который фальсифицируется. Например, закон всемирного тяготения Ньютона также поддается опровержению - он фальсифицируется из-за того, что «кирпич упал вверх, когда его выпустили», что является положением дел, которое можно наблюдать, если на кирпич действует какая-то скрытая сила, отличная от гравитации. С другой стороны, «Все люди смертны» нельзя опровергнуть, потому что, в отличие от черного лебедя, бессмертие человека не является интерсубъективным свойством - не существует общей процедуры для систематического заключения к бессмертию.

Фальсифицируемость была введена философом науки Карлом Поппером в его книге Logik der Forschung (1934), точно переведенной на английский им самим и двумя другими переводчиками в 1959 году как «Логика научных открытий» . Он предложил это как краеугольный камень решения как проблемы индукции, так и проблемы демаркации .

Роль фальсифицируемости в философии Поппера состоит в том, чтобы сделать возможными дедуктивную проверку и рациональную критику теории. Если теория не поддается опровержению, она не может иметь предсказательной силы , что серьезно снижает ее полезность. Эта логическая часть используется в рамках методологии, которая, по мнению самого Поппера, вряд ли является строгой, потому что она включает иррациональные творческие процессы и, как указали Дюгем и другие, окончательные экспериментальные фальсификации невозможны . В ответ на невозможность технологически обоснованной проверки и во избежание проблем фальсификации Поппер выступал за фальсифицируемость и противопоставлял ее интуитивно схожей концепции проверяемости . Проверка утверждения «Все лебеди белые» потребует наблюдения за всеми лебедями, что технически невозможно при разумных предположениях в любой теории, имеющей обычную эмпирическую интерпретацию. Напротив, наблюдение за одним черным лебедем технологически разумно и достаточно, чтобы логически опровергнуть его и направить критическое обсуждение. Более того, даже если черный лебедь был в принципе невозможен из-за фундаментального закона биологии, он все равно был бы потенциальным фальсификатором (потому что все равно, когда он появляется, его можно наблюдать с помощью доступных технологий).

Как ключевое понятие в отделении науки от ненаучных и псевдонаучных , опровержимость занимала видное место во многих научных спорах и приложениях, даже использовалась как юридический прецедент.

Проблема индукции и демаркации

Один из вопросов научного метода : как перейти от наблюдений к научным законам ? Это проблема индукции. Предположим, мы хотим проверить гипотезу о том, что все лебеди белые. Встречаем белого лебедя. Мы не можем обоснованно спорить (или убедить ) от «вот белый лебедь» до «все лебеди белые»; это потребовало бы логической ошибки, такой как, например, подтверждение следствия .

Идея Поппера для решения этой проблемы состоит в том, что хотя невозможно проверить, что каждый лебедь белый, обнаружение одного черного лебедя показывает, что не каждый лебедь белый. Мы могли бы предварительно принять предложение о том, что каждый лебедь белый, одновременно ища примеры небелых лебедей, которые показали бы, что наша гипотеза ложна. Фальсификация использует действительный умозаключение Толленс модуса : если из заявления (скажем , какой - то закон с некоторым начальным условием) мы логически выводят , но то , что наблюдается это , мы делаем вывод , что это ложь. Например, учитывая утверждение «все лебеди белые» и начальное условие «здесь есть лебедь», мы можем вывести «здесь лебедь белый», но если наблюдается следующее: «здесь лебедь не белый» ( скажем черный), то «все лебеди белые» ложно, или это не был лебедь.

По мнению Поппера, индукция в науке вообще не нужна. Напротив, с точки зрения Поппера, законы предполагаются нелогичным образом на основе ожиданий и предрасположенностей. Это побудило Дэвида Миллера , студента и сотрудника Поппера, написать «миссия состоит в том, чтобы классифицировать истины, а не подтверждать их». Напротив, движение логического эмпиризма , в которое входили такие философы, как Мориц Шлик , Рудольф Карнап , Отто Нейрат и А. Дж. Айер, хотели формализовать идею о том, что для того, чтобы закон был научным, должна быть возможность спорить на основе наблюдений либо в пользу его истинности или его ложности. Среди этих философов не было единого мнения о том, как этого добиться, но мысль, выраженная изречением Маха о том, что «там, где невозможно ни подтверждение, ни опровержение, наука не заинтересована», была принята как основная заповедь критического осмысления науки.

Поппер сказал, что демаркационный критерий возможен, но мы должны использовать логическую возможность фальсификации, которая является опровержимостью. Он процитировал свое столкновение с психоанализом в 1910-х годах. Неважно, какое наблюдение было представлено, психоанализ мог это объяснить. К сожалению, причина, по которой он мог все объяснить, состоит в том, что он также ничего не исключал. Для Поппера это было неудачей, потому что это означало, что он не мог делать никаких прогнозов. С логической точки зрения, если кто-то находит наблюдение, не противоречащее закону, это не означает, что закон верен. Сама по себе проверка не имеет ценности. Но если закон делает рискованные прогнозы и они подтверждаются, говорит Поппер, есть причина предпочесть этот закон другому закону, который делает менее рискованные прогнозы или вообще не делает прогнозов. В определении фальсифицируемости противоречия с наблюдениями используются не для фактических фальсификаций, а для логических «фальсификаций», которые показывают, что закон делает рискованные прогнозы, а это совершенно другое.

Что касается фундаментальной философской стороны этого вопроса, Поппер сказал, что некоторые философы Венского кружка смешали две разные проблемы, проблему значения и проблему демаркации, и предложили в верификации единственное решение для обеих: утверждение, которое не может быть проверено. считалось бессмысленным. В противовес этой точке зрения Поппер сказал, что существуют значимые теории, которые не являются научными, и что, соответственно, критерий значимости не совпадает с критерием разграничения .

От проблемы Юма к беспроблемной индукции

Проблему индукции часто называют проблемой Юма. Дэвид Хьюм изучал, как люди получают новые знания, выходящие за рамки известных законов и наблюдений, в том числе то, как мы можем открывать новые законы. Он понимал, что дедуктивная логика не может объяснить этот процесс обучения, и приводил доводы в пользу умственного или психологического процесса обучения, который не требует дедуктивной логики. Он даже утверждал, что этот процесс обучения не может быть оправдан никакими общими правилами, дедуктивными или нет. Поппер принял аргумент Юма и поэтому рассматривал прогресс в науке как результат квазииндукции, которая делает то же самое, что и индукция, но не имеет правил вывода, чтобы ее оправдать. Филип Н. Джонсон-Лэрд , профессор психологии, также согласился с выводом Юма о том, что индукция не имеет оправдания. Для него индукция не требует обоснования и поэтому может существовать так же, как квазииндукция Поппера.

Когда Джонсон-Лэрд говорит, что никакого оправдания не требуется, он не имеет в виду общий метод оправдания, который, чтобы избежать кругового рассуждения, сам по себе не требует никакого оправдания. Напротив, в согласии с Юмом, он ссылается на тот факт, что не существует общего метода обоснования индукции, и это нормально, потому что шаги индукции не требуют обоснования. Вместо этого в этих шагах используются модели индукции, которые могут быть применимы или неприменимы в зависимости от базовых знаний. Джонсон-Лэрд писал: «[П] гилософы беспокоились о том, какие свойства объектов оправдывают индуктивные выводы. Ответ основывается на знании: мы не делаем вывод, что все пассажиры в самолете - мужчины, потому что первые десять с самолета - мужчины. . Мы знаем, что это наблюдение не исключает возможности пассажира-женщины ". Шаблон рассуждений, который здесь не применялся, - это перечислительная индукция .

Поппера интересовал общий процесс обучения в науке, вплоть до квазииндукции, которую он также называл «путем науки». Однако Поппер не проявлял особого интереса к этим моделям рассуждений, которые он во всем мире называл психологизмом. Он не отрицал возможности какого-то психологического объяснения процесса обучения, особенно когда психология рассматривается как расширение биологии, но он чувствовал, что эти биологические объяснения выходят за рамки эпистемологии. Поппер предложил эволюционный механизм для объяснения успеха науки, что во многом согласуется с точкой зрения Джонсон-Лэрда, что «индукция - это просто то, что животные, в том числе люди, делают, чтобы сделать жизнь возможной», но Поппер не считал ее частью его эпистемологии. Он писал, что его интересует главным образом логика науки и что эпистемология должна заниматься только логическими аспектами. Вместо того чтобы спрашивать, почему наука преуспевает, он рассмотрел прагматическую проблему индукции. Проблема заключается не в том, как оправдать теорию или каков глобальный механизм успеха науки, а только в том, какие критерии мы используем, чтобы выбрать одну теорию из уже выдвинутых теорий. Его ответ на последний вопрос состоит в том, что мы выбираем теорию, которая наиболее проверена с помощью доступных технологий. По его собственному мнению, поскольку только отрицательный подход поддерживался логикой, Поппер принял отрицательную методологию. Цель его методологии - предотвратить «политику иммунизации наших теорий от опровержения». Он также поддерживает некоторую «догматическую позицию» в защите теорий от критики, потому что это позволяет процессу быть более полным. Этот негативный взгляд на науку подвергался сильной критике, и не только Джонсон-Лэрд.

На практике некоторые шаги, основанные на наблюдениях, можно обосновать предположениями, которые могут быть очень естественными. Например, байесовская индуктивная логика оправдывается теоремами, которые делают явные предположения. Эти теоремы получены с помощью дедуктивной, а не индуктивной логики. Иногда их представляют как шаги индукции, потому что они относятся к законам вероятности, даже если они не выходят за рамки дедуктивной логики. Это еще одно третье понятие индукции, которое пересекается с дедуктивной логикой в ​​том смысле, что оно поддерживается ею. Эти дедуктивные шаги на самом деле не являются индуктивными, но общий процесс, включающий создание предположений, индуктивен в обычном смысле. С точки зрения фаллибилизма, точки зрения, широко принятой философами, включая Поппера, каждый шаг обучения только создает или усиливает предположение - это все, чем занимается наука.

Проблемы фальсификации

Имре Лакатош разделил проблемы фальсификации на две категории. Первая категория соответствует решениям, которые должны быть согласованы учеными, прежде чем они смогут опровергнуть теорию. Другая категория возникает, когда кто-то пытается использовать фальсификации и подтверждения для объяснения прогресса науки . Лакатош сказал, что существует два неправильных подхода, которые он назвал догматическим фальсификационизмом и наивным фальсификационизмом . Догматический фальсификационизм игнорирует оба типа проблем, тогда как наивный фальсификационизм рассматривает только первый тип. Лакатос противопоставил их изощренному фальсификационизму , собственному усовершенствованию решения Поппера. Методология Поппера не основана (и никогда не была) основана на одном из двух неверных подходов. Что касается терминологической стороны этого вопроса, Поппер сказал, что он никогда не называл свою методологию «фальсификационизмом», старался избегать этого термина и предлагал вместо него термин « критический рационализм ».

Догматический фальсификационизм

Догматический фальсификационист игнорирует, что каждое наблюдение пропитано теорией. Это приводит к критике, что неясно, какая теория фальсифицирована. Это тот, который изучается, или тот, который стоит за наблюдением? Иногда это называют « проблемой Дюгема – Куайна ». Примером может служить опровержение Галилеем теории о том, что небесные тела представляют собой безупречные хрустальные шары. Многие считали ложной оптическую теорию телескопа, а не теорию небесных тел. Другой пример - теория, согласно которой нейтрино испускаются в бета-распадах . Если бы они не наблюдались в нейтринном эксперименте Коуэна – Райнса , многие сочли бы, что сила обратной бета-реакции, используемой для обнаружения нейтрино, недостаточно высока. В то время, писал Гровер Максвелл , вероятность того, что эта сила была достаточно высокой, была «благочестивой надеждой».

Догматический фальсификационист игнорирует роль вспомогательных гипотез, которые могли бы объяснить противоречивое наблюдение. Для того чтобы фальсификация имела место логически, в пункте ceteris paribus должно быть сказано, что никакая вспомогательная гипотеза не отвечает за противоречащее наблюдение. Опять же, это приводит к критике, что нельзя сказать, ложна ли это теория или оговорка при прочих равных. Лакатош приводит пример пути планеты. Если путь противоречит закону Ньютона, мы не узнаем, ложен ли это закон Ньютона или предположение, что никакое другое тело не влияло на путь. Поппер знал, что всегда можно найти другую вспомогательную гипотезу, хотя он четко различал фальсифицируемые теории, такие как теория Ньютона, и фальсифицируемые теории в этом отношении.

Лакатос говорит, что решение Поппера на эти критические замечания требует ослабления предположения о том, что наблюдение может показать ложность теории:

Если теория фальсифицирована [в обычном смысле], она оказывается ложной; если оно сфальсифицировано [в техническом смысле], оно все равно может быть правдой.

-  Имре Лакатос, Lakatos 1978 , стр. 24

Методологический фальсификационизм заменяет противоречащее наблюдение фальсификацией «противоречивым наблюдением», принятым по соглашению ученых, соглашением, которое подразумевает четыре вида решений, имеющих эти соответствующие цели: выбор всех основных утверждений (утверждений, которые соответствуют логически возможным наблюдениям) , выбор принятых основных утверждений среди основных утверждений, обеспечение возможности опровержения статистических законов и применение опровержения к конкретной теории (вместо оговорки при прочих равных условиях). Таким образом, фальсификации и фальсификации зависят от решений, принимаемых учеными с учетом принятой в настоящее время технологии и связанной с ней теории. Итак, Поппер говорит, что «наука не покоится на твердой породе». Он также говорит (см. Раздел § Основные утверждения и определение фальсифицируемости ), что это не препятствие для определения эмпирической основы и фальсифицируемости.

Наивный фальсификационизм

Согласно Лакатошу, наивный фальсификационизм - это утверждение, что методологические фальсификации могут сами по себе объяснить, как прогрессирует научное знание. Очень часто теория все еще полезна и используется даже после того, как обнаруживается противоречие с некоторыми наблюдениями. Кроме того, когда ученые имеют дело с двумя или более конкурирующими теориями, которые обе подтверждаются, рассматривая только фальсификации, неясно, почему одна теория выбирается выше другой, даже если одна подтверждается чаще, чем другая. Фактически, более сильная версия тезиса Куайна-Дюгема гласит, что не всегда возможно рационально выбрать одну теорию над другой, используя фальсификации. Если рассматривать только фальсификации, непонятно, почему часто подтверждающий эксперимент рассматривается как признак прогресса. Критический рационализм Поппера использует как фальсификации, так и подтверждения, чтобы объяснить прогресс в науке. То, как подтверждения и фальсификации могут объяснить прогресс в науке, было предметом разногласий между многими философами, особенно между Лакатошем и Поппером.

Поппер проводил различие между творческим и неформальным процессом, в результате которого возникают теории и принятые базовые утверждения, и логическим и формальным процессом, в котором теории фальсифицируются или подтверждаются. Главный вопрос заключается в том, может ли решение выбрать теорию среди конкурирующих теорий в свете фальсификаций и подтверждений быть оправданным с помощью какой-то формальной логики. Это деликатный вопрос, потому что эта логика была бы индуктивной: она оправдывает универсальный закон с учетом конкретных примеров. Кроме того, фальсификации, поскольку они основаны на методологических решениях, бесполезны с точки зрения строгого обоснования. Ответ Лакатоша и многих других на этот вопрос - должен. В отличие от этого, для Поппера творческая и неформальная части руководствуются методологическими правилами, которые, естественно, говорят о предпочтении подтвержденных теорий перед фальсифицированными, но эту методологию вряд ли можно сделать строгой.

Поппер использовал для анализа прогресса науки концепцию правдоподобия , способ определить, насколько близка теория к истине, что он не считал очень значимым, за исключением (как попытки) описать концепцию, уже ясную на практике. Позже было показано, что конкретное определение, предложенное Поппером, не может различить две ложные теории, что характерно для всех теорий в истории науки. Сегодня все еще продолжаются исследования общей концепции правдоподобия.

От проблемы индукции к фальсификационизму

Юм объяснил индукцию теорией разума, частично вдохновленной теорией тяготения Ньютона. Поппер отверг юмовское объяснение индукции и предложил свой собственный механизм: наука развивается путем проб и ошибок в рамках эволюционной эпистемологии. Юм считал, что его психологический процесс индукции следует законам природы, но для него это не означает существования метода оправдания, основанного на логических правилах. Фактически, он утверждал, что любой механизм индукции, включая механизм, описанный его теорией, не может быть логически оправдан. Точно так же Поппер принял эволюционную эпистемологию, которая подразумевает, что некоторые законы объясняют прогресс в науке, но все же настаивает на том, что процесс проб и ошибок вряд ли является строгим и что всегда есть элемент иррациональности в творческом процессе науки. Отсутствие метода обоснования является неотъемлемой частью объяснения Поппера методом проб и ошибок.

Какими бы рациональными они ни были, эти объяснения, которые относятся к законам, но не могут быть превращены в методы обоснования (и, таким образом, не противоречат аргументам Юма или его предпосылкам), были недостаточны для некоторых философов. В частности, Рассел однажды выразил мнение, что если проблема Юма не может быть решена, «нет интеллектуальной разницы между здравомыслием и безумием», и фактически предложил метод оправдания. Он отверг посылку Юма о необходимости оправдать любой принцип, который сам по себе используется для оправдания индукции. Может показаться, что эту предпосылку трудно отвергнуть, но, чтобы избежать круговой аргументации, мы отвергаем ее в случае дедуктивной логики. Имеет смысл также отвергнуть эту предпосылку в случае принципов, оправдывающих индукцию. Предложение Лакатоша об изощренном фальсификационизме было очень естественным в этом контексте.

Поэтому Лакатош призвал Поппера найти индуктивный принцип, лежащий в основе процесса обучения методом проб и ошибок, и изощренный фальсификационизм был его собственным подходом к решению этой проблемы. Кун, Фейерабенд, Масгрейв и другие упомянули, а сам Лакатос признал, что в качестве метода оправдания эта попытка провалилась, потому что не было нормативной методологии для оправдания - методология Лакатоша была замаскированной анархией.

Фальсификационизм в философии Поппера

Иногда говорят, что философия Поппера не признает тезис Куайна-Дюгема, что делает его формой догматического фальсификационизма. Например, Уоткинс писал: «Очевидно, забыв о том, что он однажды сказал:« Дюгем прав [...] », Поппер намеревался разработать потенциальных фальсификаторов только для фундаментальных предположений Ньютона». Но философия Поппера не всегда квалифицируется как фальсификационизм в уничижительной манере, связанной с догматическим или наивным фальсификационизмом. Проблема фальсификации признается фальсификационистами. Например, Чалмер указывает, что фальсификационисты открыто признают, что наблюдение пропитано теорией. Торнтон, ссылаясь на методологию Поппера, говорит, что предсказания, сделанные на основе предположений, напрямую не сравниваются с фактами просто потому, что все утверждения-наблюдения основаны на теории. Для критических рационалистов проблемы фальсификации не являются проблемой, потому что они не пытаются сделать экспериментальные фальсификации логичными или логически оправдать их, или использовать их для логического объяснения прогресса в науке. Вместо этого их вера зиждется на критических дискуссиях по поводу этих экспериментальных фальсификаций. Лакатош провел различие между «фальсификацией» (в кавычках) в философии Поппера и фальсификацией (без кавычек), которую можно использовать в систематической методологии, когда отказ оправдан. Он знал, что в философии Поппера нет и никогда не было такого рода оправданий, но он чувствовал, что так должно было быть. Иногда Поппер и другие фальсификационисты говорят, что когда теория фальсифицируется, она отвергается, что выглядит как догматический фальсификационизм, но общим контекстом всегда является критический рационализм, в котором все решения открыты для критического обсуждения и могут быть пересмотрены.

Основные утверждения и определение фальсифицируемости

Поппер различал логику науки и ее прикладную методологию . Логическая часть состоит из теорий, утверждений и их чисто логической взаимосвязи. Методологическая часть состоит, по мнению Поппера, из неформальных правил, которые используются для предположения теорий, принятия утверждений наблюдений как фактических и т. Д. Когда это различие применяется к термину «фальсифицируемость», оно соответствует различию между двумя совершенно разными значениями. срока. То же самое и с термином «фальсифицируемый». Поппер сказал, что он использует слова «фальсифицируемость» или «фальсифицируемость» только в отношении логической стороны и что, когда он обращается к методологической стороне, он говорит вместо «фальсификации» и связанных с ней проблем.

Поппер сказал, что методологические проблемы требуют предложения методологических правил. Например, одно из таких правил гласит, что если человек отказывается соглашаться с фальсификациями, значит, он удаляется из игры в науку. Логическая сторона не имеет таких методологических проблем, в частности, в отношении фальсифицируемости теории, потому что не требуется, чтобы базовые утверждения были возможными. Методологические правила нужны только в контексте реальных фальсификаций.

Таким образом, с точки зрения Поппера, наблюдения преследуют две цели. С методологической стороны наблюдения могут использоваться, чтобы показать, что закон ложен, что Поппер называет фальсификацией. С логической стороны наблюдения, которые являются чисто логическими построениями, не показывают, что закон является ложным, но противоречат закону, чтобы показать его опровержимость. В отличие от фальсификаций и свободные от проблем фальсификации , эти противоречия устанавливают ценность закона, которая в конечном итоге может быть подтверждена. Он писал, что существует целая литература, потому что это различие не понимается.

Основные утверждения

С точки зрения науки Поппера, утверждения наблюдений можно анализировать в рамках логической структуры независимо от каких-либо фактических наблюдений. Набор всех рассматриваемых чисто логических наблюдений составляет эмпирическую основу. Поппер называет их базовыми утверждениями или тестовыми утверждениями . Это утверждения, которые можно использовать, чтобы показать опровержимость теории. Поппер говорит, что основные утверждения не обязательно должны быть возможны на практике. Достаточно того, чтобы они были приняты условно как принадлежащие к эмпирическому языку, языку, допускающему интерсубъективную проверяемость : «они должны быть проверены интерсубъективным наблюдением (материальное требование)». См. Примеры в разделе § Примеры разграничения и применения .

На более чем двенадцати страницах «Логики научных открытий» Поппер неформально обсуждает, какие утверждения среди тех, которые рассматриваются в логической структуре, являются базовыми. Логическая структура использует универсальные классы для определения законов. Например, в законе «все лебеди белые» понятие лебедей является универсальным классом. Это соответствует набору свойств, которыми должен обладать каждый лебедь. Это не ограничивается лебедями, которые существуют, существовали или будут существовать. Неформально базовое утверждение - это просто утверждение, которое касается только конечного числа конкретных экземпляров в универсальных классах. В частности, такое экзистенциальное утверждение, как «существует черный лебедь», не является основным утверждением, потому что оно не является конкретным для конкретного случая. С другой стороны, «этот лебедь здесь черный» - основное утверждение. Поппер говорит, что это единичное экзистенциальное утверждение или просто единичное утверждение. Итак, базовые утверждения - это единичные (экзистенциальные) утверждения.

Определение фальсифицируемости

Торнтон говорит, что основные утверждения - это утверждения, которые соответствуют определенным «отчетам о наблюдениях». Затем он дает определение фальсифицируемости Поппера:

"Теория является научной тогда и только тогда, когда она делит класс базовых утверждений на следующие два непустых подкласса: (а) класс всех тех базовых утверждений, с которыми она несовместима или которые она запрещает - это класс его потенциальных фальсификаторов (т. е. тех утверждений, которые, если они верны, фальсифицируют всю теорию), и (б) класс тех основных утверждений, с которыми он согласуется или которые он разрешает (т. е. тех утверждений, которые, если правда, подтвердите это или подтвердите это) ".

-  Thornton, Stephen, Thornton 2016 , в конце раздела 3.

Как и в случае с настоящими фальсификаторами, ученые должны принимать решения, чтобы принять логическую структуру и связанную с ней эмпирическую основу, но они обычно являются частью общих знаний, которыми обладают ученые, и часто даже в обсуждении нет необходимости. Первое решение, описанное Лакатошем, подразумевается в этом соглашении, но другие решения не нужны. Это соглашение, если можно говорить о согласии, когда нет даже обсуждения, существует только в принципе. Здесь становится важным различие между логической и методологической сторонами науки. Когда предлагается настоящий фальсификатор, детально рассматривается используемая технология, и, как описано в разделе § Догматический фальсификационизм , требуется фактическое согласие. Это может потребовать использования более глубокого эмпирического базиса, скрытого в рамках текущего эмпирического базиса, чтобы убедиться, что свойства или значения, используемые в фальсификаторе, были получены правильно ( Andersson 2016 дает несколько примеров).

Поппер говорит, что, несмотря на то, что эмпирическая база может быть шаткой, более сопоставимой с болотом, чем с твердой землей, определение, данное выше, является просто формализацией естественного требования к научным теориям, без которого весь логический процесс науки было бы невозможно.

Начальное состояние и предсказание в фальсификаторах законов

В своем анализе научной природы универсальных законов Поппер пришел к выводу, что законы должны «позволять нам вывести, грубо говоря, больше эмпирических единичных утверждений, чем мы можем вывести только из начальных условий». Единичное утверждение, состоящее только из одной части, не может противоречить универсальному закону. У фальсификатора закона всегда две части: начальное условие и единичное утверждение, которое противоречит предсказанию.

Однако нет необходимости требовать, чтобы фальсификаторы содержали две части в самом определении. Это устраняет требование, согласно которому фальсифицируемое утверждение должно давать предсказание. Таким образом, определение является более общим и позволяет опровергнуть сами основные утверждения. Критерии, которые требуют, чтобы закон был предсказуемым, как того требует фальсифицируемость (применительно к законам), писал Поппер, «были выдвинуты как критерии значимости предложений (а не как критерии разграничения, применимые к теоретическим системам). снова и снова после публикации моей книги, даже критиками, которые пренебрегли моим критерием фальсифицируемости ».

Фальсифицируемость в теории моделей

Такие ученые, как лауреат Нобелевской премии Герберт А. Саймон , изучили семантические аспекты логической стороны фальсифицируемости. Эти исследования проводились с точки зрения того, что логика - это связь между формальными предложениями в языках и набором математических структур. Отношение, обычно обозначаемое , говорит, что формальное предложение истинно при интерпретации в структуре - оно обеспечивает семантику языков. Согласно Ринасевичу , в этой семантической перспективе фальсифицируемость, как определено Поппером, означает, что в некоторой структуре наблюдения (в коллекции) существует набор наблюдений, которые опровергают теорию. Было рассмотрено еще более сильное понятие фальсифицируемости, которое требует, чтобы не только существовала одна структура с противоречащим набором наблюдений, но и чтобы все структуры в коллекции не могли быть расширены до структуры, которая удовлетворяет требованиям, содержащим такой противоречивый набор наблюдений. .

Примеры разграничения и приложений

Теория Ньютона

В ответ на Лакатоша, который предположил, что теорию Ньютона так же трудно показать опровергнутой, как и психоаналитическую теорию Фрейда, Поппер привел пример яблока, которое перемещается с земли на ветку, а затем начинает танцевать с одной ветки на другую. Это явно невозможно, но это базовое утверждение является действительным потенциальным фальсификатором теории Ньютона, потому что положение яблока в разное время можно измерить.

Принцип эквивалентности Эйнштейна

Другой пример основного утверждения: «Инертная масса этого объекта в десять раз больше, чем его гравитационная масса». Это основное утверждение, потому что инертную массу и гравитационную массу можно измерить отдельно, хотя никогда не бывает, чтобы они были разными. Это, как описал Поппер, действительный фальсификатор принципа эквивалентности Эйнштейна.

Эволюция

Промышленный меланизм

Перечная моль с черным и белым телом.

Пример основного утверждения теории эволюции: «В этой промышленной зоне относительная приспособленность белотелой пяденицы очень высока». Здесь «фитнес» означает «репродуктивный успех следующего поколения». Это пример базового утверждения, потому что можно отдельно определить тип окружающей среды, промышленную или естественную, и относительную пригодность формы с белым телом (относительно формы с черным телом) в области, даже если никогда не бывает, чтобы форма с белым телом имела высокую относительную пригодность в промышленной зоне. «В промышленных районах черная разновидность пяденицы перечной имеет более высокую относительную приспособленность (из-за лучшей маскировки)» - известный пример фальсифицируемого утверждения, которое иллюстрирует эффект естественного отбора.

Докембрийский кролик

Известный пример основного утверждения Дж. Б. С. Холдейна : «[Это] ископаемые кролики докембрийской эпохи». Это основное утверждение, потому что можно найти ископаемого кролика и определить, что дата ископаемого относится к докембрийской эре, хотя никогда не бывает, что дата ископаемого кролика относится к докембрийской эре. Несмотря на мнения об обратном , иногда ошибочно приписываемые Попперу, это показывает научный характер палеонтологии или истории эволюции жизни на Земле, поскольку противоречит палеонтологической гипотезе о том, что все млекопитающие существовали в гораздо более позднюю эпоху. Ричард Докинз добавляет, что подойдет любое другое современное животное, например бегемот.

Простые примеры неопровержимых утверждений

Даже если принять, что ангелы существуют, предложение «Все ангелы имеют большие крылья» нельзя опровергнуть, потому что, хотя можно наблюдать отсутствие больших крыльев, не существует технологии (независимо от наличия крыльев) для идентификации этих ангелов. .

Простой пример неосновного утверждения - «у этого ангела нет больших крыльев». Это не основное утверждение, потому что, хотя можно наблюдать отсутствие больших крыльев, не существует технологии (независимо от наличия крыльев) для идентификации ангелов. Даже если принять, что ангелы существуют, предложение «Все ангелы имеют большие крылья» не поддается опровержению.

Другой пример неосновного утверждения Поппера: «Это человеческое действие альтруистично». Это не базовое утверждение, потому что ни одна из общепринятых технологий не позволяет нам определить, мотивировано ли действие личными интересами. Поскольку никакое базовое утверждение не опровергает его, утверждение, что «Все человеческие действия эгоистичны и мотивированы личным интересом», таким образом, не может быть опровергнуто.

Гипотеза Омфалоса

Некоторые приверженцы креационизма молодой Земли приводят аргумент (названный гипотезой Омфалоса после греческого слова, означающего пупок), что мир был создан с появлением возраста; например, внезапное появление зрелой курицы, способной откладывать яйца. Эта специальная гипотеза, введенная в креационизм молодой Земли, делает ее неопровержимой, потому что в ней говорится, что время создания (вида), измеренное принятой технологией, является иллюзией, и не предлагается никакой принятой технологии для измерения заявленного «фактического» времени создания. Поппер говорит, что можно модифицировать теорию, вводя вспомогательную гипотезу, но новая теория должна, по крайней мере, оставаться опровергнутой, что здесь не так. Можно также представить гипотезу Омфалоса как вспомогательную гипотезу, которая вводится в принятую теорию. С этой точки зрения новая теория остается опровергнутой, но ее опровержимость не увеличивается, потому что никаких дополнительных наблюдений не прогнозируется. В обоих взглядах специальная гипотеза, рассматриваемая сама по себе, не может быть опровергнута, потому что нет способа измерить заявленное «фактическое» время создания, которое предлагается этой гипотезой. Это подробно обсуждается Диеном в случае разновидности гипотезы Омфалоса, которая, кроме того, указывает, что Бог создал творение таким образом, чтобы проверить нашу веру.

Полезные метафизические утверждения

Гровер Максвелл обсуждал такие утверждения, как «Все люди смертны». Это невозможно опровергнуть, потому что не имеет значения, сколько лет мужчине, возможно, он умрет в следующем году. Максвелл сказал, что это утверждение, тем не менее, полезно, потому что оно часто подтверждается. Он ввел термин «подтверждение без разграничения». По мнению Поппера, это действительно полезно, но только потому, что это косвенно подтверждается подтверждением фальсифицируемого закона «Все люди умирают в возрасте до 150 лет». По мнению Поппера, если такого фальсифицируемого закона не существует, то метафизический закон бесполезен, потому что он не подтверждается косвенно. Подобные неоправданные утверждения в науке были замечены Карнапом еще в 1937 году.

Максвелл также использовал пример «Все твердые вещества имеют точку плавления». Это нельзя опровергнуть, потому что, возможно, точка плавления будет достигнута при более высокой температуре. Закон будет опровергнутым и будет более полезным, если мы укажем верхнюю границу температур плавления или способ вычисления этой верхней границы.

Другой пример от Максвелла: «Все бета-распады сопровождаются испусканием нейтрино из одного и того же ядра». Это тоже нельзя опровергнуть, потому что, возможно, нейтрино можно будет зарегистрировать другим способом. Этот закон можно опровергнуть и гораздо полезнее с научной точки зрения, если указать метод обнаружения нейтрино . Максвелл сказал, что большинство научных законов представляют собой метафизические утверждения такого рода, которые, по словам Поппера, необходимо уточнить, прежде чем они смогут быть косвенно подтверждены. Другими словами, должны быть предоставлены специальные технологии, чтобы сделать утверждения интерсубъективно проверяемыми, т. Е. Чтобы ученые знали, что на самом деле означает фальсификация или ее неудача.

В своей критике критерия фальсифицируемости Максвелл рассматривал требование принятия решений при фальсификации как испускания нейтрино (см. § Догматический фальсификационизм ), так и существования точки плавления. Например, он указал, что если бы нейтрино не было обнаружено, это могло быть потому, что какой-то закон сохранения неверен. Поппер не возражал против проблемы фальсификации как таковой. Он всегда признавал эти проблемы. Ответ Поппера был вполне логичным. Например, он указал, что, если дан конкретный способ уловить нейтрино, то на уровне языка это утверждение можно опровергнуть, потому что «после использования этого конкретного способа нейтрино не было обнаружено» формально противоречит ему (и он поддается интерсубъективной проверке - люди могут повторить эксперимент).

Другой пример из примера с молью перечной : «Во всех областях соотношение белого и черного влияет на ее приспособленность». Это также нельзя опровергнуть, потому что, возможно, правильный экологический фактор еще не был учтен. Когда это указано, а именно, пригодность в загрязненных промышленных зонах по сравнению с незагрязненными территориями, тогда закон можно опровергнуть, и в нем говорится, какой экологический фактор следует учитывать, чтобы на самом деле увидеть эффект.

Естественный отбор

В 5-м и 6-м изданиях книги « О происхождении видов» Дарвин по предложению Альфреда Рассела Уоллеса использовал «выживание наиболее приспособленных», выражение, впервые придуманное Гербертом Спенсером , как синоним «естественного отбора». Поппер и другие заявили, что если использовать наиболее широко распространенное определение «приспособленности» в современной биологии (см. Подраздел § «Эволюция» ), а именно репродуктивный успех, выражение «выживание наиболее приспособленных» будет тавтологией.

На практике, как показано на примере с молью из раздела § «Эволюция» , задаваемые вопросы относятся к тому типу, как конкретные черты влияют на выживаемость или приспособленность вида при столкновении с таким фактором окружающей среды, как промышленное загрязнение. Великий дарвинист Рональд Фишер разработал математические теоремы, чтобы помочь ответить на подобные вопросы. Но для Поппера и других в этом нет (опровергнутого) закона естественного отбора, потому что он применим только к некоторым редким признакам. Напротив, для Поппера работа Фишера и других по естественному отбору является частью важной программы метафизических исследований.

Математика

Поппер сказал, что не все неопровержимые утверждения бесполезны в науке. Математические утверждения - хорошие примеры. Как и все формальные науки , математика не занимается проверкой достоверности теорий, основанных на наблюдениях в эмпирическом мире, а скорее занимается теоретическим, абстрактным изучением таких тем, как количество , структура , пространство и изменение . Однако методы математических наук применяются при построении и проверке научных моделей, имеющих дело с наблюдаемой реальностью . Альберт Эйнштейн писал: «Одна из причин, по которой математика пользуется особым уважением, выше всех других наук, заключается в том, что ее законы абсолютно точны и бесспорны, в то время как законы других наук в некоторой степени спорны и находятся в постоянной опасности быть опровергнутыми вновь открытыми фактами. "

Историзм

Поппер проводил четкое различие между исходной теорией Маркса и тем, что позже стало известно как марксизм. По мнению Поппера, первоначальная теория Маркса содержала подлинные научные законы. Хотя они не могли делать предопределенных прогнозов, эти законы ограничивали то, как изменения могут происходить в обществе. Один из них заключался в том, что изменений в обществе нельзя «добиться законными или политическими средствами». Для Поппера это было проверено и фактически сфальсифицировано. «Однако вместо того, чтобы принять опровержения, - писал Поппер, - последователи Маркса переосмыслили и теорию, и доказательства, чтобы заставить их согласиться ... Таким образом, они придали теории« конвенциональный поворот »; этой уловкой они разрушили его широко разрекламированные претензии на научный статус ". Атаки Поппера были направлены не на марксизм или теории Маркса, которые можно было опровергнуть, а на марксистов, игнорировавших произошедшие фальсификации. Поппер более фундаментально критиковал «историзм» в смысле любого предопределенного предсказания истории, учитывая то, что он считал нашим правом, способностью и ответственностью управлять своей собственной судьбой.

Использование в судах общей юрисдикции

Фальсифицируемость была использована в деле Маклин против Арканзаса (в 1982 году), в деле Дауберта (в 1993 году) и других делах. Опрос 303 федеральных судей, проведенный в 1998 году, показал, что «проблемы с нефальсифицируемым характером основной теории эксперта и трудности с неизвестным или слишком большим процентом ошибок упоминались менее чем в 2% случаев».

McLean v. Арканзас случай

В решении по делу Маклин против Арканзаса судья Уильям Овертон использовал фальсифицируемость как один из критериев, чтобы определить, что « наука о сотворении » не является научной и не должна преподаваться в государственных школах Арканзаса как таковая (ее можно преподавать как религию) . В своем свидетельстве философ Майкл Руз определил характеристики, составляющие науку, следующим образом (см. Pennock 2000 , p. 5 и Ruse 2010 ):

  • Он руководствуется естественным законом;
  • Это должно быть пояснительным со ссылкой на естественное право;
  • Это можно проверить на примере эмпирического мира;
  • Его выводы предварительные, т. Е. Не обязательно последнее слово; а также
  • Это можно опровергнуть.

В своем заключении по этому критерию судья Овертон заявил, что

Хотя любой волен подходить к научному исследованию любым способом по своему выбору, они не могут должным образом описать методологию как научную, если они начнут с вывода и откажутся изменить его независимо от доказательств, полученных в ходе расследования.

-  Уильям Овертон, Маклин против Арканзаса, 1982 г. , в конце раздела IV. (С)

Стандарт Добера

В нескольких делах Верховного суда Соединенных Штатов суд описал научную методологию с использованием пяти факторов Дауберта , включая фальсифицируемость. Результат Даубера процитировал Поппера и других философов науки:

Обычно ключевой вопрос, на который нужно ответить при определении того, является ли теория или метод научным знанием, которое поможет исследователю фактов, будет заключаться в том, можно ли (и было ли это) проверено. Сегодняшняя научная методология основана на создании гипотез и их проверке, чтобы увидеть, можно ли их опровергнуть; действительно, именно эта методология отличает науку от других областей человеческого исследования. Зеленый 645. См. Также К. Хемпель, Философия естествознания 49 (1966) ( [Т] утверждения, составляющие научное объяснение, должны поддаваться эмпирической проверке ); Поппер К., «Гипотезы и опровержения: рост научного знания» 37 (5-е изд. 1989 г.) ( [Т] критерий научного статуса теории - ее опровержимость, или опровержимость, или проверяемость ) (курсив удален).

-  Гарри Блэкмун, Даубер 1993 , стр. 593

Дэвид Х. Кэй сказал, что ссылки на мнение большинства Добера путают фальсифицируемость и фальсификацию, и что «выяснение существования значимых попыток фальсификации является уместным и решающим соображением при определении приемлемости».

Связь между статистическими теориями и опровержимостью

Рассматривая конкретную процедуру регистрации, которая использовалась в эксперименте с нейтрино, не говоря уже о ее вероятностном аспекте, Поппер писал, что «она предоставила проверку гораздо более важной опровергнутой теории, согласно которой такие испускаемые нейтрино могут быть захвачены определенным образом». Таким образом, в своем обсуждении нейтринного эксперимента Поппер вообще не поднимал вероятностный аспект эксперимента. Вместе с Максвеллом, который поднял проблему фальсификации в эксперименте, он осознавал, что необходимо принять какое-то соглашение, чтобы определить, что означает обнаруживать или не обнаруживать нейтрино в этом вероятностном контексте. Это третий вид решений, упомянутых Лакатошем. Для Поппера и большинства философов наблюдения пропитаны теорией. В этом примере теория, которая пропитывает наблюдения (и оправдывает то, что мы традиционно принимаем потенциальный фальсификатор «нейтрино не было обнаружено») является статистической. На статистическом языке потенциальный фальсификатор, который может быть статистически принят (а не отвергнут, чтобы сказать это более правильно), как правило, является нулевой гипотезой, как ее понимают даже в популярных отчетах о фальсифицируемости.

Статистики используют разные способы сделать выводы о гипотезах на основе имеющихся данных. Фишер , Нейман и Пирсон предложили подходы, которые не требуют априорных вероятностей для изучаемых гипотез. Напротив, байесовский вывод подчеркивает важность априорных вероятностей. Но что касается фальсификации как процедуры «да / нет» в методологии Поппера, можно использовать любой подход, который предоставляет способ принять или не принять потенциальный фальсификатор, включая подходы, использующие теорему Байеса и оценки априорных вероятностей, сделанные с использованием критические обсуждения и разумные предположения, взятые из базовых знаний. Не существует общего правила, которое рассматривало бы фальсификацию гипотезы с малой байесовской пересмотренной вероятностью, потому что, как указывал Мэйо и ранее утверждал Поппер, индивидуальные результаты, описанные в деталях, легко будут иметь очень малую вероятность при имеющихся доказательствах, не будучи подлинными аномалиями. Тем не менее, добавляет Мэйо, «они могут косвенно опровергнуть гипотезы, добавив методологическое правило фальсификации». В общем, байесовская статистика может играть роль в критическом рационализме в контексте индуктивной логики, которая называется индуктивной, потому что импликации обобщаются на условные вероятности. Согласно Попперу и другим философам, таким как Колин Хоусон , аргумент Юма исключает индуктивную логику, но только тогда, когда логика не использует «дополнительных предположений: в частности, о том, что должно быть присвоено положительной априорной вероятности». Сама индуктивная логика не исключается, особенно когда это дедуктивно действительное приложение теоремы Байеса, которое используется для оценки вероятностей гипотез с использованием наблюдаемых данных и того, что предполагается относительно априорных значений. Гельман и Шализи отметили, что байесовские статистики не должны не соглашаться с неиндуктивистами.

Поскольку статистики часто связывают статистический вывод с индукцией, часто говорят, что философия Поппера имеет скрытую форму индукции. Например, Мэйо писал: «Фальсифицированные гипотезы [...] требуют статистического вывода, выходящего за рамки доказательств (индуктивного). Это чрезвычайно проблематично для Поппера». Тем не менее, также согласно Мэйо, Поппер [как неиндуктивист] признал полезную роль статистического вывода в проблемах фальсификации: она упомянула, что Поппер написал ей (в контексте фальсификации, основанной на доказательствах): «Я сожалею, что не изучал статистику». и что тогда ее мысли были «не так сильно, как у меня».

Ведро и прожектор

По мнению Поппера, проблемы фальсификации относятся к индуктивной перспективе, которую он также называет взглядом на ведро науки, и правильное применение фальсифицируемости, т. Е. Его методология, так же свободно от проблем фальсификации, как и сама фальсификация, потому что она полагается на с другой точки зрения, взгляд прожектора на науку. Обе точки зрения включают в себя неизвестный аспект в объяснении прогресса науки. С индуктивной точки зрения на науку этот неизвестный аспект принимает форму неопределенности или отсутствия универсальности в индуктивной логике. С точки зрения науки, неизвестно влияние биологических ожиданий и предрасположенностей на предположения. Поппер описывает эти биологические ожидания и предрасположенности как знания, которые не приняли (и, возможно, не могут полностью принять) объективную форму и как таковые не могут участвовать в какой-либо логике, которую могут использовать ученые.

Взгляд ведра на науку

Представление "Ведро": наблюдения входят в "ведро" и превращаются в действительные утверждения. Затем (не показаны) правила вывода генерируют действительные законы.

С точки зрения науки, наблюдения являются основой для обоснования законов или теорий. С этой точки зрения утверждения наблюдений накапливаются в корзине посредством наблюдений, и используются различные процедуры, чтобы убедиться, что они действительны, чтобы они могли выполнять свою задачу. Эти наблюдения используются в качестве доказательства для обоснования новых законов с помощью правил вывода. Эта оправдательная картина была подвергнута критике Юмом на основе разумных посылок: недедуктивные правила нуждаются в обосновании, круговые аргументы недействительны и т. Д. Если мы принимаем посылки Юма, даже вероятностные попытки объяснить рост знания с точки зрения Поппер заявил, что консервативный взгляд на науку обречен на провал.

Поппер утверждал, что еще большей слабостью этой точки зрения является уровень уверенности, которого он ожидает от утверждений наблюдения как фальсификаторов (и даже как верификаторов) в процессе логической индукции. Потенциальные фальсификаторы, которые прекрасно играют свою роль для демонстрации фальсифицируемости или для управления творчеством и критическими дискуссиями в случае фальсификаций, гораздо менее полезны в этой оправдательной перспективе из-за всех проблем фальсификаций.

Поппер решил эту проблему просто, отказавшись от консервативного взгляда на науку. Его главный аргумент в основном состоит в том, что он принимает аргумент Юма, который показывает, что взгляд на ведро не может объяснить рост объективного знания. Поппер сказал, что процессы в ведре лучше рассматривать как физические процессы, а законы, управляющие этими процессами, являются биологическими. Чтобы помочь людям избавиться от ограничений, связанных с ведением, Поппер выявил основную проблему этой точки зрения: она игнорирует организменный аспект знания.

Взгляд прожектора на науку

Взгляд прожектора: ожидания и предрасположенности превращаются в предположения, которые действуют как прожектор и приводят к наблюдениям (не показаны).

Поппер предложил заменить консервативный взгляд на науку тем, что он назвал взглядом на науку с прожектором. С этой точки зрения, писал Поппер, нет причин, по которым какая-либо методология должна работать. Поппер сказал, что легко вообразить вселенные, в которых никакая методология не может работать или даже существовать. Если кто-то хочет верить, что методология сработает, ее следует постулировать как аксиому. В случае Поппера аксиома состоит в том, что методология предположений и опровержений будет работать. Домыслы - это луч прожектора, потому что они приводят к результатам наблюдений. Но эта аксиома не поможет никакому объективному правилу в обосновании научного знания. Нет смысла пытаться оправдаться в свете прожектора. Для поппера ожидается отсутствие этих объективных правил. Это не неудача. Этим путем Эйнштейн писал, что к науке нет логического пути.

Научная методология Поппера, сопровождающая фальсифицируемость, содержит такие правила, как «Тот, кто однажды решит, что научные утверждения не требуют дальнейших проверок и что они могут считаться окончательно подтвержденными, уходит из игры». В общем, правила методологии Поппера влияют на то, какие теории будут выбраны или отвергнуты, но эти правила делают это только через решения, принимаемые учеными. Как описано в § «Бесконтактное творчество и индуктивная методология» , каждое правило для определения или выбора теорий должно основываться на здравом суждении ученых.

Польза опровержимости состоит в том, что опровергаемые предположения говорят больше, потому что они запрещают больше, а в случае их опровержения они приводят к полезным проблемам, которые направляют творческий процесс науки. По мнению Поппера, который знал большую часть раздела § Примеры разграничения и приложений , это именно то, чего мы должны ожидать от научной теории.

В § «Бездетодное творчество против индуктивной методологии» видно, что Лакатош пришел к такому же выводу в том смысле, что он сказал, что его методология не предлагает никаких «твердых эвристических советов о том, что делать». Еще до Поппера, в 1906 году, осознавая проблемы фальсификации, Пьер Дюгем пришел к такому же выводу. Поппер вновь подчеркнул неосновательность, что хорошо соответствовало его добавленному критерию фальсифицируемости и связанной с ним критической методологии.

Споры

Бесконтрольное творчество против индуктивной методологии

Как описано в разделе § «Наивный фальсификационизм» , Лакатос и Поппер согласились с тем, что универсальные законы нельзя вывести логически (кроме законов, которые говорят еще больше). Но в отличие от Поппера, Лакатос считал, что если объяснение новых законов не может быть дедуктивным, оно должно быть индуктивным. Он убедил Поппера явно принять некий индуктивный принцип и поставил перед собой задачу найти индуктивную методологию. Однако найденная им методология не предлагала никаких точных индуктивных правил. В ответ Куну, Фейерабенду и Масгрейву Лакатос признал, что методология зависит от здравого смысла ученых. Фейерабенд написал в «Против метода», что методология программ научных исследований Лакатоса - это замаскированный эпистемологический анархизм, и Масгрейв сделал аналогичный комментарий. В более поздней работе Фейерабенд говорит, что Лакатос использует правила, но вопрос о том, следует ли им следовать или нет, остается на усмотрение ученых. Это также обсуждается в другом месте.

Поппер также предложил методологию с правилами, но эти правила также не являются индуктивными, поскольку сами по себе они не используются для принятия законов или установления их действительности. Они делают это только благодаря творчеству или «здравому смыслу» ученых. По мнению Поппера, обязательный недедуктивный компонент науки никогда не должен был быть индуктивной методологией. Он всегда рассматривал этот компонент как творческий процесс, недоступный для объяснения какой-либо рациональной методологии, но все же используемый для решения, какие теории следует изучать и применять, находить хорошие проблемы и угадывать полезные предположения. Цитируя Эйнштейна в поддержку своей точки зрения, Поппер сказал, что это устраняет необходимость в индуктивной методологии или логическом пути к законам. Поппер никогда не предлагал индуктивной методологии для удовлетворительного объяснения науки.

Историческое против историографического

В разделе § «Бездетодное творчество» и индуктивная методология говорится, что и методология Лакатоша, и методология Поппера не являются индуктивными. Однако методология Лакатоша значительно расширила методологию Поппера: она добавила к ней историографический компонент. Это позволило Лакатошу найти подтверждение своей методологии в истории науки. Основные элементы его методологии, от которых можно отказаться или продолжать, - это исследовательские программы. Исследовательские программы могут быть дегенеративными или прогрессивными, и в какой-то момент необходимо отказаться от только дегенеративных исследовательских программ. Для Лакатоша это в основном подтверждается историческими фактами.

Напротив, Поппер не предлагал свою методологию в качестве инструмента для реконструкции истории науки. Тем не менее, иногда он действительно обращался к истории, чтобы подтвердить свою методологию. Например, он заметил, что теории, которые считались очень успешными, также чаще всего подвергались фальсификации. Захар считал, что в отношении подтверждений, найденных в истории науки, между Поппером и Лакатошем была разница только в акцентах.

В качестве анекдотического примера, в одной из своих статей Лакатос призвал Поппера показать, что его теория может быть опровергнута: он спросил: «При каких условиях вы откажетесь от своего критерия демаркации?». Поппер ответил: «Я откажусь от своей теории, если профессору Лакатосу удастся показать, что теория Ньютона не более поддается опровержению« наблюдаемым положением дел », чем теория Фрейда».

Нормальная наука против революционной науки

Томас Кун проанализировал то, что он называет периодами нормальной науки, а также революциями от одного периода нормальной науки к другому, в то время как точка зрения Поппера состоит в том, что релевантны только революции. Для Поппера роль науки, математики и метафизики, фактически роль любого знания, заключается в решении головоломок. В том же духе Кун отмечает, что в периоды нормальной науки научные теории, которые представляют некоторую парадигму, используются для повседневного решения головоломок, и обоснованность парадигмы вряд ли ставится под сомнение. Только тогда, когда возникают важные новые головоломки, которые не могут быть решены общепринятыми теориями о возможной революции. Это можно рассматривать как точку зрения на различие, проведенное Поппером между неформальным и формальным процессом в науке (см. Раздел § Наивный фальсификационизм ). В общей картине, представленной Куном, обычно решаемые головоломки являются подтверждением. Фальсификации или иным образом необъяснимые наблюдения - неразгаданные головоломки. Все это используется в неформальном процессе, который порождает новую теорию. Кун говорит, что Поппер подчеркивает формальные или логические фальсификации и не может объяснить, как работают социальные и неформальные процессы.

Неоправданность против ложности астрологии

Поппер часто использует астрологию как пример лженауки. Он говорит, что это нельзя опровергнуть, потому что и сама теория, и ее предсказания слишком неточны. Кун, как историк науки, заметил, что многие предсказания, сделанные астрологами в прошлом, были довольно точными и очень часто фальсифицировались. Он также сказал, что сами астрологи признали эти фальсификации.

Все идет вразрез с научным методом

Пол Фейерабенд вообще отверг любую предписывающую методологию. Он отверг аргумент Лакатоша в пользу специальной гипотезы , утверждая, что наука не могла бы развиваться без использования любых и всех доступных методов для поддержки новых теорий. Он отвергал всякую надежду на научный метод, равно как и любой особый авторитет в науке, который мог бы проистекать из такого метода. Он сказал, что если кто-то хочет иметь универсально действующее методологическое правило, эпистемологический анархизм или что- то еще будет единственным кандидатом. Для Фейерабенда любой особый статус, который может иметь наука, проистекает из социальной и физической ценности результатов науки, а не ее метода.

Сокаль и Брикмонт

В своей книге « Модная бессмыслица» (вышедшей в 1997 г., опубликованной в Великобритании как « Интеллектуальные уловки» ) физики Алан Сокал и Жан Брикмон подвергли критике фальсифицируемость. Они включают эту критику в главу «Интермеццо», где раскрывают свои собственные взгляды на истину в отличие от крайнего эпистемологического релятивизма постмодернизма. Хотя Поппер явно не является релятивистом, Сокал и Брикмонт обсуждают фальсифицируемость, потому что они рассматривают постмодернистский эпистемологический релятивизм как реакцию на описание фальсифицируемости Поппером и, в более общем плане, на его теорию науки.

Смотрите также

Примечания

Сокращенные ссылки

использованная литература

дальнейшее чтение