Научный метод — это эмпирический метод получения знаний , который характеризовал развитие науки по крайней мере с 17 века. Научный метод включает тщательное наблюдение в сочетании со строгим скептицизмом , поскольку когнитивные предположения могут исказить интерпретацию наблюдения . Научное исследование включает создание проверяемой гипотезы посредством индуктивного рассуждения , ее проверку посредством экспериментов и статистического анализа, а также корректировку или отбрасывание гипотезы на основе результатов. [1] [2] [3]
Хотя процедуры различаются в разных областях , лежащий в их основе процесс часто схож. Более подробно: научный метод включает в себя выдвижение предположений (гипотетических объяснений), предсказание логических следствий гипотезы, а затем проведение экспериментов или эмпирических наблюдений на основе этих предсказаний. [4] Гипотеза — это предположение, основанное на знаниях, полученных при поиске ответов на вопрос. Гипотезы могут быть очень конкретными или широкими, но должны быть фальсифицируемыми , что подразумевает возможность определения возможного результата эксперимента или наблюдения, который противоречит предсказаниям, выведенным из гипотезы; в противном случае гипотеза не может быть осмысленно проверена. [5]
Хотя научный метод часто представляется как фиксированная последовательность шагов, на самом деле он представляет собой набор общих принципов. Не все шаги имеют место в каждом научном исследовании (и не в одинаковой степени), и они не всегда находятся в одном и том же порядке. [6] [7]
История научного метода рассматривает изменения в методологии научного исследования, а не историю самой науки . Разработка правил научного рассуждения не была простой; научный метод был предметом интенсивных и повторяющихся дебатов на протяжении всей истории науки, и выдающиеся натурфилософы и ученые отстаивали первичность различных подходов к установлению научного знания.
Различные ранние проявления эмпиризма и научного метода можно найти на протяжении всей истории, например, у древних стоиков , Эпикура , [8] Альхазена , [A] [a] [B] [i] Авиценны , Аль-Бируни , [13] [14] Роджера Бэкона [α] и Уильяма Оккама .
В научной революции XVI и XVII веков некоторые из наиболее важных событий были продвижение эмпиризма Фрэнсисом Бэконом и Робертом Гуком , [17] [18] рационалистический подход , описанный Рене Декартом , и индуктивизм , выдвинутый на первый план Исааком Ньютоном и его последователями. Эксперименты пропагандировались Фрэнсисом Бэконом и проводились Джамбаттистой делла Порта , [19] Иоганном Кеплером , [20] [d] и Галилео Галилеем . [β] Особое развитие получили теоретические работы скептика Франсиско Санчеса , [22] идеалистов, а также эмпириков Джона Локка , Джорджа Беркли и Дэвида Юма . [e] В XX веке К. С. Пирс сформулировал гипотетико-дедуктивную модель , и с тех пор эта модель претерпела значительные изменения. [25]
Термин «научный метод» появился в 19 веке в результате значительного институционального развития науки и появления терминологии, устанавливающей четкие границы между наукой и не-наукой, например, «ученый» и «псевдонаука». [26] На протяжении 1830-х и 1850-х годов, когда бэконианство было популярным, натуралисты, такие как Уильям Уэвелл, Джон Гершель и Джон Стюарт Милль, участвовали в дебатах по поводу «индукции» и «фактов» и были сосредоточены на том, как генерировать знания. [26] В конце 19 и начале 20 веков велись дебаты по поводу реализма и антиреализма , поскольку мощные научные теории вышли за рамки наблюдаемого. [27]
Термин «научный метод» вошел в обиход в двадцатом веке; книга Дьюи 1910 года « Как мы думаем » вдохновила на создание популярных руководств, [28] которые появились в словарях и учебниках по естествознанию, хотя единого мнения о его значении не было. [26] Хотя в середине двадцатого века наблюдался рост, [f] к 1960-м и 1970-м годам многочисленные влиятельные философы науки, такие как Томас Кун и Пол Фейерабенд, подвергли сомнению универсальность «научного метода» и, таким образом, в значительной степени заменили понятие науки как однородного и универсального метода на понятие, согласно которому она является неоднородной и локальной практикой. [26] В частности,Пол Фейерабенд в первом издании своей книги «Против метода» 1975 года выступил против существования каких-либо универсальных правил науки ; [27] Карл Поппер [ γ] и Гаух 2003 [6] не согласны с утверждением Фейерабенда.
Более поздние позиции включают эссе физика Ли Смолина 2013 года «Нет научного метода», [30] в котором он поддерживает два этических принципа, [δ] и главу историка науки Дэниела Терса в книге 2015 года « Яблоко Ньютона и другие мифы о науке» , в которой сделан вывод о том, что научный метод — это миф или, в лучшем случае, идеализация. [31] Поскольку мифы — это убеждения, [32] они подвержены нарративному заблуждению , как указывает Талеб. [33] Философы Роберт Нола и Говард Сэнки в своей книге 2007 года «Теории научного метода » заявили, что дебаты по поводу научного метода продолжаются, и утверждали, что Фейерабенд, несмотря на название «Против метода» , принял определенные правила метода и попытался обосновать эти правила с помощью метаметодологии. [34] Стэддон (2017) утверждает, что пытаться следовать правилам при отсутствии алгоритмического научного метода — ошибка; в этом случае «науку лучше всего понимать через примеры». [35] [36] Однако алгоритмические методы, такие как опровержение существующей теории экспериментальным путем, использовались со времен Альхасена (1027) и его «Книги оптики» [ a] и Галилея (1638) и его «Двух новых наук» [ 21] и «Пробирщика» [37], которые до сих пор остаются научным методом.
Научный метод — это процесс, посредством которого осуществляется наука . [38] Как и в других областях исследования, наука (через научный метод) может основываться на предыдущих знаниях и со временем объединять понимание изучаемых ею тем. [g] Эту модель можно рассматривать как лежащую в основе научной революции . [40]
Весь процесс включает в себя выдвижение предположений ( гипотез ), предсказание их логических последствий, а затем проведение экспериментов на основе этих предсказаний для определения того, была ли верна исходная гипотеза. [4] Однако существуют трудности в формулировке метода. Хотя научный метод часто представляется как фиксированная последовательность шагов, эти действия являются более точными общими принципами. [41] Не все шаги имеют место в каждом научном исследовании (и не в одинаковой степени), и они не всегда выполняются в одном и том же порядке.
Существуют различные способы описания основного метода, используемого для научного исследования. Научное сообщество и философы науки в целом согласны со следующей классификацией компонентов метода. Эти методологические элементы и организация процедур, как правило, более характерны для экспериментальных наук, чем для социальных наук . Тем не менее, цикл формулирования гипотез, проверки и анализа результатов и формулирования новых гипотез будет напоминать цикл, описанный ниже.Научный метод представляет собой итеративный, циклический процесс, посредством которого информация постоянно пересматривается. [42] [43] Общепризнано, что развитие знаний возможно посредством следующих элементов в различных комбинациях или вкладах: [44] [45]
Каждый элемент научного метода подлежит экспертной оценке на предмет возможных ошибок. Эти действия не описывают все, что делают ученые, но применяются в основном к экспериментальным наукам (например, физике, химии, биологии и психологии). Элементы, указанные выше, часто преподаются в образовательной системе как «научный метод». [C]
Научный метод — это не единый рецепт: он требует интеллекта, воображения и креативности. [46] В этом смысле это не бессмысленный набор стандартов и процедур, которым нужно следовать, а скорее непрерывный цикл, постоянно развивающий более полезные, точные и всеобъемлющие модели и методы. Например, когда Эйнштейн разрабатывал Специальную и Общую теории относительности, он никоим образом не опровергал и не обесценивал Principia Ньютона . Напротив, если астрономически массивное, легкое как перышко и чрезвычайно быстрое убрать из теорий Эйнштейна — все явления, которые Ньютон не мог наблюдать — то уравнения Ньютона — это то, что останется. Теории Эйнштейна являются расширениями и уточнениями теорий Ньютона и, таким образом, повышают доверие к работе Ньютона.
Итеративная, [43] прагматическая [12] схема из четырех пунктов выше иногда предлагается в качестве руководства для дальнейших действий: [47]
Итеративный цикл, присущий этому пошаговому методу, идет от пункта 3 к пункту 6 и обратно к пункту 3.
Хотя эта схема описывает типичный метод гипотезы/проверки, [48] многие философы, историки и социологи науки, включая Пола Фейерабенда , [h] утверждают, что такие описания научного метода имеют мало общего с тем, как на самом деле практикуется наука.
Основные элементы научного метода иллюстрируются следующим примером (который имел место в период с 1944 по 1953 год) из открытия структуры ДНК (отмечено знаком 
и с отступом).
В 1950 году было известно, что генетическая наследственность имеет математическое описание, начиная с исследований Грегора Менделя , и что ДНК содержит генетическую информацию ( преобразующий принцип Освальда Эвери ). [50] Но механизм хранения генетической информации (т. е. генов) в ДНК был неясен. Исследователи в лаборатории Брэгга в Кембриджском университете сделали рентгеновские дифракционные снимки различных молекул , начиная с кристаллов соли и переходя к более сложным веществам. Используя подсказки, кропотливо собранные в течение десятилетий, начиная с ее химического состава, было определено, что должно быть возможно охарактеризовать физическую структуру ДНК, и рентгеновские снимки будут средством. [51]
Научный метод зависит от все более сложных характеристик объектов исследования. (Объекты также можно назвать нерешенными проблемами или неизвестными .) [C] Например, Бенджамин Франклин справедливо предположил, что огни Святого Эльма были электрическими по своей природе , но потребовалась длинная серия экспериментов и теоретических изменений, чтобы установить это. При поиске соответствующих свойств объектов тщательное размышление может также повлечь за собой некоторые определения и наблюдения ; эти наблюдения часто требуют тщательных измерений и/или подсчета, которые могут принимать форму обширного эмпирического исследования .
Научный вопрос может относиться к объяснению конкретного наблюдения , [C] как в «Почему небо голубое?», но также может быть открытым, как в «Как я могу разработать лекарство для лечения этой конкретной болезни?» Этот этап часто включает в себя поиск и оценку доказательств из предыдущих экспериментов, личных научных наблюдений или утверждений, а также работ других ученых. Если ответ уже известен, можно задать другой вопрос, который строится на доказательствах. При применении научного метода к исследованию определение хорошего вопроса может быть очень сложным, и это повлияет на результат расследования. [52]
Систематический, тщательный сбор измерений или подсчетов соответствующих величин часто является критическим различием между псевдонауками , такими как алхимия, и наукой, такой как химия или биология. Научные измерения обычно сводятся в таблицы, графически изображаются или отображаются на карте, и над ними производятся статистические манипуляции, такие как корреляция и регрессия . Измерения могут проводиться в контролируемых условиях, таких как лаборатория, или на более или менее недоступных или не поддающихся манипуляциям объектах, таких как звезды или человеческие популяции. Измерения часто требуют специализированных научных инструментов, таких как термометры , спектроскопы , ускорители частиц или вольтметры , и прогресс в научной области обычно тесно связан с их изобретением и усовершенствованием.
Я не привык утверждать что-либо с уверенностью после одного-двух наблюдений.
- Андреас Везалий (1546) [53]
Научное определение термина иногда существенно отличается от его естественного использования в языке. Например, масса и вес пересекаются по значению в обычном дискурсе, но имеют различные значения в механике . Научные величины часто характеризуются своими единицами измерения , которые впоследствии могут быть описаны в терминах обычных физических единиц при передаче работы.
Новые теории иногда разрабатываются после того, как осознают, что некоторые термины ранее не были достаточно четко определены. Например, первая статья Альберта Эйнштейна по теории относительности начинается с определения одновременности и средств определения длины . Эти идеи были пропущены Исааком Ньютоном со словами: «Я не определяю время , пространство, место и движение , как хорошо известные всем». Затем статья Эйнштейна демонстрирует, что они (а именно, абсолютное время и длина, не зависящие от движения) были приближениями. Фрэнсис Крик предупреждает нас, что при характеристике предмета, однако, может быть преждевременно определять что-то, когда оно остается плохо понятым. [54] В исследовании Криком сознания он на самом деле обнаружил, что легче изучать осознание в зрительной системе , чем изучать свободу воли , например. Его предостерегающим примером был ген; ген был гораздо хуже понят до новаторского открытия Уотсоном и Криком структуры ДНК; было бы контрпродуктивно тратить много времени на определение гена до них.
Гипотеза — это предложенное объяснение явления или, альтернативно, обоснованное предложение, предполагающее возможную корреляцию между или среди набора явлений. Обычно гипотезы имеют форму математической модели . Иногда, но не всегда, они также могут быть сформулированы как экзистенциальные утверждения , утверждающие, что некоторый конкретный случай изучаемого явления имеет некоторые характерные и причинные объяснения, которые имеют общую форму универсальных утверждений , утверждающих, что каждый случай явления имеет определенную характеристику.
Ученые вольны использовать любые имеющиеся у них ресурсы — собственную креативность, идеи из других областей, индуктивные рассуждения , байесовский вывод и т. д. — чтобы представить возможные объяснения изучаемого явления.Альберт Эйнштейн однажды заметил, что «нет логического моста между явлениями и их теоретическими принципами». [58] [i] Чарльз Сандерс Пирс , заимствуя страницу у Аристотеля ( Предыдущая аналитика , 2.25 ) [60] описал начальные стадии исследования , спровоцированные «раздражением сомнения», чтобы рискнуть сделать правдоподобную догадку, как абдуктивное рассуждение . [61] : II, стр.290 История науки полна историй об ученых, заявляющих о «вспышке вдохновения» или догадке, которая затем мотивировала их искать доказательства, чтобы подтвердить или опровергнуть свою идею. Майкл Полани сделал такое творчество центральным элементом своего обсуждения методологии.
Уильям Глен замечает, что [62]
Успех гипотезы или ее служение науке заключается не только в ее воспринимаемой «истине» или способности вытеснять, поглощать или умалять предшествующую идею, но, возможно, в большей степени в ее способности стимулировать исследования, которые прольют свет на… голые предположения и области неопределенности.
— Уильям Глен, Дебаты о массовом вымирании
В целом ученые склонны искать теории, которые являются « элегантными » или « красивыми ». Ученые часто используют эти термины для обозначения теории, которая следует известным фактам, но при этом относительно проста и легка в обращении. Бритва Оккама служит эмпирическим правилом для выбора наиболее желательной среди группы одинаково объяснительных гипотез.
Чтобы свести к минимуму предвзятость подтверждения , возникающую в результате принятия единственной гипотезы, сильный вывод подчеркивает необходимость принятия множественных альтернативных гипотез [63] и избегания артефактов. [64]
Любая полезная гипотеза позволит делать прогнозы , рассуждая, включая дедуктивные рассуждения . [j] Она может предсказать результат эксперимента в лабораторных условиях или наблюдения явления в природе. Прогноз также может быть статистическим и иметь дело только с вероятностями.
Важно, чтобы результат проверки такого прогноза был в данный момент неизвестен. Только в этом случае успешный результат увеличивает вероятность того, что гипотеза верна. Если результат уже известен, он называется следствием и должен был быть уже учтен при формулировании гипотезы.
Если предсказания недоступны посредством наблюдения или опыта, гипотеза пока не может быть проверена и, таким образом, останется в этой степени ненаучной в строгом смысле. Новая технология или теория могут сделать необходимые эксперименты осуществимыми. Например, хотя гипотеза о существовании других разумных видов может быть убедительной с научно обоснованной спекуляцией, ни один известный эксперимент не может проверить эту гипотезу. Поэтому сама наука может мало что сказать о возможности. В будущем новая техника может позволить экспериментальную проверку, и тогда спекуляция станет частью принятой науки.
Например, общая теория относительности Эйнштейна делает несколько конкретных предсказаний о наблюдаемой структуре пространства-времени , например, что свет изгибается в гравитационном поле , и что величина изгиба зависит точным образом от силы этого гравитационного поля. Наблюдения Артура Эддингтона, сделанные во время солнечного затмения 1919 года, подтвердили Общую теорию относительности, а не ньютоновскую гравитацию . [69]
После того, как предсказания сделаны, их можно искать с помощью экспериментов. Если результаты испытаний противоречат предсказаниям, гипотезы, которые их влекут, ставятся под сомнение и становятся менее обоснованными. Иногда эксперименты проводятся неправильно или не очень хорошо спланированы по сравнению с решающим экспериментом . Если экспериментальные результаты подтверждают предсказания, то гипотезы считаются более вероятными, но все равно могут быть неверными и подлежать дальнейшей проверке. Экспериментальный контроль — это метод борьбы с ошибками наблюдения. Этот метод использует контраст между несколькими образцами, или наблюдениями, или популяциями в различных условиях, чтобы увидеть, что меняется или что остается прежним. Мы изменяем условия для актов измерения, чтобы помочь изолировать то, что изменилось. Затем каноны Милля могут помочь нам выяснить, какой фактор является важным. [77] Факторный анализ — это один из методов обнаружения важного фактора в эффекте.
В зависимости от прогнозов эксперименты могут иметь разные формы. Это может быть классический эксперимент в лабораторных условиях, двойное слепое исследование или археологические раскопки . Даже перелет на самолете из Нью-Йорка в Париж — это эксперимент, который проверяет аэродинамические гипотезы, использованные при построении самолета.
Эти учреждения тем самым сводят исследовательскую функцию к затратам/выгодам, [78] которые выражаются в деньгах, а также времени и внимании исследователей, которые должны быть потрачены, [78] в обмен на отчет для их избирателей. [79] Текущие крупные инструменты, такие как Большой адронный коллайдер (LHC) ЦЕРНа, [80] или LIGO , [81] или Национальный центр зажигания (NIF), [82] или Международная космическая станция (МКС), [83] или Космический телескоп Джеймса Уэбба (JWST), [84] [85] влекут за собой ожидаемые затраты в миллиарды долларов и временные рамки, простирающиеся на десятилетия. Такого рода учреждения влияют на государственную политику на национальном или даже международном уровне, и исследователям потребуется общий доступ к таким машинам и их вспомогательной инфраструктуре. [ε] [86]
Ученые предполагают открытость и подотчетность со стороны тех, кто экспериментирует. Подробный учет необходим для помощи в регистрации и сообщении экспериментальных результатов, а также поддерживает эффективность и целостность процедуры. Они также помогут в воспроизведении экспериментальных результатов, вероятно, другими. Следы этого подхода можно увидеть в работе Гиппарха ( 190–120 гг. до н. э.) при определении значения прецессии Земли, в то время как контролируемые эксперименты можно увидеть в работах аль-Баттани (853–929 гг. н. э.) [87] и Альхазена (965–1039 гг. н. э.). [88] [l] [b]
Научный метод итеративен. На любой стадии можно улучшить его точность и правильность , так что некоторые соображения заставят ученого повторить более раннюю часть процесса. Неспособность разработать интересную гипотезу может привести к тому, что ученый переопределит рассматриваемый предмет. Неспособность гипотезы дать интересные и проверяемые предсказания может привести к пересмотру гипотезы или определения предмета. Неспособность эксперимента дать интересные результаты может привести ученого пересмотреть экспериментальный метод, гипотезу или определение предмета.
Этот способ итерации может охватывать десятилетия, а иногда и столетия. Опубликованные работы могут быть построены на основе. Например: К 1027 году Альхазен , основываясь на своих измерениях преломления света , смог сделать вывод, что внешнее пространство было менее плотным, чем воздух , то есть: «тело небес более разрежено, чем тело воздуха». [10] В 1079 году в « Трактате о сумерках» Ибн Муаза был сделан вывод, что атмосфера Земли была толщиной 50 миль, основываясь на атмосферном преломлении солнечных лучей. [м]
Вот почему научный метод часто представляется как циклический – новая информация приводит к новым характеристикам, и цикл науки продолжается. Собранные измерения могут быть архивированы , переданы дальше и использованы другими.Другие ученые могут начать собственное исследование и присоединиться к процессу на любой стадии. Они могут принять характеристику и сформулировать собственную гипотезу, или они могут принять гипотезу и вывести собственные предсказания. Часто эксперимент не проводится тем, кто сделал предсказание, а характеристика основана на экспериментах, проведенных кем-то другим. Опубликованные результаты экспериментов также могут служить гипотезой, предсказывающей их собственную воспроизводимость.
Наука — это социальное предприятие, и научная работа, как правило, принимается научным сообществом, когда она подтверждена. Важно, что экспериментальные и теоретические результаты должны быть воспроизведены другими в научном сообществе. Исследователи отдали свои жизни за это видение; Георг Вильгельм Рихман был убит шаровой молнией (1753) при попытке повторить эксперимент Бенджамина Франклина с запуском воздушного змея 1752 года . [96]
Если эксперимент невозможно повторить, чтобы получить те же результаты, это означает, что исходные результаты могли быть ошибочными. В результате, обычно один эксперимент проводится несколько раз, особенно когда есть неконтролируемые переменные или другие признаки экспериментальной ошибки . Для получения значимых или удивительных результатов другие ученые также могут попытаться воспроизвести результаты для себя, особенно если эти результаты будут важны для их собственной работы. [97] Воспроизведение стало спорным вопросом в социальной и биомедицинской науке, где лечение назначается группам людей. Обычно экспериментальная группа получает лечение, например, лекарство, а контрольная группа получает плацебо. Джон Иоаннидис в 2005 году указал, что используемый метод привел ко многим результатам, которые невозможно воспроизвести. [98]
Процесс рецензирования включает оценку эксперимента экспертами, которые обычно дают свои мнения анонимно. Некоторые журналы просят экспериментатора предоставить списки возможных рецензентов, особенно если область узкоспециализирована. Рецензирование не подтверждает правильность результатов, а только то, что, по мнению рецензента, сами эксперименты были обоснованными (на основании описания, предоставленного экспериментатором). Если работа проходит рецензирование, которое иногда может потребовать новых экспериментов, запрошенных рецензентами, она будет опубликована в рецензируемом научном журнале . Конкретный журнал, который публикует результаты, указывает на воспринимаемое качество работы. [n]
Ученые обычно осторожны в записи своих данных, требование, продвигаемое Людвиком Флеком (1896–1961) и другими. [99] Хотя обычно это не требуется, их могут попросить предоставить эти данные другим ученым, которые хотят воспроизвести их оригинальные результаты (или части их оригинальных результатов), распространяясь на обмен любыми экспериментальными образцами, которые может быть трудно получить. [100] Для защиты от плохой науки и мошеннических данных правительственные исследовательские грантовые агентства, такие как Национальный научный фонд , и научные журналы, включая Nature и Science , имеют политику, согласно которой исследователи должны архивировать свои данные и методы, чтобы другие исследователи могли проверить данные и методы и развить исследования, которые были проведены ранее. Архивирование научных данных может осуществляться в нескольких национальных архивах в США или во Всемирном центре данных .
Неограниченные принципы науки — стремиться к точности и кредо честности; открытость уже является вопросом степеней. Открытость ограничена общей строгостью скептицизма. И, конечно, вопросом не-науки.
Смолин в 2013 году отстаивал этические принципы, а не давал потенциально ограниченного определения правил исследования. [δ] Его идеи находятся в контексте масштаба науки, основанной на данных, и большой науки , которая увидела возросшую важность честности и, следовательно, воспроизводимости . Он думает, что наука — это общественное усилие тех, кто имеет аккредитацию и работает в сообществе . Он также предостерегает от чрезмерной бережливости.
Ранее Поппер пошел в своих этических принципах еще дальше, зайдя так далеко, что стал приписывать ценность теориям, только если они были фальсифицируемы. Поппер использовал критерий фальсифицируемости, чтобы отделить научную теорию от теории, подобной астрологии: обе «объясняют» наблюдения, но научная теория рискует делать предсказания, которые решают, верна она или нет: [101] [102]
«Те из нас, кто не желает подвергать свои идеи риску опровержения, не принимают участия в игре науки».
— Карл Поппер, Логика научного открытия (2002 [1935])
Наука имеет пределы. Эти пределы обычно считаются ответами на вопросы, которые не входят в сферу науки, такие как вера. Наука имеет и другие пределы, поскольку она стремится делать истинные утверждения о реальности. [103] Природа истины и обсуждение того, как научные утверждения соотносятся с реальностью, лучше всего оставить для статьи о философии науки здесь. Более актуальные ограничения проявляются при наблюдении за реальностью.
Естественные ограничения научного исследования состоят в том, что чистого наблюдения не существует, поскольку для интерпретации эмпирических данных требуется теория, и поэтому наблюдение находится под влиянием концептуальной структуры наблюдателя. [105] Поскольку наука является незавершенным проектом, это приводит к трудностям. А именно, к тому, что делаются ложные выводы из-за ограниченной информации.
Примером здесь являются эксперименты Кеплера и Браге, использованные Хансоном для иллюстрации этой концепции. Несмотря на то, что они наблюдали один и тот же восход Солнца, эти два ученых пришли к разным выводам — их интерсубъективность привела к разным выводам. Иоганн Кеплер использовал метод наблюдения Тихо Браге , который заключался в проецировании изображения Солнца на лист бумаги через отверстие в виде булавки, вместо того, чтобы смотреть прямо на Солнце. Он не согласился с выводом Браге о том, что полные затмения Солнца невозможны, потому что, в отличие от Браге, он знал, что существуют исторические отчеты о полных затмениях. Вместо этого он пришел к выводу, что полученные изображения будут становиться тем точнее, чем больше отверстие — этот факт теперь является основополагающим для проектирования оптических систем. [d] Другим историческим примером здесь является открытие Нептуна , которое, как считается, было найдено с помощью математики, потому что предыдущие наблюдатели не знали, на что они смотрят. [106]
Научные усилия можно охарактеризовать как поиск истин о естественном мире или как устранение сомнений в этом. Первое — это прямое построение объяснений из эмпирических данных и логики, второе — сокращение потенциальных объяснений. [ζ] Выше было установлено, что интерпретация эмпирических данных нагружена теорией, поэтому ни один из подходов не является тривиальным.
Вездесущий элемент научного метода — эмпиризм , который утверждает, что знание создается в процессе, включающем наблюдение; научные теории обобщают наблюдения. Это противоречит строгим формам рационализма , который утверждает, что знание создается человеческим интеллектом; позже Поппер уточнил, что оно должно быть построено на предшествующей теории. [108] Научный метод воплощает позицию, что разум сам по себе не может решить конкретную научную проблему; он недвусмысленно опровергает утверждения о том, что откровение , политическая или религиозная догма , апелляции к традиции, общепринятым верованиям, здравому смыслу или текущим теориям представляют собой единственно возможные средства демонстрации истины. [12] [75]
В 1877 году [44] К. С. Пирс охарактеризовал исследование в целом не как стремление к истине как таковой, а как борьбу за то, чтобы уйти от раздражающих, подавляющих сомнений, рожденных неожиданностями, разногласиями и тому подобным, и достичь надежного убеждения, причем убеждение является тем, на основании чего человек готов действовать. Его прагматические взгляды обрамляли научное исследование как часть более широкого спектра и как стимулируемое, как и исследование в целом, фактическим сомнением, а не просто словесным или «гиперболическим сомнением», которое он считал бесплодным. [o] Это «гиперболическое сомнение», против которого здесь выступает Пирс, конечно, является просто другим названием картезианского сомнения , связанного с Рене Декартом . Это методологический путь к определенному знанию путем определения того, в чем нельзя сомневаться.
Строгая формулировка научного метода не всегда соответствует форме эмпиризма , в которой эмпирические данные выдвигаются в форме опыта или других абстрактных форм знания, поскольку в современной научной практике обычно принимается использование научного моделирования и опора на абстрактные типологии и теории. В 2010 году Хокинг предположил, что физические модели реальности следует просто принимать там, где они, как доказано, делают полезные предсказания. Он называет эту концепцию реализмом, зависящим от модели . [111]
Рациональность воплощает в себе сущность здравого рассуждения, краеугольного камня не только в философском дискурсе, но и в сферах науки и практического принятия решений. Согласно традиционной точке зрения, рациональность служит двойной цели: она управляет убеждениями, обеспечивая их соответствие логическим принципам, и направляет действия, направляя их к последовательным и полезным результатам. Такое понимание подчеркивает ключевую роль разума в формировании нашего понимания мира и в информировании о нашем выборе и поведении. [112] В следующем разделе сначала будут рассмотрены убеждения и предубеждения, а затем перейдем к рациональному рассуждению, наиболее связанному с науками.
Научная методология часто предписывает, чтобы гипотезы проверялись в контролируемых условиях, где это возможно. Это часто возможно в определенных областях, таких как биологические науки, и более сложно в других областях, таких как астрономия.
Практика экспериментального контроля и воспроизводимости может иметь эффект уменьшения потенциально вредных эффектов обстоятельств и, в некоторой степени, личной предвзятости. Например, уже существующие убеждения могут изменить интерпретацию результатов, как в случае с предвзятостью подтверждения ; это эвристика , которая заставляет человека с определенным убеждением видеть вещи как подкрепляющие его убеждение, даже если другой наблюдатель может не согласиться (другими словами, люди склонны наблюдать то, что они ожидают наблюдать). [32]
«Действие мысли возбуждается раздражением сомнения и прекращается, когда достигается вера».
— К. С. Пирс , «Как сделать наши идеи ясными» (1877) [61]
Историческим примером является убеждение, что ноги скачущей лошади расставлены в точке, когда ни одна из ног лошади не касается земли, вплоть до того, что это изображение было включено в картины его сторонников. Однако первые покадровые фотографии скачущей лошади Эдварда Мейбриджа показали, что это ложно, и что ноги вместо этого собраны вместе. [113]
Другим важным человеческим предубеждением, которое играет роль, является предпочтение новых, удивительных утверждений (см. Обращение к новизне ), что может привести к поиску доказательств того, что новое является истинным. [114] Плохо подтвержденные убеждения могут быть приняты и применены с помощью менее строгой эвристики. [115]
Голдхабер и Ньето опубликовали в 2010 году наблюдение, что если теоретические структуры со «многими близко соседствующими предметами описываются путем соединения теоретических концепций, то теоретическая структура приобретает надежность, которая делает ее все более трудной – хотя, безусловно, никогда не невозможной – для опровержения». [116] Когда повествование построено, в его элементы становится легче поверить. [117] [33]
Флек (1979), стр. 27 отмечает: «Слова и идеи изначально являются фонетическими и ментальными эквивалентами совпадающих с ними переживаний. ... Такие протоидеи сначала всегда слишком широки и недостаточно специализированы. ... Как только структурно полная и замкнутая система мнений, состоящая из множества деталей и отношений, сформирована, она оказывает стойкое сопротивление всему, что ей противоречит». Иногда эти отношения имеют свои элементы, предполагаемые априори , или содержат какой-то другой логический или методологический изъян в процессе, который в конечном итоге их произвел. Дональд М. Маккей проанализировал эти элементы с точки зрения пределов точности измерения и связал их с инструментальными элементами в категории измерения. [η]
Идея о существовании двух противоположных обоснований истины проявлялась на протяжении всей истории научного метода как анализ против синтеза, не-усиливающее/усиливающее или даже подтверждение и верификация. (И есть другие виды рассуждений.) Один из них заключается в использовании того, что наблюдается, для построения фундаментальных истин, а другой — в выведении из этих фундаментальных истин более конкретных принципов. [118]
Дедуктивное рассуждение — это построение знаний на основе того, что было показано как истинное ранее. Оно требует предположения факта, установленного ранее, и, учитывая истинность предположений, обоснованный вывод гарантирует истинность заключения. Индуктивное рассуждение строит знания не на установленной истине, а на совокупности наблюдений. Оно требует строгого скептицизма в отношении наблюдаемых явлений, поскольку когнитивные предположения могут исказить интерпретацию первоначальных восприятий. [119]
Пример того, как работают индуктивные и дедуктивные рассуждения, можно найти в истории теории гравитации . [p] Потребовались тысячи лет измерений, проведенных халдейскими , индийскими , персидскими , греческими , арабскими и европейскими астрономами, чтобы полностью записать движение планеты Земля . [q] Затем Кеплер (и другие) смогли построить свои ранние теории, обобщив собранные данные индуктивным путем , а Ньютон смог объединить предшествующую теорию и измерения в следствия своих законов движения в 1727 году. [r]
Другим распространенным примером индуктивного рассуждения является наблюдение контрпримера к текущей теории , вызывающее потребность в новых идеях. Леверье в 1859 году указал на проблемы с перигелием Меркурия , которые показали, что теория Ньютона по крайней мере неполна. Наблюдаемое различие прецессии Меркурия между ньютоновской теорией и наблюдением было одной из вещей, которая пришла в голову Эйнштейну как возможная ранняя проверка его теории относительности . Его релятивистские вычисления соответствовали наблюдению гораздо лучше, чем ньютоновская теория. [s] Хотя сегодняшняя Стандартная модель физики предполагает, что мы все еще не знаем по крайней мере некоторых концепций, окружающих теорию Эйнштейна, она верна и по сей день и строится дедуктивно.
Теория, которая предполагается как истинная и впоследствии достраивается, является распространенным примером дедуктивного рассуждения. Теория, основанная на достижении Эйнштейна, может просто утверждать, что «мы показали, что этот случай удовлетворяет условиям, при которых применяется общая/специальная теория относительности, поэтому ее выводы также применимы». Если было правильно показано, что «этот случай» удовлетворяет условиям, следует вывод. Расширением этого является предположение о решении открытой проблемы. Этот более слабый вид дедуктивного рассуждения будет использоваться в текущих исследованиях, когда несколько ученых или даже группы исследователей постепенно решают конкретные случаи, работая над доказательством более крупной теории. Это часто приводит к тому, что гипотезы снова и снова пересматриваются по мере появления новых доказательств.
Этот способ представления индуктивного и дедуктивного рассуждения частично объясняет, почему наука часто представляется как цикл итерации. Важно помнить, что основы этого цикла лежат в рассуждении, а не только в следовании процедуре.
Утверждениям о научной истине можно противостоять тремя способами: фальсифицируя их, подвергая сомнению их достоверность или утверждая, что само утверждение непоследовательно. [t] Под непоследовательностью здесь понимаются внутренние ошибки в логике, например, утверждение, что противоположности истинны; фальсификацию Поппер назвал бы честной работой по выдвижению предположений и опровержению [29] — достоверность, возможно, является тем местом, где легче всего возникают трудности в различении истин и неистин.
Измерения в научной работе обычно сопровождаются оценками их неопределенности . [78] Неопределенность часто оценивается путем проведения повторных измерений желаемой величины. Неопределенности также могут быть рассчитаны путем рассмотрения неопределенностей отдельных используемых базовых величин. Количество вещей, например, количество людей в стране в определенное время, также может иметь неопределенность из-за ограничений сбора данных . Или же подсчеты могут представлять собой выборку желаемых величин с неопределенностью, которая зависит от используемого метода выборки и количества взятых образцов.
В случае неточности измерения будет просто «вероятное отклонение», выражающееся в выводах исследования. Статистика — это другое. Индуктивное статистическое обобщение возьмет выборочные данные и экстраполирует более общие выводы, которые должны быть обоснованы — и тщательно изучены. Можно даже сказать, что статистические модели всегда полезны, но никогда не являются полным представлением обстоятельств .
В статистическом анализе ожидаемая и неожиданная предвзятость является важным фактором. [124] Вопросы исследования , сбор данных или интерпретация результатов — все это подвергается более тщательной проверке, чем в комфортных логических средах. Статистические модели проходят процесс проверки , для которого можно даже сказать, что осознание потенциальных предвзятостей важнее жесткой логики; в конце концов, ошибки в логике легче найти в экспертной оценке . [u] В более общем плане, претензии на рациональное знание, и особенно на статистику, должны быть помещены в соответствующий контекст. [119] Простые утверждения, такие как «9 из 10 врачей рекомендуют», поэтому имеют неизвестное качество, поскольку они не оправдывают свою методологию.
Незнание статистических методологий может привести к ошибочным выводам. Отказываясь от простого примера, [v] взаимодействие множественных вероятностей — это то, где, например, медицинские специалисты [126] продемонстрировали отсутствие надлежащего понимания. Теорема Байеса — это математический принцип, описывающий, как постоянные вероятности корректируются с учетом новой информации. Парадокс мальчика или девочки — распространенный пример. В представлении знаний байесовская оценка взаимной информации между случайными величинами — это способ измерения зависимости, независимости или взаимозависимости информации, находящейся под пристальным вниманием. [127]
Помимо обычно ассоциируемой методологии полевых исследований , эта концепция вместе с вероятностным рассуждением используется для продвижения областей науки, где объекты исследования не имеют определенных состояний бытия. Например, в статистической механике .
Гипотетико -дедуктивная модель , или метод проверки гипотез, или «традиционный» научный метод, как следует из названия, основан на формировании гипотез и их проверке посредством дедуктивного рассуждения . Гипотеза, утверждающая импликации, часто называемые предсказаниями , которые можно опровергнуть посредством эксперимента, имеет здесь центральное значение, поскольку проверяется не гипотеза, а ее импликации. [128] По сути, ученые будут смотреть на гипотетические следствия, которые содержит (потенциальная) теория , и доказывать или опровергать их вместо самой теории. Если экспериментальная проверка этих гипотетических следствий показывает, что они ложны, из этого логически следует, что часть теории, которая их подразумевала, также была ложной. Однако, если они показывают себя истинными, это не доказывает теорию окончательно.
Логика этого тестирования — это то , что позволяет этому методу исследования быть обоснованным дедуктивно. Сформулированная гипотеза предполагается «истинной», и из этого «истинного» утверждения выводятся импликации. Если последующие тесты показывают, что импликации ложны, то отсюда следует, что гипотеза также ложна. Если тесты показывают, что импликации истинны, будут получены новые идеи. Важно знать, что положительный тест здесь в лучшем случае будет сильно подразумевать, но не окончательно доказывать проверенную гипотезу, поскольку дедуктивный вывод (A ⇒ B) не эквивалентен этому; только (¬B ⇒ ¬A) является допустимой логикой. Однако их положительные результаты, как выразился Гемпель, предоставляют «по крайней мере некоторую поддержку, некоторое подтверждение или подкрепление для нее». [129] Вот почему Поппер настаивал на том, чтобы выдвинутые гипотезы были фальсифицируемыми, поскольку успешные тесты мало что подразумевают в противном случае. Как выразился Джиллис , «успешные теории — это те, которые выдерживают устранение посредством фальсификации». [128]
Дедуктивное рассуждение в этом режиме исследования иногда будет заменяться абдуктивным рассуждением — поиском наиболее правдоподобного объяснения посредством логического вывода. Например, в биологии, где общих законов мало, [128] поскольку обоснованные выводы опираются на прочные предпосылки. [119]
Индуктивистский подход к получению научной истины впервые стал известен благодаря Фрэнсису Бэкону и особенно Исааку Ньютону и его последователям. [130] После создания HD-метода его часто откладывали в сторону как что-то вроде «рыболовной экспедиции». [128] Он все еще действует в некоторой степени, но сегодняшний индуктивный метод часто далек от исторического подхода — масштаб собранных данных придает методу новую эффективность. Он больше всего связан с проектами по добыче данных или крупномасштабными проектами наблюдений. В обоих этих случаях часто вообще не ясно, какими будут результаты предлагаемых экспериментов, и, таким образом, знание возникнет после сбора данных посредством индуктивного рассуждения. [r]
Там, где традиционный метод исследования делает и то, и другое, индуктивный подход обычно формулирует только исследовательский вопрос , а не гипотезу. Вместо этого, следуя первоначальному вопросу, определяется подходящий «высокопроизводительный метод» сбора данных, полученные данные обрабатываются и «очищаются», а затем делаются выводы. «Это смещение фокуса возвышает данные до высшей роли раскрытия новых идей самим по себе». [128]
Преимущество индуктивного метода перед методами, формулирующими гипотезу, заключается в том, что он по существу свободен от «предвзятых мнений исследователя» относительно своего предмета. С другой стороны, индуктивное рассуждение всегда связано с мерой уверенности, как и все индуктивно обоснованные выводы. [128] Однако эта мера уверенности может достигать довольно высоких степеней. Например, при определении больших простых чисел , которые используются в программном обеспечении для шифрования . [131]
Математическое моделирование или аллохтонное рассуждение, как правило, представляет собой формулировку гипотезы, за которой следует построение математических конструкций, которые можно проверить вместо проведения физических лабораторных экспериментов. Этот подход имеет два основных фактора: упрощение/абстракция и, во-вторых, набор правил соответствия. Правила соответствия излагают, как построенная модель будет соотноситься с реальностью — как выводится истина; и упрощающие шаги, предпринимаемые при абстракции данной системы, заключаются в сокращении факторов, которые не имеют значения, и тем самым уменьшении неожиданных ошибок. [128] Эти шаги также могут помочь исследователю в понимании важных факторов системы, того, насколько далеко может зайти бережливость, пока система не станет все более и более неизменной и, следовательно, стабильной. Экономия и связанные с ней принципы более подробно рассматриваются ниже.
После того, как этот перевод в математику завершен, полученная модель, вместо соответствующей системы, может быть проанализирована с помощью чисто математических и вычислительных средств. Результаты этого анализа, конечно, также чисто математические по своей природе и переводятся обратно в систему, как она существует в реальности, с помощью ранее определенных правил соответствия — итерации после обзора и интерпретации результатов. Способ обоснования таких моделей часто будет математически дедуктивным — но это не обязательно. Примером здесь являются симуляции Монте-Карло . Они генерируют эмпирические данные «произвольно», и, хотя они, возможно, не смогут раскрыть универсальные принципы, они, тем не менее, могут быть полезны. [128]
Научное исследование обычно направлено на получение знаний в форме проверяемых объяснений [132] [74] , которые ученые могут использовать для прогнозирования результатов будущих экспериментов. Это позволяет ученым лучше понять изучаемую тему, а затем использовать это понимание для вмешательства в ее причинные механизмы (например, для лечения болезней). Чем лучше объяснение позволяет делать прогнозы, тем полезнее оно часто может быть и тем более вероятно, что оно продолжит объяснять совокупность доказательств лучше, чем его альтернативы. Наиболее успешные объяснения — те, которые объясняют и делают точные прогнозы в широком диапазоне обстоятельств — часто называются научными теориями . [C]
Большинство экспериментальных результатов не приводят к большим изменениям в человеческом понимании; улучшения в теоретическом научном понимании обычно являются результатом постепенного процесса развития с течением времени, иногда в разных областях науки. [133] Научные модели различаются по степени, в которой они были экспериментально проверены и как долго, а также по их принятию в научном сообществе. В целом, объяснения становятся принятыми с течением времени по мере накопления доказательств по данной теме, и рассматриваемое объяснение оказывается более мощным, чем его альтернативы при объяснении доказательств. Часто последующие исследователи переформулируют объяснения с течением времени или объединяют объяснения, чтобы получить новые объяснения.
Научное знание тесно связано с эмпирическими данными и может оставаться подверженным фальсификации , если новые экспериментальные наблюдения несовместимы с тем, что обнаружено. То есть, никакая теория не может считаться окончательной, поскольку могут быть обнаружены новые проблемные доказательства. Если такие доказательства найдены, может быть предложена новая теория или (чаще) обнаруживается, что изменений в предыдущей теории достаточно для объяснения новых доказательств. Сила теории связана с тем, как долго она сохранялась без существенных изменений своих основных принципов.
Теории также могут быть включены в другие теории. Например, законы Ньютона объяснили тысячи лет научных наблюдений планет почти идеально. Однако затем эти законы были определены как частные случаи более общей теории ( относительности ), которая объяснила как (ранее необъясненные) исключения из законов Ньютона, так и предсказала и объяснила другие наблюдения, такие как отклонение света под действием гравитации . Таким образом, в некоторых случаях независимые, несвязанные научные наблюдения могут быть связаны, объединены принципами возрастающей объяснительной силы. [134] [116]
Поскольку новые теории могут быть более всеобъемлющими, чем те, что им предшествовали, и, таким образом, быть в состоянии объяснить больше, чем предыдущие, последующие теории могут быть в состоянии соответствовать более высокому стандарту, объясняя больший объем наблюдений, чем их предшественники. [134] Например, теория эволюции объясняет разнообразие жизни на Земле , то, как виды адаптируются к своей среде, и многие другие закономерности, наблюдаемые в естественном мире; [135] [136] ее последней крупной модификацией было объединение с генетикой для формирования современного эволюционного синтеза . В последующих модификациях она также включила аспекты многих других областей, таких как биохимия и молекулярная биология .
В ходе истории одна теория сменяла другую, и некоторые предлагали дальнейшую работу, в то время как другие, казалось, довольствовались только объяснением явлений. Причины, по которым одна теория заменяла другую, не всегда очевидны или просты. Философия науки включает в себя вопрос: каким критериям удовлетворяет «хорошая» теория . Этот вопрос имеет долгую историю, и многие ученые, а также философы, рассматривали его. Цель состоит в том, чтобы иметь возможность выбрать одну теорию как предпочтительную другой, не внося когнитивных предубеждений . [137] Хотя разные мыслители подчеркивают разные аспекты, [ι] хорошая теория:
Пытаясь найти такие теории, ученые, учитывая отсутствие эмпирических данных, будут стараться придерживаться:
Цель здесь — сделать выбор между теориями менее произвольным. Тем не менее, эти критерии содержат субъективные элементы и должны рассматриваться скорее как эвристика , чем как окончательный критерий. [κ] Кроме того, такие критерии не обязательно делают выбор между альтернативными теориями. Цитата из Bird : [143]
«[Такие критерии] не могут определять научный выбор. Во-первых, то, какие характеристики теории удовлетворяют этим критериям, может быть спорным ( например, касается ли простота онтологических обязательств теории или ее математической формы?). Во-вторых, эти критерии неточны, и поэтому есть место для разногласий относительно степени их применимости. В-третьих, могут быть разногласия относительно того, как их следует взвешивать относительно друг друга, особенно когда они противоречат друг другу».
Также спорно, удовлетворяют ли существующие научные теории всем этим критериям, которые могут представлять цели, которые еще не достигнуты. Например, объяснительная сила по всем существующим наблюдениям не удовлетворяется ни одной теорией в настоящий момент. [144] [145]
Желаемые условия «хорошей» теории обсуждались на протяжении столетий, возможно, даже раньше, чем бритва Оккама , [w], которая часто воспринимается как атрибут хорошей теории. Наука старается быть простой. Когда собранные данные подтверждают множественные объяснения, наиболее простое объяснение явлений или наиболее простое формирование теории рекомендуется принципом бережливости. [146] Ученые заходят так далеко, что называют простые доказательства сложных утверждений красивыми .
Мы не должны допускать никаких других причин естественных явлений, кроме тех, которые являются одновременно истинными и достаточными для объяснения их проявлений.
- Исаак Ньютон, Philosophiæ Naturalis Principia Mathematica (1723 [3-е изд.]) [1]
Концепция бережливости не должна подразумевать полную бережливость в стремлении к научной истине. Общий процесс начинается с противоположного конца, где существует огромное количество потенциальных объяснений и общий беспорядок. Пример можно увидеть в процессе Пола Кругмана , который явно «осмеливается быть глупым». Он пишет, что в своей работе над новыми теориями международной торговли он просматривал предыдущие работы с открытым настроем и расширял свою первоначальную точку зрения даже в маловероятных направлениях. Как только у него был достаточный объем идей, он пытался упростить и таким образом найти то, что работало среди того, что не работало. Специфика Кругмана здесь заключалась в том, чтобы «подвергнуть вопрос сомнению». Он признал, что предыдущие работы применяли ошибочные модели к уже имеющимся доказательствам, отметив, что «интеллектуальные комментарии были проигнорированы». [147] Таким образом, затрагивая необходимость преодоления общей предвзятости по отношению к другим кругам мысли. [148]
Бритва Оккама может подпадать под категорию «простая элегантность», но можно утверждать, что экономия и элегантность тянут в разные стороны. Введение дополнительных элементов может упростить формулировку теории, тогда как упрощение онтологии теории может привести к увеличению синтаксической сложности. [142]
Иногда ad hoc-модификации неудачной идеи также могут быть отклонены как не имеющие «формальной элегантности». Это обращение к тому, что можно назвать «эстетикой», трудно охарактеризовать, но по сути это своего рода знакомство. Хотя аргумент, основанный на «изящности», спорен, а чрезмерная опора на знакомство породит застой. [139]
Принципы инвариантности были темой в научных работах, и особенно в физике, по крайней мере с начала 20-го века. [θ] Основная идея здесь заключается в том, что хорошие структуры, которые следует искать, — это те, которые не зависят от перспективы, идея, которая, конечно, была представлена ранее, например, в « Методах различия и согласия» Милля — методах, к которым можно было бы вернуться в контексте контраста и инвариантности. [149] Но, как это обычно бывает, есть разница между чем-то, являющимся базовым соображением, и чем-то, чему придается вес. Принципы инвариантности получили вес только после появления теорий относительности Эйнштейна, которые свели все к отношениям и, таким образом, были принципиально неизменными, не подлежащими изменению. [150] [x] Как сказал Дэвид Дойч в 2009 году: «поиск трудноизменяемых объяснений является источником всего прогресса». [141]
Примером здесь может служить один из мысленных экспериментов Эйнштейна . Лаборатория, подвешенная в пустом пространстве, является примером полезного инвариантного наблюдения. Он представлял себе отсутствие гравитации и экспериментатора, свободно плавающего в лаборатории. — Если теперь некая сущность потянет лабораторию вверх, равномерно ускоряясь, экспериментатор воспримет результирующую силу как гравитацию. Однако сущность будет чувствовать работу, необходимую для непрерывного ускорения лаборатории. [x] Благодаря этому эксперименту Эйнштейн смог уравнять гравитационную и инертную массу; нечто необъяснимое законами Ньютона и ранний, но «мощный аргумент в пользу обобщенного постулата относительности». [151]
Черта, которая предполагает реальность, всегда есть некая инвариантность структуры, независимая от аспекта, проекции.
— Макс Борн , «Физическая реальность» (1953), 149 — цитируется Вайнертом (2004) [140]
Обсуждение инвариантности в физике часто ведется в более конкретном контексте симметрии . [150] Пример Эйнштейна выше, на языке Милля, был бы соглашением между двумя значениями. В контексте инвариантности это переменная, которая остается неизменной через некое преобразование или изменение перспективы. А обсуждение, сосредоточенное на симметрии, будет рассматривать две перспективы как системы, которые разделяют соответствующий аспект и, следовательно, симметричны.
Связанные здесь принципы — фальсифицируемость и проверяемость . Противоположностью чему-то, что трудно поддается изменению, являются теории, которые сопротивляются фальсификации — разочарование, которое красочно выразил Вольфганг Паули , как то, что они « даже не ошибочны ». Важность фальсифицируемости научных теорий находит особое внимание в философии Карла Поппера. Более широкий взгляд здесь — проверяемость, поскольку он включает первое и допускает дополнительные практические соображения. [152] [153]
Философия науки рассматривает логику, лежащую в основе научного метода, то, что отделяет науку от не-науки , и этику , которая подразумевается в науке. Существуют основные предположения, выведенные из философии по крайней мере одним выдающимся ученым, [D] [154], которые формируют основу научного метода, а именно, что реальность объективна и последовательна, что люди обладают способностью точно воспринимать реальность и что существуют рациональные объяснения для элементов реального мира. [154] Эти предположения из методологического натурализма формируют основу, на которой может быть основана наука. Логический позитивизм , эмпиризм , фальсификационизм и другие теории критиковали эти предположения и давали альтернативные описания логики науки, но каждая из них также сама подвергалась критике.
Существует несколько видов современных философских концептуализаций и попыток определения метода науки. [λ] Одна из них предпринята унификаторами , которые утверждают, что существует единое определение, которое полезно (или, по крайней мере, «работает» в каждом контексте науки). Плюралисты , утверждающие, что степени науки слишком раздроблены для того, чтобы универсальное определение ее метода было полезным. И те, кто утверждает, что сама попытка определения уже вредна для свободного потока идей.
Кроме того, существуют взгляды на социальную структуру, в которой осуществляется наука, и влияние социальной среды науки на исследования. Также существует «научный метод», популяризированный Дьюи в « Как мы думаем» (1910) и Карлом Пирсоном в «Грамматике науки» (1892), который используется в образовании довольно некритически.
Научный плюрализм — это позиция в философии науки , которая отвергает различные предлагаемые единства научного метода и предмета. Научные плюралисты считают, что наука не унифицирована одним или несколькими из следующих способов: метафизика ее предмета, эпистемология научного знания или методы и модели исследования , которые следует использовать. Некоторые плюралисты считают, что плюрализм необходим из-за природы науки. Другие говорят, что, поскольку научные дисциплины уже различаются на практике, нет никаких оснований полагать, что это различие неверно, пока конкретное объединение не будет эмпирически доказано. Наконец, некоторые считают, что плюрализм должен быть разрешен по нормативным причинам, даже если единство возможно в теории.
Унификационизм в науке был центральным принципом логического позитивизма . [156] [157] Различные логические позитивисты трактовали эту доктрину несколькими различными способами, например, как редукционистский тезис о том, что объекты, исследуемые специальными науками, сводятся к объектам общей, предположительно более базовой области науки, обычно считающейся физикой; как тезис о том, что все теории и результаты различных наук могут или должны быть выражены на общем языке или «универсальном сленге»; или как тезис о том, что все специальные науки разделяют общий научный метод. [y]
Развитие этой идеи затрудняется стремительным развитием технологий, открывшим множество новых способов смотреть на мир.
Тот факт, что стандарты научного успеха меняются со временем, не только затрудняет философию науки; он также создает проблемы для общественного понимания науки. У нас нет фиксированного научного метода, вокруг которого можно было бы сплотиться и который можно было бы защищать.
— Стивен Вайнберг , 1995 [155]
Пол Фейерабенд исследовал историю науки и пришел к отрицанию того, что наука на самом деле является методологическим процессом. В своей книге «Против метода» он утверждал, что ни одно описание научного метода не может быть достаточно широким, чтобы включить все подходы и методы, используемые учеными, и что не существует полезных и свободных от исключений методологических правил, регулирующих прогресс науки. По сути, он сказал, что для любого конкретного метода или нормы науки можно найти исторический эпизод, когда ее нарушение способствовало прогрессу науки. Он в шутку предположил, что если верующие в научный метод хотят выразить единое универсальное правило, это должно быть «все дозволено». [159] Однако, как утверждалось до него, это неэкономично; решатели проблем и исследователи должны быть благоразумны со своими ресурсами во время своего исследования. [E]
Более общий вывод против формализованного метода был найден в ходе исследования, включающего интервью с учеными относительно их концепции метода. Это исследование показало, что ученые часто сталкиваются с трудностями в определении того, подтверждают ли имеющиеся доказательства их гипотезы. Это показывает, что нет прямых сопоставлений между всеобъемлющими методологическими концепциями и точными стратегиями для направления проведения исследования. [161]
В научном образовании идея общего и универсального научного метода была особенно влиятельной, и многочисленные исследования (в США) показали, что эта формулировка метода часто является частью концепции науки как студентов, так и преподавателей. [162] [163] Эта конвенция традиционного образования была выдвинута против ученых, поскольку существует консенсус в отношении того, что последовательные элементы образования и единый взгляд на научный метод не отражают того, как на самом деле работают ученые. [164] [165] [166] Основные организации ученых, такие как Американская ассоциация содействия развитию науки (AAAS), считают науки частью традиций обучения в области свободных искусств, и надлежащее понимание науки включает понимание философии и истории, а не только науки в отдельности. [167]
То, как науки создают знания, преподавалось в контексте "научного метода" (единственное число) с начала 20-го века. Различные системы образования, включая, но не ограничиваясь США, преподавали метод науки как процесс или процедуру, структурированную как определенная серия шагов: [171] наблюдение, гипотеза, предсказание, эксперимент.
Эта версия метода науки давно стала общепринятым стандартом в начальном и среднем образовании, а также в биомедицинских науках. [173] Долгое время считалось, что это неточная идеализация того, как структурированы некоторые научные исследования. [168]
Преподаваемое изложение науки должно было защищать такие недостатки, как: [174]
Научный метод больше не фигурирует в стандартах образования США 2013 года ( NGSS ), которые заменили стандарты 1996 года ( NRC ). Они также повлияли на международное научное образование, [174] и стандарты, измеряемые для них, с тех пор сместились от метода единичной проверки гипотез к более широкой концепции научных методов. [176] Эти научные методы, которые укоренены в научных практиках, а не в эпистемологии, описываются как 3 измерения научных и инженерных практик, сквозные концепции (междисциплинарные идеи) и основные дисциплинарные идеи. [174]
Научный метод, как результат упрощенных и универсальных объяснений, часто считается достигшим своего рода мифологического статуса; как инструмент для общения или, в лучшем случае, идеализация. [31] [165] Подход к образованию во многом находился под влиянием работы Джона Дьюи « Как мы думаем» (1910) . [28] Ван дер Плуг (2016) указал, что взгляды Дьюи на образование долгое время использовались для продвижения идеи гражданского образования, удаленной от «здравого образования», утверждая, что ссылки на Дьюи в таких аргументах были ненадлежащими толкованиями (Дьюи). [177]
Социология знания — это концепция в дискуссии вокруг научного метода, утверждающая, что базовый метод науки — социологический. Кинг объясняет, что социология различает здесь систему идей, которые управляют науками посредством внутренней логики, и социальную систему, в которой возникают эти идеи. [μ] [i]
Возможно, доступным путем к тому, что утверждается, является мысль Флека , отраженная в концепции нормальной науки Куна . По мнению Флека, работа ученых основана на стиле мышления, который не может быть рационально реконструирован. Он прививается через опыт обучения, и затем наука развивается на основе традиции общих предположений, которых придерживаются те, кого он называл коллективами мысли . Флек также утверждает, что это явление в значительной степени невидимо для членов группы. [181]
Для сравнения, после полевых исследований в академической научной лаборатории Латура и Вулгара , Карин Кнорр Цетина провела сравнительное исследование двух научных областей (а именно физики высоких энергий и молекулярной биологии ), чтобы прийти к выводу, что эпистемические практики и рассуждения в обоих научных сообществах достаточно различны, чтобы ввести концепцию « эпистемических культур », что противоречит идее о том, что так называемый «научный метод» является уникальным и объединяющим понятием. [182] [z]
На основе идеи мыслительных коллективов Флека социологи построили концепцию ситуативного познания : точка зрения исследователя фундаментальным образом влияет на его работу, а также более радикальные взгляды.
Норвуд Рассел Хансон , наряду с Томасом Куном и Полом Фейерабендом , широко исследовал теоретическую природу наблюдения в науке. Хансон ввел эту концепцию в 1958 году, подчеркивая, что наблюдение находится под влиянием концептуальной структуры наблюдателя . Он использовал концепцию гештальта, чтобы показать, как предубеждения могут влиять как на наблюдение, так и на описание, и проиллюстрировал это такими примерами, как первоначальное отвержение телец Гольджи как артефакта техники окрашивания и различные интерпретации одного и того же восхода солнца Тихо Браге и Иоганном Кеплером. Интерсубъективность привела к разным выводам. [105] [d]
Кун и Фейерабенд признали новаторскую работу Хансона, [186] [187], хотя взгляды Фейерабенда на методологический плюрализм были более радикальными. Критика, подобная той, что была у Куна и Фейерабенда, побудила дискуссии, приведшие к разработке сильной программы , социологического подхода, который стремится объяснить научное знание, не прибегая к истинности или обоснованности научных теорий. Он исследует, как научные убеждения формируются социальными факторами, такими как власть, идеология и интересы.
Постмодернистская критика науки сама по себе стала предметом острых споров. Этот продолжающийся спор, известный как научные войны , является результатом конфликтующих ценностей и предположений между постмодернистской и реалистической точками зрения. Постмодернисты утверждают, что научное знание — это всего лишь дискурс, лишенный каких-либо претензий на фундаментальную истину. Напротив, реалисты в научном сообществе утверждают, что наука раскрывает реальные и фундаментальные истины о реальности. Ученые написали много книг, которые берутся за эту проблему и оспаривают утверждения постмодернистов, защищая науку как законный способ получения истины. [188]
.jpg/1280px-Sample_of_penicillin_mould_presented_by_Alexander_Fleming_to_Douglas_Macleod,_1935_(9672239344).jpg)
По оценкам , где-то от 33% до 50% всех научных открытий были случайно обнаружены , а не найдены. Это может объяснить, почему ученые так часто говорят, что им повезло. [190] Луи Пастеру приписывают известное высказывание, что «Удача сопутствует подготовленному уму», но некоторые психологи начали изучать, что значит быть «готовым к удаче» в научном контексте. Исследования показывают, что ученых обучают различным эвристикам, которые стремятся использовать случайность и неожиданности. [190] [191] Это то, что Нассим Николас Талеб называет «Антихрупкостью»; в то время как некоторые системы исследования хрупки перед лицом человеческих ошибок , человеческих предубеждений и случайности, научный метод более чем устойчив или прочен — он на самом деле выигрывает от такой случайности во многих отношениях (он антихрупок). Талеб считает, что чем более антихрупка система, тем больше она будет процветать в реальном мире. [192]
Психолог Кевин Данбар говорит, что процесс открытия часто начинается с того, что исследователи находят ошибки в своих экспериментах. Эти неожиданные результаты заставляют исследователей пытаться исправить то, что они считают ошибкой в своем методе. В конце концов, исследователь решает, что ошибка слишком постоянная и систематическая, чтобы быть совпадением. Таким образом, строго контролируемые, осторожные и любопытные аспекты научного метода делают его хорошо подходящим для выявления таких постоянных систематических ошибок. На этом этапе исследователь начинает думать о теоретических объяснениях ошибки, часто обращаясь за помощью к коллегам из разных областей знаний. [190] [191]
Когда научный метод использует статистику как ключевую часть своего арсенала, возникают математические и практические проблемы, которые могут оказать пагубное влияние на надежность вывода научных методов. Это описано в популярной научной статье 2005 года « Почему большинство опубликованных результатов исследований ложны » Джона Иоаннидиса , которая считается основополагающей для области метанауки . [125] Многие исследования в области метанауки направлены на выявление неправильного использования статистики и улучшение ее использования, примером чего является неправильное использование p-значений . [193]
Конкретные поднятые вопросы являются статистическими («Чем меньше исследований, проводимых в научной области, тем меньше вероятность того, что результаты исследования будут верными» и «Чем больше гибкости в планах, определениях, результатах и аналитических режимах в научной области, тем меньше вероятность того, что результаты исследования будут верными») и экономическими («Чем больше финансовых и других интересов и предубеждений в научной области, тем меньше вероятность того, что результаты исследования будут верными» и «Чем горячее научная область (с большим количеством вовлеченных научных групп), тем меньше вероятность того, что результаты исследования будут верными»). Следовательно: «Большинство результатов исследований являются ложными для большинства исследовательских планов и для большинства областей» и «Как было показано, большинство современных биомедицинских исследований проводятся в областях с очень низкой вероятностью верных результатов до и после исследования». Однако: «Тем не менее, большинство новых открытий будут продолжать вытекать из исследований, генерирующих гипотезы, с низкими или очень низкими шансами до начала исследования», что означает, что *новые* открытия будут исходить из исследований, которые, когда эти исследования начались, имели низкие или очень низкие шансы (низкий или очень низкий шанс) на успех. Следовательно, если научный метод используется для расширения границ знаний, исследования в областях, которые находятся за пределами основного течения, дадут новейшие открытия. [125] [ требуется редактирование копии ]
Наука, применяемая к сложным системам, может включать такие элементы, как трансдисциплинарность , теория систем , теория управления и научное моделирование .
В целом научный метод может быть трудно применять строго к разнообразным, взаимосвязанным системам и большим наборам данных. В частности, практики, используемые в Больших данных , такие как предиктивная аналитика , могут считаться противоречащими научному методу, [194], поскольку некоторые данные могли быть лишены параметров, которые могли бы быть существенными в альтернативных гипотезах для объяснения; таким образом, лишенные данные будут служить только для поддержки нулевой гипотезы в применении предиктивной аналитики. Флек (1979), стр. 38–50 отмечает, что «научное открытие остается неполным без рассмотрения социальных практик, которые его обусловливают». [195]
Наука — это процесс сбора, сравнения и оценки предлагаемых моделей на основе наблюдаемых данных .Модель может быть симуляцией, математической или химической формулой или набором предлагаемых шагов. Наука похожа на математику в том, что исследователи в обеих дисциплинах пытаются отличить то, что известно, от того, что неизвестно на каждом этапе открытия. Модели, как в науке, так и в математике, должны быть внутренне последовательными, а также должны быть фальсифицируемыми (способными к опровержению). В математике утверждение еще не обязательно должно быть доказано; на таком этапе это утверждение будет называться гипотезой . [ 196]
Математическая работа и научная работа могут вдохновлять друг друга. [37] Например, техническая концепция времени возникла в науке , а вневременность была отличительной чертой математической темы. Но сегодня гипотеза Пуанкаре была доказана с использованием времени как математической концепции, в которой объекты могут течь (см. Поток Риччи ). [197]
Тем не менее, связь между математикой и реальностью (и, следовательно, наукой в той степени, в которой она описывает реальность) остается неясной. Статья Юджина Вигнера « Необоснованная эффективность математики в естественных науках » является очень известным изложением проблемы от физика, лауреата Нобелевской премии. Фактически, некоторые наблюдатели (включая некоторых известных математиков, таких как Грегори Чайтин , и других, таких как Лакофф и Нуньес ) предположили, что математика является результатом предвзятости практиков и человеческих ограничений (включая культурные), что несколько напоминает постмодернистский взгляд на науку. [198]
Работы Джорджа Полиа по решению проблем [ 199], построению математических доказательств и эвристике [200] [201] показывают, что математический метод и научный метод различаются в деталях, хотя, тем не менее, похожи друг на друга в использовании итеративных или рекурсивных шагов.
По мнению Полиа, понимание включает в себя перефразирование незнакомых определений своими словами, обращение к геометрическим фигурам и постановку под сомнение того, что мы уже знаем и чего не знаем; анализ , который Полиа заимствует у Паппа , [202] включает в себя свободное и эвристическое построение правдоподобных аргументов, движение в обратном направлении от цели и разработку плана построения доказательства; синтез — это строгое евклидово изложение пошаговых деталей [203] доказательства; обзор включает в себя переосмысление и повторное изучение результата и пути, пройденного к нему.
Основываясь на работе Полиа, Имре Лакатос утверждал, что математики на самом деле используют противоречие, критику и пересмотр в качестве принципов для улучшения своей работы. [204] [ν] Подобно науке, где истина ищется, но определенность не находится, в «Доказательствах и опровержениях » Лакатос пытался установить, что ни одна теорема неформальной математики не является окончательной или совершенной. Это означает, что в неаксиоматической математике мы не должны думать, что теорема в конечном счете истинна, а только то, что контрпример еще не найден. Как только контрпример, т. е. сущность, противоречащая/не объясняемая теоремой, найдена, мы корректируем теорему, возможно, расширяя область ее применимости. Это непрерывный способ накопления наших знаний через логику и процесс доказательств и опровержений. (Однако, если аксиомы даны для раздела математики, это создает логическую систему — Витгенштейн 1921 Логико-философский трактат 5.13; Лакатос утверждал, что доказательства из такой системы были тавтологическими , т.е. внутренне логически истинными , путем переписывания форм , как показал Пуанкаре, который продемонстрировал технику преобразования тавтологически истинных форм (а именно, характеристику Эйлера ) в формы или из форм из гомологии , [205] или, более абстрактно, из гомологической алгебры . [206] [207] [ν]
Лакатос предложил описание математического знания, основанное на идее эвристики Полиа . В «Доказательствах и опровержениях » Лакатос дал несколько основных правил для поиска доказательств и контрпримеров к гипотезам. Он считал, что математические « мысленные эксперименты » являются допустимым способом обнаружения математических гипотез и доказательств. [209]
Когда Гаусса спросили, как он пришел к своим теоремам , он однажды ответил: «Durch planmässiges Tattonieren» (через систематические ощутимые эксперименты ). [210]
Тот факт, что стандарты научного успеха меняются со временем, не только затрудняет философию науки; он также создает проблемы для общественного понимания науки. У нас нет фиксированного научного метода, вокруг которого можно было бы сплотиться и который можно было бы защищать.
Если мы поставили себе эту задачу, то нет более рациональной процедуры, чем метод проб и ошибок — предположений и опровержений
Вероятно, лучше сначала сообщить плохие новости: так называемый научный метод — это миф. ... Если бы типичные формулировки были точными, единственным местом, где могла бы развиваться настоящая наука, были бы классы начальной школы.
Существует большое ядро людей, которые считают, что существует такая вещь, как научный метод, который может быть обоснован, хотя не все согласны с тем, что это может быть. Но также растет число людей, которые считают, что нет никакого метода, который можно было бы обосновать. Для некоторых вся эта идея - это вчерашний спор, продолжение которого можно суммировать как еще одну поговорку "порка мертвой лошади". Мы позволим себе не согласиться. ... Мы утверждаем, что Фейерабенд действительно поддерживал различные научные ценности, действительно принимал правила метода (при определенном понимании того, что это такое) и действительно пытался обосновать их, используя метаметодологию, несколько похожую на принцип рефлексивного равновесия .
Науку лучше всего понимать на примерах
... чтобы учиться, нужно желать учиться ...
Неизменно сталкивались с фундаментальными физическими ограничениями точности измерений. ... Искусство физических измерений, казалось, было вопросом компромисса, выбора между взаимно связанными неопределенностями. ... Однако, перемножая сопряженные пары упомянутых пределов неопределенности, я обнаружил, что они образуют инвариантные произведения не одного, а двух различных видов. ... Первая группа пределов могла быть вычислена априори из спецификации инструмента. Вторая группа могла быть вычислена только апостериори из спецификации того, что было сделано с инструментом. ... В первом случае каждая единица [информации] добавляла бы одно дополнительное измерение (концептуальную категорию), тогда как во втором каждая единица добавляла бы один дополнительный атомарный факт .
6 августа 1753 года в Санкт-Петербурге на электрическом стуле был казнен шведский ученый Георг Вильгельм Рихман...
Это целое семейство различных теорий, каждая из которых является хорошим описанием наблюдений только в некотором диапазоне физических ситуаций... Но так же, как не существует карты, которая была бы хорошим представлением всей поверхности Земли, не существует и единой теории, которая была бы хорошим представлением наблюдений во всех ситуациях.
Каковы бы ни были конечные цели некоторых ученых, наука, как она практикуется в настоящее время, зависит от множественных перекрывающихся описаний мира, каждое из которых имеет область применимости. В некоторых случаях эта область очень велика, но в других довольно мала.
Следовательно, универсальные утверждения , которые противоречат основным утверждениям, не являются строго опровержимыми . Подобно единичным утверждениям и вероятностным утверждениям, они эмпирически проверяемы, но их проверки не имеют определенных, определенных результатов, не приводят к строгой проверке или фальсификации, а только к временному принятию или отклонению.
В главе шесть Дьюи проанализировал то, что он назвал «полным актом мысли». Он писал, что любой такой акт состоит из следующих пяти «логически отдельных» шагов: «(i) ощущаемая трудность; (ii) ее местоположение и определение; (iii) предложение возможного решения; (iv) развитие путем рассуждения значений предложения; [и] (v) дальнейшее наблюдение и эксперимент, ведущие к его принятию или отклонению».
Незакрытая чашка Петри, стоявшая рядом с открытым окном, была загрязнена спорами плесени. Флеминг заметил, что бактерии в непосредственной близости от колоний плесени умирали, о чем свидетельствовало растворение и очищение окружающего агарового геля. Он смог выделить плесень и идентифицировать ее как представителя рода Penicillium.
