Индуктивизм — это традиционная и до сих пор распространенная философия научного метода разработки научных теорий. [1] [2] [3] [4] Индуктивизм стремится нейтрально наблюдать за областью, выводить законы из рассмотренных случаев - следовательно, индуктивное рассуждение - и, таким образом, объективно обнаруживать единственную естественно истинную теорию наблюдаемого. [5]
Вкратце, в основе индуктивизма лежит «идея о том, что теории могут быть выведены из фактов или установлены на их основе». [6] Концептуальное господство индуктивизма, развиваясь поэтапно, длилось четыре столетия с тех пор, как Фрэнсис Бэкон в 1620 году предложил его против преобладающей модели Западной Европы, схоластики , которая рассуждала дедуктивно на основе предвзятых убеждений. [5] [7]
В XIX и XX веках индуктивизм уступил место гипотетикодедуктивизму — иногда называемому дедуктивизмом — как реалистической идеализации научного метода . [8] Тем не менее, научные теории как таковые сейчас широко приписываются случаям вывода к лучшему объяснению , IBE, которые, как и реальные методы ученых, разнообразны и не поддаются формальному описанию. [9] [10]
Фрэнсиса Бэкона , проповедующего индуктивизм в Англии, часто ошибочно воспринимают как наивного индуктивиста. [11] [12] Грубо говоря, «модель Бэкона» советует наблюдать за природой, предлагать скромный закон , который обобщает наблюдаемую закономерность, подтверждать ее множеством наблюдений, отважиться на более широкий закон и подтверждать это еще многими наблюдения, отбрасывая при этом неподтвержденные законы. [13] Становясь все шире, законы никогда не выходят за рамки наблюдений. Ученые, освободившись от предубеждений, постепенно раскрывают причинную и материальную структуру природы. [14] Теория всемирного тяготения Ньютона , моделирующая движение как действие силы , напоминала высший триумф индуктивизма. [15] [16]
Около 1740 года Дэвид Юм из Шотландии выявил множество препятствий на пути вывода причинно-следственной связи на основе опыта. Юм отмечал формальную нелогичность перечислительной индукции — неограниченного обобщения от частных случаев ко всем случаям и установления универсального закона — поскольку люди наблюдают последовательности сенсорных событий, а не причину и следствие. Не осознавая ни логической, ни естественной необходимости или невозможности событий, люди молчаливо постулируют недоказанное единообразие природы . Более поздние философы выбирали, выделяли и давали названия юмовским принципам — вилке Юма , проблеме индукции и закону Юма — хотя Юм, в конце концов, уважал и принимал эмпирические науки как неизбежно индуктивные.
Иммануил Кант в Германии, встревоженный, казалось бы, радикальным эмпиризмом Юма , определил у Декарта его очевидную противоположность, рационализм , и стал искать золотую середину. Кант интуитивно понимал, что необходимость действительно существует, соединяя мир сам по себе с человеческим опытом, и что именно разум, имеющий врожденные константы , определяет пространство , время и субстанцию и, таким образом, обеспечивает эмпирически правильную универсальную истину физической теории. [17] Таким образом, защищая ньютоновскую физику , отвергая научный реализм , взгляды Канта ограничивали науку отслеживанием явлений, простых явлений , никогда не раскрывая внешнюю реальность, ноумены . Трансцендентальный идеализм Канта положил начало немецкому идеализму , группе спекулятивной метафизики.
В то время как философы по-прежнему с неловкой уверенностью относились к эмпирическим наукам как к индуктивным, Джон Стюарт Милль в Англии предложил пять методов распознавания причинности , объясняющих, почему подлинный индуктивизм якобы превосходит перечислительную индукцию. В 1830-х годах, выступая против метафизики, Огюст Конт во Франции эксплицировал позитивизм , который, в отличие от модели Бэкона, делает упор на предсказания , подтверждающие их, и устанавливающие научные законы, неопровержимые теологией или метафизикой. Милль, рассматривая опыт как подтверждение единообразия природы и, таким образом, оправдывающее перечислительную индукцию, поддерживал позитивизм — первую современную философию науки, которая, будучи также политической философией , поддерживала научное знание как единственное подлинное знание.
Около 1840 года Уильям Уэвелл в Англии считал индуктивные науки не такими уж простыми и выступал за признание «супериндукции», объяснительной сферы или принципа, изобретенного разумом для объединения фактов, но не присутствующего в фактах. [8] Джон Стюарт Милль отверг гипотетикодедуктивизм Уэвелла как научный метод. Уэвелл считал, что иногда на основе доказательств, потенциально включающих маловероятные признаки, включая согласованность , создаются научные теории, которые, вероятно, верны с метафизической точки зрения. К 1880 году К.С. Пирс в Америке разъяснил основу дедуктивного вывода и, хотя и признавал индукцию, предложил третий тип вывода. Пирс назвал это « похищением », которое теперь называется выводом к лучшему объяснению , IBE.
Логические позитивисты возникли в 1920-х годах, упрекали метафизические философии, признавали происхождение гипотетикодедуктивистской теории и стремились объективно проверять научные теории – или любые утверждения, выходящие за рамки эмоций – как доказуемо ложные или истинные с точки зрения просто эмпирических фактов и логических отношений, кампания, названная верификационизмом . В более мягком варианте Рудольф Карнап пытался, но всегда безуспешно, найти индуктивную логику, с помощью которой истинность универсального закона с помощью данных наблюдений могла бы быть определена количественно по «степени подтверждения». Карл Поппер , утверждая сильный гипотетикодедуктивизм с 1930-х годов, атаковал индуктивизм и его позитивистские варианты, а затем в 1963 году назвал перечислительную индукцию «мифом», дедуктивным выводом из неявной объяснительной теории. [8] В 1965 году Гилберт Харман объяснил перечислительную индукцию замаскированным IBE. [8]
В книге Томаса Куна 1962 года , ставшей культурной вехой, объясняется, что каждый период нормальной науки как парадигмы науки опрокидывается революционной наукой, чья радикальная парадигма становится новой нормальной наукой. Диссертация Куна ослабила власть логического позитивизма в западных научных кругах, и индуктивизм пал. Помимо Поппера и Куна, другие постпозитивистские философы науки, в том числе Пол Фейерабенд , Имре Лакатос и Ларри Лаудан , почти единогласно отвергли индуктивизм. Те, кто утверждает научный реализм, который интерпретирует научную теорию как достоверную и буквально, хотя и приблизительную, истинную в отношении ненаблюдаемых аспектов природы, обычно приписывают новые теории IBE. И все же IBE, который пока невозможно обучить, не имеет определенных правил вывода . На рубеже XXI века наследником индуктивизма стало байесианство . [18]
С 17 по 20 века индуктивизм широко воспринимался как идеал научного метода. [1] Даже на рубеже XXI века популярные представления о научных открытиях и прогрессе наивно и ошибочно предполагали это. [2] XX век был первым веком, в котором учёных было больше, чем учёных-философов. [19] Раньше учёные, «натурфилософы», размышляли и обсуждали свою философию метода. [19] Эйнштейн заметил: «Наука без эпистемологии является — насколько она вообще мыслима — примитивной и запутанной». [19]
Особенно после 1960-х годов ученые стали незнакомы с историческими и философскими основами своих выигранных исследовательских программ и часто были незнакомы с логикой. [19] Таким образом, ученым часто сложно оценить и сообщить о своей работе, не подвергая ее сомнению или нападкам, или оптимизировать методы и прогресс. [19] В любом случае, в течение 20-го века философы науки признали, что истинная идеализация научного метода — это гипотетикодедуктивизм , который, особенно в своей самой сильной форме, фальсификационизм Карла Поппера , также называется дедуктивизмом . [20]
Индуктивизм делает выводы на основе наблюдений аналогичных эффектов и аналогичных причин и неограниченно обобщает — то есть посредством перечислительной индукции — до универсального закона. [20]
Расширяя индуктивизм, Контовский позитивизм явно стремится противостоять метафизике , избегает творческого теоретизирования, делает упор на наблюдении, а затем на предсказаниях , их подтверждении и установлении законов.
Логический позитивизм принимал гипотетикодедуктивизм в разработке теории, но искал индуктивную логику, чтобы объективно оценить подтверждение теории эмпирическими данными и, кроме того, объективно сравнить конкурирующие теории.
Тогда как доказательство теории — если бы оно было возможно — можно было бы назвать проверкой . Поддержка теории называется подтверждением . Но рассуждать от подтверждения к проверке — Если А, то Б; на самом деле В и, следовательно, А — это дедуктивная ошибка, называемая « утверждением следствия ». [21] Вывод об отношении А к Б подразумевает отношение Б к А , например, предполагает: «Если лампа разбита, то в комнате будет темно, и поэтому, если в комнате темно, значит, лампа разбита». Даже если B верен, A может быть следствием X , Y , Z или XYZ вместе взятых. Или последовательность А , а затем Б может быть следствием U — совершенно незамеченным, — при этом Б всегда следует за А по постоянному соединению , а не по причинно-следственной связи. Может быть, действительно, U может прекратиться, отключив A от B.
Естественная дедуктивная форма рассуждения логически обоснована без постулатов и истинна просто по принципу несамопротиворечия. « Отрицание следствия » является естественным выводом: если А, то Б; не B, значит, не A , — чем можно логически опровергнуть гипотезу A. Таким образом, существует также элиминативная индукция, использующая это
По крайней мере логически, любое явление может содержать множество противоречивых объяснений (проблема недоопределенности ), почему выводу от данных к теории не хватает какой-либо формальной логики, каких-либо дедуктивных правил вывода . Контраргументом является трудность найти хотя бы одну эмпирически адекватную теорию. [22] Тем не менее, как бы трудно было достичь одного, одна за другой сменялась радикально иной теорией, проблемой непродуманных альтернатив. [22] В то же время, может произойти множество подтверждающих случаев предсказаний теории, даже если многие другие предсказания теории ложны.
Научный метод не может гарантировать, что ученые будут представлять, а тем более будут или даже смогут проводить исследования или эксперименты, вызывающие опровержение. Более того, любой сбор данных проецирует горизонт ожиданий (даже объективные факты, прямые наблюдения нагружены теорией ), в результате чего несовместимые факты могут остаться незамеченными. А регресс экспериментатора позволяет отвергнуть неподтверждение, сделав вывод о том, что незамеченные сущности или аспекты неожиданно изменили условия испытания. [23] Гипотезу можно проверить только в сочетании с бесчисленными вспомогательными гипотезами , которыми обычно пренебрегают до тех пор, пока они не будут опровергнуты. [24]
В гипотетикодедуктивизме, модели HD, человек вводит некоторое объяснение или принцип из любого источника, например, воображения или даже сна, делает из него логические следствия — то есть дедуктивные выводы — и сравнивает их с наблюдениями, возможно, экспериментальными. [20] В простом или Уэвелловском гипотетикодедуктивизме можно принять теорию как метафизически истинную или вероятно истинную, если ее предсказания демонстрируют определенные черты, которые кажутся сомнительными в отношении ложной теории. [25]
В гипотетикодедуктивизме Поппера , иногда называемом фальсификационизмом, хотя человек стремится к истинной теории, основными проверками теории являются попытки эмпирически опровергнуть ее. [26] Основная ценность фальсификации в отношении подтверждений заключается в проверке рискованных прогнозов, которые, скорее всего, потерпят неудачу. [26] Если причудливое предсказание теории подтверждается эмпирически, то теория в значительной степени подтверждается , но, никогда не подтверждаясь как метафизически верная, ей предоставляется просто правдоподобие , видимость истины и, следовательно, подобие истине. [26]
Фрэнсис Бэкон представил индуктивизм – и Исаак Ньютон вскоре подражал ему – в Англии 17 века. В XVIII веке Дэвид Юм в Шотландии поднял скандал из-за философского скептицизма в отношении рациональности индуктивизма, тогда как Иммануил Кант в немецком государстве отклонил вилку Юма , так сказать, чтобы защитить ньютоновскую физику, а также философскую метафизику. подвиг подразумевал, что наука может в лучшем случае отражать и предсказывать наблюдения, структурированные разумом. Метафизика Канта привела к метафизике Гегеля , которую Карл Маркс перенес из духовного в материальное , а другие придали ей националистическое прочтение. [27]
Огюст Конт , во Франции начала 19 века, выступая против метафизики, вводя позитивизм как, по существу, утончённый индуктивизм и политическую философию. Современная актуальность позитивистов и неопозитивистов — логических позитивистов, появившихся в Германии и Вене после Первой мировой войны и превратившихся в логических эмпириков в Америке и Англии после Второй мировой войны — отражала социально-политический климат их собственных эпох. Философы воспринимали серьезные угрозы обществу через метафизические теории, связанные с религиозными, социально-политическими и, следовательно, социальными и военными конфликтами.
В 1620 году в Англии в трактате Фрэнсиса Бэкона « Новый органум» утверждалось, что аристотелевский метод схоластики дедуктивного вывода посредством силлогистической логики на традиционные категории препятствует прогрессу общества. [7] Предостерегая якобы классическую индукцию за вывод прямо от «смысла и частностей до самых общих предложений» и затем применение аксиом к новым частностям без их эмпирической проверки, [13] [28] Бэкон сформулировал «истинную и совершенную индукцию» . [13] В индуктивистском методе Бэкона учёный, который до конца 19 века был натурфилософом , выдвигает аксиому скромного масштаба, делает множество наблюдений, принимает аксиому, если она подтверждается и никогда не опровергается, а затем выдвигает другую аксиому, лишь немного более широкую, собирает гораздо больше наблюдений и принимает и эту аксиому, только если она подтверждается, а не опровергается. [13]
В Novus Organum Бэкон редко использует термин « гипотеза» и обычно употребляет его в уничижительном смысле, который преобладал во времена Бэкона. [12] Однако в конечном итоге термин «аксиома» Бэкона в применении теперь больше похож на термин « гипотеза» , чем на термин « закон» . [12] К настоящему времени закон стал ближе к аксиоме , правилу вывода . К концу 20-го века историки и философы науки в целом согласились с тем, что фактический совет Бэкона был гораздо более сбалансированным, чем его долгое время считали стереотипным, в то время как некоторые оценки даже осмелились предположить, что Бэкон описал фальсификационизм, предположительно настолько далекий от индуктивизма, насколько это возможно. [12] В любом случае Бэкон не был строгим индуктивистом и включал аспекты гипотетикодедуктивизма , [12] но эти аспекты модели Бэкона игнорировались другими, [12] и «бэконовская модель» рассматривалась как истинный индуктивизм, который он в основном было. [11]
По оценке Бэкона, в ходе этого повторяющегося процесса скромной аксиоматизации, подтвержденной обширными и мелкими наблюдениями, аксиомы расширяются в объеме и углубляются в пенетрантности в точном соответствии со всеми наблюдениями. [14] Это, как предположил Бэкон, открыло бы ясное и истинное представление о природе, какой она существует независимо от человеческих предубеждений. [14] В конечном счете, общие аксиомы, касающиеся наблюдаемого, сделают ненаблюдаемую структуру материи и причинные механизмы природы видимыми для людей. [14] Но поскольку Бэкон не предлагает четкого способа формулирования аксиом, не говоря уже о разработке универсально верных принципов или теоретических конструкций, исследователи могут наблюдать и собирать данные бесконечно. [13] Для этого обширного предприятия Бэкон советовал вести точный учет и сотрудничать между исследователями – концепция, напоминающая сегодняшние исследовательские институты – в то время как истинное понимание природы позволит осуществить технологические инновации, предвещая Новую Атлантиду .
Современная наука восстала против аристотелевской физики . [29] Геоцентрическими были и аристотелевская физика, и птолемеевская астрономия , которая была основой астрологии , основой медицины. Николай Коперник предложил гелиоцентризм , возможно, для того, чтобы лучше подогнать астрономию к пятому элементу аристотелевской физики — универсальной сущности или квинтэссенции эфира, — чье внутреннее движение, объясняющее небесные наблюдения, представляло собой непрерывные идеальные круги. Однако Иоганн Кеплер изменил орбиты Коперника на эллипсы вскоре после того, как телескопические наблюдения Галилео Галилея поставили под сомнение состав Луны из эфира, а эксперименты Галилея с земными телами подвергли критике аристотелевскую физику. Принципы Галилея были включены Рене Декартом , чья картезианская физика структурировала его картезианскую космологию , моделируя гелиоцентризм и используя механическую философию . Первым принципом механической философии, сформулированным Декартом, было «Никаких действий на расстоянии ». Однако именно британский химик Роберт Бойль ввел здесь термин « механическая философия». Бойль искал в химии посредством корпускуляризма — картезианской гипотезы, согласно которой материя состоит из частиц, но не обязательно атомов, — механическую основу и, таким образом, отход от алхимии .
В 1666 году Исаак Ньютон бежал из Лондона от чумы . [30] Изолированный, он применил строгие эксперименты и математику, включая развитие исчисления , и свел как земное, так и небесное движение — то есть как физику, так и астрономию — к одной теории, устанавливающей законы движения Ньютона , несколько вытекающих из них принципов и закон вселенская гравитация , поставленная в рамки постулируемого абсолютного пространства и абсолютного времени . Объединение Ньютоном небесных и земных явлений свергло остатки аристотелевской физики и отделило физику от химии, каждая из которых затем пошла своим собственным курсом. [30] Ньютон стал образцом современного учёного, а ньютоновская исследовательская программа стала современной моделью знания. [30] Хотя абсолютное пространство, не открываемое ни одним опытом, и сила, действующая на расстоянии, доставляли Ньютону дискомфорт, он и физики в течение еще примерно 200 лет редко подозревали вымышленный характер ньютоновской основы, поскольку они не верили, что физические концепции и законы являются «свободными изобретениями человеческого разума», как их назвал Эйнштейн в 1933 году, но их можно логически вывести из опыта. [31] Предположительно, Ньютон утверждал, что в отношении своей теории гравитации он «не выдвигал» никаких гипотез. [3]
В 1740 году Юм разделил истины на две расходящиеся категории — «отношения идей» и «факты и реальное существование», как позже назвали « вилкой Юма» . «Отношения идей», такие как абстрактные истины логики и математики, истинность которых известна без опыта конкретных случаев, предлагают априорное знание. Однако поиски эмпирической науки касаются «вопросов фактов и реального существования», истинность которых познается только через опыт, то есть апостериорное знание. Поскольку никакое количество исследованных примеров логически не влечет за собой соответствия неисследованных примеров, неограниченное обобщение универсального закона не имеет формально логической основы, но его оправдывают, добавляя принцип единообразия природы - который сам по себе не проверен - таким образом, главная индукция оправдывает второстепенную индукцию. [32] Это очевидное препятствие для эмпирической науки позже было названо проблемой индукции . [32]
По мнению Юма, люди воспринимают последовательность событий, а не причину и следствие, посредством фрагментов сенсорных данных, в результате чего сходный опыт может демонстрировать просто постоянное соединение — сначала событие, подобное А, и всегда событие, подобное Б , — но нет никакого открытия причинной связи, которое можно было бы раскрыть. либо необходимость, либо невозможность. [33] [34] Хотя Юму, очевидно, нравился скандал, последовавший за его объяснениями, Юм не считал их фатальными, [33] и интерпретировал перечислительную индукцию как одну из неизбежных привычек ума, необходимых для жизни. [35] Скорее, Юм стремился противостоять коперниканскому смещению человечества из центра Вселенной и перенаправить интеллектуальное внимание на человеческую природу как центральную точку знания. [36]
Юм приступил к индуктивизму не только к перечислительной индукции, но и к ненаблюдаемым аспектам природы. Не разрушая теорию Ньютона, Юм поставил тогда на один уровень с ней свою собственную философию. [37] Хотя Юм скептически относился к общепринятой метафизике и теологии , он принял «подлинный теизм и религию» и обнаружил, что разумный человек должен верить в Бога, чтобы объяснить структуру природы и порядок Вселенной. [38] Тем не менее, Юм настаивал: «Когда мы, убежденные в этих принципах, перебегаем библиотеки, какой хаос мы должны устроить? Если мы возьмем в руки какой-нибудь том — например, по богословию или школьной метафизике — давайте спросим : он содержит какие-либо абстрактные рассуждения относительно количества или числа? Нет . Содержит ли он какие-либо экспериментальные рассуждения относительно фактов и существования? Нет. Тогда предайте его огню, ибо он не может содержать ничего, кроме софистики и иллюзий». [39]
Пробужденный от «догматического сна» работами Юма, Иммануил Кант стремился объяснить, как возможна метафизика . [39] В книге Канта 1781 года было введено различие « рационализм» , согласно которому некоторые знания являются результатом не эмпиризма , а «чистого разума». Однако , придя к выводу о невозможности познания реальности самой по себе , Кант отказался от задачи философа раскрыть видимость, чтобы увидеть ноумены , и ограничил науку организацией явлений . [40] Рассуждая, что разум содержит категории, организующие чувственные данные в субстанцию опыта , пространство и время , [41] Кант тем самым сделал вывод о единообразии природы , в конце концов, в форме априорного знания. [42]
Кант, скорее, разделил высказывания на два типа: аналитические и синтетические . Аналитическое , истинное по расположению и значению своих терминов , является тавтологией , простыми логическими истинами – таким образом, истинными по необходимости – тогда как синтетическое применяет значения к фактическим состояниям, которые являются случайными . Однако некоторые синтетические утверждения, предположительно случайные, обязательно истинны благодаря разуму, утверждал Кант. [34] Таким образом, синтетическое априори Канта поддерживало как физику (в то время ньютоновскую), так и метафизику , но отвергало научный реализм . Этот реализм рассматривает научные теории как буквально истинные описания внешнего мира. Трансцендентальный идеализм Канта породил немецкий идеализм , в том числе абсолютный идеализм Г.Ф.В.Гегеля . [40] [43]
После Французской революции , опасаясь новой гибели западного общества, Огюст Конт устал от метафизики . [44] Как предположил в 1620 году Фрэнсис Бэкон , [45] развитый Сен-Симоном и обнародованный в 1830-х годах его бывшим учеником Контом, позитивизм был первой современной философией науки. [46] Человеческие знания развивались от религии к метафизике и науке, объяснил Конт, которые перетекали от математики к астрономии, затем к физике, химии, биологии и социологии — именно в таком порядке — описывая все более сложные области, при этом все знания общества становились научными. тогда как вопросы теологии и метафизики оставались без ответа, утверждал Конт. [47] Конт считал, что перечислительная индукция надежна на основе имеющегося опыта, и утверждал, что правильное использование науки улучшает человеческое общество, а не достигает метафизической истины. [45]
Согласно Конту, научный метод ограничивается наблюдениями, но формулирует предсказания , скорее подтверждает их и устанавливает законы — позитивные утверждения — неопровержимые теологией и метафизикой, а затем закладывает законы в качестве основы для последующего знания . [45] Однако позже, придя к выводу, что наука недостаточна для общества, Конт основал «Религию человечества» , церкви которой, прославляя выдающихся ученых, возглавили поклонение человечеству. [45] [46] Конт ввёл термин «альтруизм» , [46] и подчеркнул применение науки для социального благосостояния человечества, что будет раскрыто возглавляемой Контом наукой, социологией. [45] Влияние Конта заметно в Герберте Спенсере из Англии и Эмиле Дюркгейме из Франции, которые основали современную эмпирическую функционалистскую социологию. [48] Позитивизм, влиятельный во второй половине 19 века, часто был связан с эволюционной теорией, [45] но в 20 веке его затмил неопозитивизм : логический позитивизм или логический эмпиризм. [46]
Дж. С. Милль , в отличие от Конта, считал, что научные законы можно вспомнить или пересмотреть. [45] И Милль воздержался от «Религии человечества» Конта. [45] Тем не менее, что касается опыта, оправдывающего перечислительную индукцию тем, что он действительно доказал единообразие природы , [42] Милль высоко оценил позитивизм Конта. [45] [48] Милль отметил, что в эмпирических науках естественные науки значительно превзошли предполагаемую бэконовскую модель, слишком упрощенную, тогда как гуманитарные науки , такие как этика и политическая философия, отставали даже от Бэконовского изучения непосредственного опыта и перечислительной индукции. [28] Точно так же экономисты 19-го века были склонны давать объяснения априорно и отвергать опровержения, предлагая окольные пути рассуждений для подтверждения своих априорных законов. [49] В 1843 году в «Системе логики» Милля были представлены методы Милля : [50] пять принципов, с помощью которых можно распознать причинные законы, чтобы улучшить эмпирические науки, а также индуктивные науки. [48] Для Милля все объяснения имеют одну и ту же логическую структуру, а общество можно объяснить законами природы. [48]
В 17 веке Англия, с Исааком Ньютоном и индустриализацией, лидировала в науке. [48] В 18 веке Франция лидировала, [48] особенно в области химии, как это сделал Антуан Лавуазье . В 19 веке французские химики пользовались влиянием, например Антуан Бешан и Луи Пастер , которые положили начало биомедицине , однако Германия завоевала лидерство в науке, [48] объединив физику , физиологию , патологию , медицинскую бактериологию и прикладную химию . [51] В 20-х годах лидировала Америка. [48] Эти изменения повлияли на современную предполагаемую роль науки в каждой стране. [48]
До того, как Германия стала лидером в науке, французская революция была свергнута первой Французской революцией , [48] чье правление террора обезглавило Лавуазье, по общему мнению , за продажу разбавленного пива, и привело к войнам Наполеона . В условиях такого кризиса и беспорядков Огюст Конт пришел к выводу, что естественным состоянием общества является порядок, а не изменения. [48] Как и в индустриальном утопизме Сен-Симона , видение Конта, позднее поддержанное современностью , позиционировало науку как единственное объективное истинное знание и, таким образом, также как светский спиритуализм индустриального общества , посредством которого наука могла бы предложить политическое и этическое руководство. [48]
Позитивизм достиг Британии задолго до того, как Британия потеряла лидерство в науке. [48] Британский позитивизм, как видно из викторианской этики утилитаризма — например, утилитаризма Дж. С. Милля , а затем и социального эволюционизма Герберта Спенсера — ассоциировал науку с нравственным совершенствованием, но отвергал науку ради политического лидерства. [48] Для Милля все объяснения имели одну и ту же логическую структуру — таким образом, общество можно было объяснить естественными законами — однако Милль критиковал «научную политику». [48] Таким образом, с самого начала социология разрывалась между моральной реформой и административной политикой. [48]
Герберт Спенсер помог популяризировать слово «социология» в Англии и собрал обширные данные, стремясь вывести общую теорию посредством эмпирического анализа. [48] Книга Спенсера 1850 года «Социальная статика» демонстрирует контовскую, а также викторианскую заботу о социальном порядке. [48] Тем не менее, в то время как социальная наука Конта была, так сказать, социальной физикой, Спенсер взял биологию – позже, через так называемый дарвинизм, который появился в 1859 году – как модель науки, модель для социальных наук, которой нужно подражать. [48] Функционалистская, эволюционная концепция Спенсера определила социальные структуры как функции , которые адаптируются, так что их анализ мог бы объяснить социальные изменения. [48]
Во Франции влияние Конта на социологию проявляется в примере с Эмилем Дюркгеймом , чьи «Правила социологического метода » 1895 года также представили естественные науки в качестве модели социологии. [48] Для Дюркгейма социальные явления — это функции без психологизма , то есть действующие без сознания индивидов, тогда как социология является антинатуралистической, поскольку социальные факты отличаются от естественных фактов. [48] Тем не менее, согласно Дюркгейму, социальные репрезентации — это реальные сущности, которые можно наблюдать без предварительной теории путем оценки необработанных данных. [48] Таким образом, социология Дюркгейма была реалистической и индуктивной, в соответствии с которой теория следовала за наблюдениями, в то время как научный метод переходил от социальных фактов к гипотезам и причинным законам, открытым индуктивно. [48]
Мировая война разразилась в 1914 году и завершилась в 1919 году договором о репарациях , который, как сразу же яростно предсказал британский экономист Джон Мейнард Кейнс , приведет к разрушению немецкого общества из-за гиперинфляции, и это предсказание сбылось к 1923 году . [52] Благодаря солнечному затмению 29 мая 1919 года теория гравитации Эйнштейна , подтвержденная в своем удивительном предсказании, очевидно, опровергла теорию гравитации Ньютона. [ 53 ] Эта революция в науке встретила ожесточенное сопротивление со стороны многих учёных , но завершилась ближе к 1930 году . крайности негативной евгеники . [57] В 1920-е годы некоторые философы и учёные были потрясены вспыхивающим национализмом , расизмом и фанатизмом, но, возможно, не в меньшей степени, и контрдвижениями в сторону метафизики , интуиционизма и мистицизма . [58] [59]
Также оптимистично настроенные некоторые потрясенные немецкие и австрийские интеллектуалы были вдохновлены открытиями в философии, [60] математике, [61] логике , [62] и физике, [63] и стремились предоставить человечеству прозрачный, универсальный язык, способный проверять утверждения либо о логической, либо об эмпирической истине, никакой путаницы и иррациональности. [59] В своей задуманной радикальной реформе западной философии с целью превратить ее в научную философию они изучали образцовые случаи эмпирической науки в своем стремлении превратить философию в особую науку , такую как биология и экономика. [64] [65] Венский кружок , в который входил Отто Нейрат , возглавлялся Морицем Шликом и обратился к амбициозной программе его члена Рудольфа Карнапа , которого лидер Берлинского кружка Ганс Райхенбах представил Шлику. Карл Гемпель , который учился у Райхенбаха и был выпускником Венского кружка, позже возглавил движение из Америки, которая, наряду с Англией, приняла эмиграцию многих логических позитивистов во время режима Гитлера.
Берлинский кружок и Венский кружок стали называть — или вскоре их стали часто стереотипно называть — логическими позитивистами или, в более мягком смысле, логическими эмпириками или, в любом случае, неопозитивистами. [66] [67] Отвергая синтетическое априори Канта , они утверждали вилку Юма . [68] Делая ставку на аналитический/синтетический разрыв, они стремились устранить путаницу, освободив язык от «псевдоутверждений». Приняв критерий проверяемости Людвига Витгенштейна , многие утверждали, что только утверждения, поддающиеся логической или эмпирической проверке, имеют когнитивное значение , тогда как остальные имеют лишь эмоциональное значение . Более того, они предположили, что между терминами наблюдения и теоретическими терминами существует семантическая пропасть . [69] Таким образом, многие не доверяли заявлениям науки о ненаблюдаемых аспектах природы. [70] Таким образом, отвергая научный реализм , [71] многие приняли инструментализм , согласно которому научная теория просто полезна для предсказания человеческих наблюдений, [71] при этом иногда рассматривая разговоры о ненаблюдаемых явлениях как метафорические [72] или бессмысленные. [73]
Следуя как программе логического атомизма Бертрана Рассела , направленной на деконструкцию языка на предположительно элементарные части, так и усилиям Рассела по логицизму , который свел бы части математики к символической логике , неопозитивисты представляли себе как повседневный язык , так и математику - таким образом, и физику тоже. — совместное использование логического синтаксиса в символьной логике. Чтобы обрести когнитивную значимость, теоретические термины должны были быть переведены посредством правил соответствия в термины наблюдения — таким образом раскрывая фактически эмпирические утверждения любой теории — и затем эмпирические операции проверяли бы их внутри структуры наблюдения, связанной с теоретической структурой через логический синтаксис. Таким образом, можно использовать логические расчеты для объективной проверки ложности или истинности теории . С помощью этой программы, получившей название верификационизма , логические позитивисты боролись с неокантианством марбургской школы , феноменологией Гуссерля и , как само воплощение философской трансгрессии, с « экзистенциальной герменевтикой » Хайдеггера , которую Карнап обвинял в наиболее вопиющих «псевдоутверждениях». [59] [66]
В дружеском духе Отто Нейрат из Венского кружка прозвал Карла Поппера , коллегу-философа из Вены, «официальной оппозицией». [74] Поппер утверждал, что любые попытки проверить научную теорию или даже индуктивно подтвердить научный закон в корне ошибочны. [74] Поппер утверждал, что, хотя образцовая наука не является догматической, наука неизбежно опирается на «предрассудки». Поппер принял критику Юма – проблему индукции – как доказательство невозможности проверки.
Поппер принял гипотетикодедуктивизм , иногда называл его дедуктивизмом , но ограничил его отрицанием следствия и тем самым, опровергнув верификационизм , переосмыслил его как фальсификационизм . Что касается закона или теории, Поппер считал подтверждение вероятной истины несостоятельным [74] , поскольку любое количество подтверждений конечно: эмпирические данные, приближающиеся к 0% вероятности истины на фоне предсказывающего стремления универсального закона к бесконечности. Поппер даже считал, что научная теория лучше, если ее истина кажется наиболее невероятной. [75] Логический позитивизм, утверждал Поппер, «побежден своим типично индуктивистским предрассудком ». [76]
Подчеркнув проблему индукции Юма , Джон Мейнард Кейнс предложил логическую вероятность ответа на нее, но затем пришел к не совсем правильному выводу. [77] Бертран Рассел считал книгу Кейнса «Трактат о вероятности » лучшим исследованием индукции, и если читать ее вместе с « Проблемой логики индукции» Жана Никода , а также обзором этой книги Р.Б. Брейтуэйта в октябрьском выпуске журнала Mind за 1925 год , предоставить «большую часть того, что известно об индукции», хотя «предмет технический и сложный, требующий большого количества математики». [78]
Вместо того чтобы подтверждать перечислительную индукцию (тщетную задачу показать ее как дедуктивный вывод ), некоторые стремились просто подтвердить ее. [79] Герберт Фейгль , а также Ганс Райхенбах , по-видимому, независимо друг от друга, таким образом, стремились показать, что перечислительная индукция просто полезна, либо «хороший», либо «лучший» метод для достижения поставленной цели, делая предсказания. [79] Фейгль сформулировал это как правило, то есть не априори и не апостериори , а тем более . [79] Трактовка Райхенбаха, аналогичная пари Паскаля , предполагала, что она влечет за собой больший прогностический успех по сравнению с альтернативой ее неиспользования. [79]
В 1936 году Рудольф Карнап переключил цель проверки научных утверждений , что было явно невозможно, на цель простого их подтверждения . [67] Между тем, ярый логический позитивист А. Дж. Айер выделил два типа проверки — сильную и слабую — сильная невозможна, а слабая достигается, когда истинность утверждения вероятна . [80] В ходе такой миссии Карнап стремился применить теорию вероятностей для формализации индуктивной логики, открыв алгоритм, который выявит «степень подтверждения». [67] Используя многочисленные логические и математические инструменты, но так и не достигнув цели, формулировки индуктивной логики Карнапа всегда поддерживали степень подтверждения универсального закона на нуле. [67]
Теорема Курта Гёделя о неполноте 1931 года поставила под сомнение логицизм логических позитивистов , или сведение математики к логике. [81] Но затем теорема Альфреда Тарского о неопределимости 1934 года сделала это безнадежным. [81] Некоторые, в том числе логический эмпирик Карл Гемпель , тем не менее, доказывали его возможность. [81] В конце концов, неевклидова геометрия показала, что даже истина геометрии через аксиомы встречается среди постулатов, по определению недоказанных. Между тем, что касается простого формализма , который превращает повседневную речь в логические формы , но не сводит ее к логике, неопозитивисты, хотя и принимают развитие гипотетикодедуктивистской теории, поддерживают символическую логику как язык, позволяющий оправдать, путем проверки или подтверждения, ее результаты. [82] Но затем парадокс подтверждения Гемпеля подчеркнул, что формализация подтверждающих доказательств гипотетического универсального закона « Все вороны черные» — подразумевая, что все нечерные вещи не являются воронами — формализует определение белой обуви, в свою очередь, как случай, подтверждающий «Все вороны черные». . [82]
В 1830-х и 1840-х годах ведущими философами науки были француз Огюст Конт и британец Дж. С. Милль . [83] В ходе дискуссий в 1840-х годах Дж. С. Милль утверждал, что наука развивается посредством индуктивизма, тогда как Уильям Уэвелл , также британец, утверждал, что она развивается посредством гипотетикодедуктивизма. [20]
Уильям Уэвелл нашел «индуктивные науки» не такими простыми, но в атмосфере уважения к индуктивизму описал «супериндукцию». [84] Уэвелл предложил признать «особое значение термина « Индукция », поскольку «существует некая концепция, наведенная на факты», то есть «изобретение новой концепции в каждом индуктивном выводе». Подобные умственные изобретения, редко замеченные предшественниками Уэвелла, быстро ускользают от внимания. [84] Уэвелл объясняет:
«Хотя мы связываем факты, наводя на них новую концепцию, эта концепция, однажды введенная и примененная, рассматривается как неразрывно связанная с фактами и необходимо подразумеваемая в них. Зачатия люди уже не могут легко вернуть их в обособленное и бессвязное состояние, в котором они находились до того, как были объединены таким образом». [84]
Как только кто-то наблюдает факты, «вводится некоторая общая концепция, которая дается не явлениями, а разумом». Уэвелл назвал это «коллигацией», объединяя факты с «гипотезой» — объяснением — то есть «изобретением» и «предположением». Фактически, можно сопоставить факты с помощью множества противоречивых гипотез. Итак, следующий шаг — проверка гипотезы. В конечном итоге Уэвелл ищет четыре признака: охват, изобилие, согласованность и последовательность.
Во-первых, идея должна объяснить все явления, которые ее побудили. Во-вторых, он также должен предсказать больше явлений. В-третьих, в ходе согласования должно быть обнаружено, что оно охватывает явления другого типа . В-четвертых, идея должна заключаться в теоретической системе, которая не была сформулирована сразу, но развивалась с течением времени и тем временем становилась проще. По этим критериям идея сопоставления, естественно, верна или, вероятно, такова. Хотя Уэвелл посвятил несколько глав «методам индукции» и упомянул «логику индукции», он подчеркнул, что для сопоставления «супериндукции» не хватает правил и ее невозможно обучить. [84] Уэвелл также считал, что Бэкон, не будучи строгим индуктивистом, «без пристрастности или слабости поддерживал баланс между явлениями и идеями». [12]
Как заметил Кант в 1787 году, теория дедуктивного вывода не развивалась со времен античности. [85] В 1870-х годах К.С. Пирс и Готтлоб Фреге , без ведома друг друга, произвели революцию в дедуктивной логике, приложив огромные усилия, отождествляя ее с математическим доказательством. [85] Американец, создавший прагматизм — или, с 1905 года, прагматизм , отличающийся от более поздних присвоений его первоначального термина, — Пирс также признавал индукцию, но постоянно настаивал на третьем типе вывода, который Пирс по-разному называл абдукцией или ретродукцией . или гипотеза , или предположение . [85] Более поздние философы дали похищению Пирса и так далее синоним вывода к лучшему объяснению , или IBE. [86] Многие философы науки, позже ставшие сторонниками научного реализма, утверждали, что IBE — это то, как ученые разрабатывают приблизительно истинные научные теории о природе. [87]
После поражения национал-социализма во время Второй мировой войны в 1945 году логические позитивисты утратили свой революционный рвение и побудили философские факультеты западных академических кругов развивать нишевую философию науки , исследуя загадки научного метода, теорий, знаний и так далее. [66] Таким образом, движение перешло в более мягкий вариант, лучше названный логическим эмпиризмом или, но все же неопозитивизмом, возглавляемый главным образом Рудольфом Карнапом , Гансом Райхенбахом и Карлом Гемпелем . [66]
На фоне все более очевидных противоречий в основных принципах неопозитивизма - принципе проверяемости, аналитическом/синтетическом разделении и разрыве между наблюдением и теорией - Гемпель в 1965 году отказался от программы, приняв гораздо более широкую концепцию «степеней значимости». [88] Это означало официальный упадок неопозитивизма. [88] Неопозитивизм стал в основном оклеветан, [89] [90] в то время как заслуга в его падении, как правило, досталась У.В.О. Куайну и Томасу С. Куну , [66] хотя в его «убийстве» преждевременно признался Карл Р. Поппер в 1930-е годы. [91]
Статья Уилларда Ван Ормана Куайна 1951 года « Две догмы эмпиризма », объясняющая семантический холизм , согласно которому значение любого термина вытекает из убеждений говорящего обо всем мире, отбросила вилку Юма , которая представила аналитическое/синтетическое разделение как непреодолимое, как и само по себе несостоятельное. . [88] Среди величайших внутренних критиков верификационизма Карл Гемпель недавно пришел к выводу, что критерий проверяемости также несостоятелен, поскольку он делает не только религиозные утверждения и метафизические утверждения, но даже научные законы универсального типа когнитивно бессмысленными. [92]
В 1958 году книга Норвуда Хэнсона «Схемы открытий» разрушила предполагаемый разрыв между терминами наблюдения и теоретическими терминами, предполагаемый разрыв, благодаря которому прямое наблюдение позволило бы нейтральное сравнение конкурирующих теорий. Хэнсон объясняет, что даже прямые наблюдения, научные факты , наполнены теорией , которая направляет сбор, сортировку, приоритизацию и интерпретацию прямых наблюдений и даже формирует способность исследователя понимать явление. [93] Между тем, даже в отношении общих знаний, тезис Куайна размыл фундаментализм , который отступил к скромности. [94]
«Структура научных революций» Томаса Куна в 1962 году была впервые опубликована в Международной энциклопедии единой науки — проект, начатый логическими позитивистами — и каким-то образом, наконец, объединила эмпирические науки, отказавшись от физической модели и тщательно исследовав их с помощью история и социология. [95] Из-за отсутствия такого интенсивного использования формального языка математики и логики (подход, представленный Рудольфом Карнапом из Венского кружкав 1920-х годах), книга Куна, мощная и убедительная, используется на естественном языке , открытом для непрофессионалов. [95]
Структура объясняет науку как решение головоломок в направлении видения, спроектированного «правящим классом» сообщества научной специальности, чей «неписаный свод правил» диктует приемлемые проблемы и решения, в целом нормальную науку . [96] Ученые переосмысливают неоднозначные данные, отбрасывают аномальные данные и пытаются запихнуть природу в коробку своей общей парадигмы — теоретической матрицы или фундаментального взгляда на природу — до тех пор, пока совместимых данных не станет недостаточно, аномалии не начнут накапливаться и не наступит научный «кризис». . [96] Недавно получив образование, некоторые молодые учёные переходят к революционной науке , которая, одновременно объясняя как нормальные данные, так и аномальные данные, разрешает кризис, устанавливая новый «образец», который противоречит нормальной науке. [96]
Кун объясняет, что конкурирующие парадигмы, имеющие несовместимые языки, несоизмеримы . [96] Пытаясь разрешить конфликт, ученые говорят мимо друг друга, поскольку даже прямые наблюдения — например, о том, что Солнце «восходит» — получают фундаментально противоречивые интерпретации. Некоторые работающие учёные совершают трансформацию, меняя перспективу, что, к их удивлению, выводит на первый план новую парадигму, внезапно очевидную. Другие, так и не достигнув такого переключения гештальта , остаются упрямцами, на всю жизнь приверженными старой парадигме. Один за другим умирают несогласные. Таким образом, новый образец – новый, неписаный свод правил – закрепляется в новой нормальной науке. [96] Старая теоретическая матрица становится настолько окутанной значениями терминов новой теоретической матрицы, что даже философы науки неверно истолковывают старую науку. [96]
Таким образом, объясняет Кун, совершается революция в науке. Тезис Куна критически дестабилизировал доверие к фундаментализму , который обычно, хотя и ошибочно, считался одним из ключевых принципов логического эмпиризма. [97] [98] Поскольку логический эмпиризм был чрезвычайно влиятельным в социальных науках , [99] идеи Куна были быстро приняты учеными в дисциплинах, выходящих далеко за рамки естественных наук , где проводится анализ Куна. [95] Однако тезис Куна, в свою очередь, подвергся нападкам даже со стороны некоторых противников логического эмпиризма. [9] В постскриптуме Структуры 1970 года Кун мягко утверждал, что науке, по крайней мере, не хватает алгоритма . [9] В этом вопросе согласились даже критики Куна. [9] Подкрепляя нападки Куайна на логический эмпиризм, Кун привел американскую и английскую академию к постпозитивизму или постэмпиризму. [66] [95]
Книга Карла Поппера «Логика научных открытий» 1959 года, первоначально опубликованная на немецком языке в 1934 году, достигла англоязычных читателей в то время, когда логический эмпиризм с его исконно верификационистской программой был настолько доминирующим, что рецензент принял его за новую версию верификационизм . [91] [100] Вместо этого философия Поппера, позже названная критическим рационализмом , фундаментально опровергла верификационизм. [91] [100] [101] Демаркационный принцип фальсифицируемости Поппера придает теории статус научной — просто будучи эмпирически проверяемой — а не статус значимой , статус, который Поппер не стремился арбитровать. [100] Поппер не нашел ни одной научной теории, поддающейся проверке или, как в «либерализации эмпиризма» Карнапа, подтверждаемой, [ 100] [102] и нашел ненаучные, метафизические, этические и эстетические утверждения, часто богатые по смыслу, но в то же время подкрепляющие или подпитка науки как источника научных теорий. [100] Единственными подтверждениями, особенно значимыми, являются подтверждения рискованных прогнозов, [103] например тех, которые традиционно предсказывали неудачу.
В 1967 году историк философии Джон Пассмор пришел к выводу: «Логический позитивизм мертв или настолько мертв, насколько когда-либо становится философское движение». [104] Логический позитивизм, или логический эмпиризм, или верификационизм, или, как общий термин для этого движения суммы, неопозитивизм вскоре стал пугалом философии науки . [90]
Влиятельный тезис Куна вскоре подвергся критике за то, что он изображал науку как иррациональную — культурный релятивизм, подобный религиозному опыту. [9] Плакатом постпозитивизма стал взгляд Поппера на человеческое знание как на гипотетическое, постоянно растущее, всегда предварительное, открытое для критики и пересмотра. [91] Но затем даже Поппер стал непопулярным, якобы нереалистичным. [105]
В 1945 году Бертран Рассел предложил перечислительную индукцию как «независимый логический принцип», [106] «неспособный быть выведенным ни из опыта, ни из других логических принципов, и что без этого принципа наука невозможна». [107] И все же в 1963 году Карл Поппер заявил: «Индукция, то есть вывод, основанный на многих наблюдениях, является мифом. Это не психологический факт, не факт обычной жизни и не научный процесс». [108] Книга Поппера 1972 года « Объективное знание» начинается так: «Я думаю, что я решил главную философскую проблему: проблему индукции ». [108]
Схема эволюции теории Поппера представляет собой на первый взгляд поэтапный, но в остальном циклический процесс: Проблема 1 → Предварительное решение → Критический тест → Устранение ошибок → Проблема 2 . [108] Предварительное решение является импровизированным, творческим скачком, не управляемым индуктивными правилами, и полученный в результате универсальный закон является дедуктивным, что является следствием всех, включая объяснительные соображения. [108] Поппер называет перечислительную индукцию «своего рода оптической иллюзией», которая скрывает этапы предположения и опровержения во время смены проблемы . [108] Тем не менее, продолжаются дебаты по поводу проблемы индукции и того, представляет ли она вообще проблему для науки. [109]
Некоторые утверждают, что, хотя индуктивный вывод часто затенен языком (как в новостях о том, что эксперименты доказали безопасность вещества), и что перечислительную индукцию следует смягчать надлежащими разъяснениями, индуктивный вывод широко используется в науке, что наука этого требует, и что Поппер явно ошибается. [105] На самом деле есть веские аргументы с обеих сторон. [109] Перечислительная индукция, очевидно, возникает как итоговое заключение , но ее буквальное действие неясно, поскольку она может, как объясняет Поппер, отражать дедуктивный вывод из лежащего в основе, невыраженного объяснения наблюдений. [110]
В статье 1965 года, ставшей ставшей классической, Гилберт Харман объясняет перечислительную индукцию как замаскированный эффект того, что К.С. Пирс назвал абдукцией , то есть выводом к лучшему объяснению , или IBE. [86] Философы науки, которые поддерживают научный реализм, обычно утверждают, что IBE — это то, как ученые разрабатывают научные теории о предполагаемом независимом от разума мире, примерно верные. [87] Таким образом, называние Поппера явно неправильным — поскольку ученые используют индукцию, чтобы «доказать» истинность своих теорий [105] — отражает противоречивую семантику . [111] К настоящему времени было показано, что перечислительная индукция существует, но встречается редко, например, в программах машинного обучения в области искусственного интеллекта . [112] Точно так же машины можно запрограммировать на работу на основе вероятностных выводов с почти достоверностью. [113] Тем не менее, чистая перечислительная индукция в подавляющем большинстве случаев отсутствует в науке, проводимой людьми. [112] Несмотря на то, что об этом много говорят, IBE исходит из человеческого воображения и творчества без правил вывода , на которые участники дискуссии IBE не приводят ничего похожего. [110] [112]
Попперовский фальсификационизм также подвергся широкой критике и вскоре стал непопулярным среди философов науки. [102] [114] [115] Тем не менее, Поппер был единственным философом науки, которого ученые часто хвалили . [102] С другой стороны, по сравнению с экономистами 19-го века, которые принимали окольные и длительные меры, чтобы предотвратить фальсификацию своих собственных предвзятых принципов, [49] верификационисты, то есть логические позитивисты , стали называться столпами сциентизма , [116] якобы утверждая строгий индуктивизм, [117] а также фундаментализм , [97] [98] чтобы обосновать все эмпирические науки на основе прямого чувственного опыта . [65] Перефразирование предполагаемых неудач неопозитивизма стало популярной тактикой последующих философов, прежде чем приступить к аргументации своих собственных взглядов, [65] часто построенных на искажениях и откровенной лжи о неопозитивизме. [65] Не стремясь пересмотреть и регулировать эмпирические науки или их практики, неопозитивисты стремились проанализировать и понять их, а затем пересмотреть философию , чтобы научно организовать человеческое знание. [65]
Логические эмпирики действительно задумали единство науки , чтобы объединить все специальные науки и свести законы специальных наук - путем установления граничных условий , предоставления мостовых законов и учета дедуктивной модели - к, по крайней мере, в принципе, фундаментальной науке, то есть , фундаментальная физика . [118] А Рудольф Карнап стремился формализовать индуктивную логику, чтобы подтвердить универсальные законы через вероятность как «степень подтверждения». [67] Тем не менее , Венский кружок был пионером нефундаментализма , наследие, особенно его члена Отто Нейрата , чей последовательный подход — главная альтернатива фундаментализму — сравнивал науку с лодкой , которую ученые должны перестроить в море, никогда не касаясь берега. [98] [119] И неопозитивисты искали правила индуктивной логики не для регулирования научных открытий или теоретизирования, а для проверки или подтверждения законов и теорий, когда ученые их формулируют. [120] Практикуя то, что проповедовал Поппер – предположения и опровержения – неопозитивизм просто исчерпал себя. Таким образом, его главный соперник, Поппер, изначально вызывавший споры, вышел из межвоенной Вены оправданным. [91]
В начале 1950-х годов, изучая философию квантовой механики под руководством Поппера в Лондонской школе экономики , Пол Фейерабенд обнаружил, что фальсификационизм не является прорывом, а скорее очевиден, и, таким образом, споры вокруг него предполагают вместо этого повальную бедность в академической дисциплине, философии науки. . [6] И все же, став свидетелем нападок Поппера на индуктивизм – «идею о том, что теории могут быть выведены из фактов или установлены на их основе», – Фейерабенд был впечатлен выступлением Поппера в Британском обществе философии науки . [6] Поппер показал, что законы более высокого уровня, далеко не сводимые к ним, часто противоречат законам, предположительно более фундаментальным. [6]
Ярким примером Поппера, уже приведенным французским физиком-классиком и философом науки Пьером Дюэмом несколько десятилетий назад, были законы движения планет Кеплера , давно известные как сводимые к закону всемирного тяготения Ньютона, но на самом деле не сводимые к нему . [6] Для Фейерабенда притворство индуктивизма имело решающее значение. [6] Фейерабенд провел исследование и в конечном итоге пришел к выводу, что даже в естественных науках объединяющим методом является « Все идет» — часто риторика, круговые рассуждения, пропаганда, обман и уловки — методологическое беззаконие, научная анархия . [10] Настойчивые заявления о том, что вера в индукцию является необходимой предпосылкой разума, книга Фейерабенда 1987 года сардонически прощается с разумом . [121]
Имре Лакатос считал, что фальсификационизм Поппера не практикуется учеными и даже не является реально практичным, но считал парадигмы науки Куна скорее монополистическими, чем реальными . Лакатос обнаружил, что несколько конкурирующих исследовательских программ сосуществуют, по очереди возглавляя научный прогресс.
Исследовательская программа опирается на твердое ядро принципов, таких как картезианское правило « Никаких действий на расстоянии» , которое сопротивляется фальсификации, отклоняется защитным поясом податливых теорий, которые продвигают твердое ядро через теоретический прогресс , распространяя твердое ядро на новые эмпирические территории. .
Подтверждением новых теоретических утверждений является эмпирический прогресс , делающий исследовательскую программу прогрессивной – или же она деградирует . Но даже затменная исследовательская программа может задержаться, считает Лакатос, и возобновить прогресс благодаря более поздним изменениям в своем защитном поясе.
В любом случае, Лакатос пришел к выводу, что индуктивизм — это скорее фарс, который никогда в истории науки фактически не практиковался. Лакатос утверждал, что Ньютон ошибочно представил свою исследовательскую программу как индуктивистскую, чтобы публично узаконить себя. [16]
Предполагаемая методология программ научных исследований Лакатоса подверглась критике со стороны социологов науки , а также некоторых философов науки как слишком идеализированная и упускающая из виду взаимодействие научных сообществ с социальными конфигурациями и динамикой общества в целом. Философ науки Ларри Лаудан утверждал, что стабильными элементами являются не исследовательские программы, а, скорее, исследовательские традиции .
На рубеже XXI века байесианство стало наследником индуктивизма. [18]