Фальсификационизм

Фальсификационизм

План:

Введение

1 Наивная спростовуванисть 2 Формально-логическая аргументация
2.1 Зависимость наблюдения от теории 2.2 Невозможность определения теории результатам наблюдений
3 Критерий демаркации 4 Критика 5 Примеры
5.1 Математика 5.2 Этика 5.3 Теории заговоров 5.4 Историцизм 5.5 Психоанализ 5.6 Физические законы

Введение

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

1. Наивная спростовуванисть

"Все лебеди белые" - опровергаемое утверждение. Можно доказать, что оно ошибочно.

Спростовуванисть была впервые предложена Карлом Поппером в 30-x годах 20-го века. Поппер заметил, что два следующих типа утверждений являются особенно ценными для ученых. Первый тип - это наблюдение, например 'этот лебедь белый ". Логики называют такие утверждения одинарными экзистенциальными утверждениями, поскольку они утверждают существование конкретной вещи. Они могут быть выражены в форме Существует x, что является лебедем и является белым. Второй тип утверждений категоризирует все единичные случаи чего, например, "все лебеди белые". Логики называют такие утверждения универсальными. Разбор таких утверждений осуществляется в форме для всех x, если x является лебедем, то x является белым. Законы науки (точнее сроком будет теории), как правило, представлены в одной из этих форм. Вероятно наскладнишим вопросом в научной методологии являются: каким образом осуществляется переход от единичных наблюдений теории? Как становится возможным вывести универсальное утверждение из любого количества отдельных экзистенциальных утверждений?

Индуктивистська методология предполагает возможность перехода от набора отдельных наблюдений к универсальным утверждений. То есть, мы можем перейти от "это белый лебедь", "это белый лебедь", и т. д., к универсальному утверждение "все лебеди белые". Этот метод является то логически некорректным, поскольку всегда остается возможность того, что где-то есть не-белый лебедь, что каким-то образом избегает наблюдения, что не мешает однако некоторым философам утверждать, что наука базируется собственно на таком индуктивном методе. Поппер придерживался мнения, что наука не может основываться на таких некорректных выводах, и спростовуванисть была им предложена в качестве решения проблемы индукции. Он отметил, что хотя одинарные экзистенциальные утверждения типа приведенных выше не в состоянии доказать истинность универсальных утверждений, они могут их опровергнуть. Достаточно одного наблюдения не-белого лебедя, чтобы доказать ложность утверждения "все лебеди белые". В логике это соответствует modus tollens. "Это черный лебедь" влечет "существует x, что является лебедем и не является белым". Хотя логика в основе наивной фальсификации является корректным, применимость ее является несколько ограниченной, и Поппер привлек внимание к этим ограничениям в своей работе Логика научного открытия.

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

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

2. Формально-логическая аргументация

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

Но O не наблюдается, поэтому

Отсюда по modus tollens:

2.1. Зависимость наблюдения от теории

Все наблюдения основываются на предыдущих допущениях, отсюда:

назад:

но:

из закона де Моргана.

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

2.2. Невозможность определения теории результатам наблюдений

Похожим образом, теория состоит из некоторого количества гипотез.

отсюда,

но

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

3. Критерий демаркации

Поппер предложил использовать принцип фальсифицируемость для определения, является теория научной или нет: если она не опровергаемые, тогда это не наука. В некоторых случаях применение этого подхода граничило с экстремизмом, когда, например, попытки подвергнуть сомнению научность таких дисциплин, как макроэволюция и космология. Принцип фальсифицируемость был использован cуддею Уильямом Овертон для установления того что наука Творения не является научной теорией, и не должна учиться в публичных школах штата Арканзас. В философии науки, верификационизм утверждает, что утверждение, чтобы быть научным и осмысленным, должно допускать эмпирическую проверку. Это утверждение было сутью логического эмпиризма (см. Венский кружок).

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

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

4. Критика

Томас Кун в своей влиятельной книге Структура научных революций считает, что в своей работе ученые придерживаются определенной концептуальной парадигмы, которая и определяет, как они видят мир. Ученые готовы защищать свои парадигмы до последнего, добавляя все новые и новые ad hoc гипотезы до существующих теорий. Смена 'парадигмы' является нелегким делом для ученого, поэтому изменение парадигм в науке (на уровне индивидуальных ученых) происходит, преодолевая сопротивление и неприятие. Некоторые сторонники теории опровержения рассматривают труд Куна как подтверждение своих взглядов, поскольку она утверждает, что прогресс в науке происходит путем отбрасывания неадекватных теорий. Распространенной мнение, что главная заслуга Куна состоит в доказательстве того, что социологические факторы, а не соблюдение строгого, логически обязывающего метода, имеют выдающееся влияние на принятие решения о том, какие научные теории считать приемлемыми.

Имре Лакатошу принадлежит попытка истолковать труда Куна в терминах теории фальсифицируемость. Он считает, что научный прогресс происходит путем опровержения скорее исследовательских программ, чем специфичен универсальных утверждений наивного опровержения. Согласно этому подходу, ученый работает в рамках исследовательской программы, является приблизительным соответствием "парадигмы" Куна. Вклад Лакатоса в теорию фальсифицируемость заключается в признании значения ad hoc гипотез, которые Поппер отвергал как ненаучные, для развития научных теорий.

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

5. Примеры

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

5.1. Математика

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

5.2. Этика

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

5.3. Теории заговоров

Теории заговоров, во всяком случае в той форме, в которой их защищают некоторые люди, является по своей природе неспростовуванимы в силу их логической структуры. Как правило, это безусловное экзистенциальное утверждение о существовании некоторого объекта или действия без уточнения места и времени, где его можно наблюдать. Неудача попытки обнаружить этот объект всегда может быть объяснена несоответствием места или неправильным выбором времени. Конспіротеоретики можуть стверджувати, та й часто це роблять, що брехня та фабрикації є поширеним інструментом урядів та інших владних структур, та що докази того, що змова не мала місця, були сфабриковані. Часами, однак, визначення того, чи теорія є конспіраційною, є дуже нетривіальною задачею.

5.4. Історицизм

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

5.5. Психоанализ

Например, один человек толкает ребенка в воду, тогда как вторая спасает тонущего ребенка, жертвуя жизнью. Психоанализ может найти объяснение для обоих этих несовместимых поведений. По теории Фрейда, первый человек действует под влиянием комплекса Эдипа, вторая достигла сублимации. По теории Адлера, обе страдают от комплекса неполноценности, только первая доказывает, что она способна на преступление, а вторая - на героизм. Если мы не можем придумать никакой поведения, которой бы не смог объяснить психоанализ, значит, не существует эксперимента, который может опровергнуть психоанализ [1].

5.6. Физические законы

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

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

См.. также

Бритва Оккама Философия науки Философия математики Когнитивное предубеждение Имре Лакатош

http://nado. *****