Энциклопедия эпистемологии и философии науки - гипотеза

Первая ступень —развитие предположения— состоит из нескольких этапов. 1-й этап — выдвижение предположения. Предположения выдвигаются на основе аналогии, неполной индукции, методов Бэкона—Милля и т.д. Выдвинутое таким образом предположение чаще всего еще не Г.; это, скорее, догадка, поскольку оно как правило не является хотя бы частично обоснованным. 2-й этап — объяснение с помощью выдвинутого предположения всех имеющихся фактов, относящихся к предметной области Г. (фактов, которые Г. призвана объяснить, предсказать и т. д.), — тех фактов, которые были известны до выдвижения предположения, но еще не принимались в учет, а также тех фактов, которые были открыты после выдвижения предположения.

Кроме прохождения этих двух этапов в своем развитии, предположение, чтобы быть Г., должно удовлетворять следующим требованиям. 1. Предположение не должно быть логически противоречивым (не должно быть самопротиворечивым) и не должно противоречить фундаментальным положениям науки. Последнее положение этого требования не является абсолютным. В некоторых случаях полезно подвергнуть сомнению сами эти положения. Если же фундаментальные положения науки, которым противоречит выдвигаемое предположение, не поддаются опровержению, под сомнение берется предположение. 2. Предположение должно быть принципиально проверяемым. Различают два рода проверяемости — практическую и принципиальную. Предположение является практически проверяемым, если оно может быть проверено в данное время или в относительно недалекий период времени. Предположение является принципиально проверяемым, если оно может быть проверено если и не в ближайшее время, то когда-нибудь. В качестве Г. не признаются догадки, которые, в принципе, нельзя проверить (обосновать или опровергнуть). 3. Предположение не должно противоречить ранее установленным фактам, для объяснения которых оно не предназначено (не относящимся к предметной области Г). 4) Предположение должно быть приложимо к возможно более широкому кругу явлений. Это требование позволяет из двух или более Г ., объясняющих один и тот же круг явлений, выбрать наиболее простую. Оно называется принципом простоты. Этот принцип сформулировал английский философ Уильям Оккам, поэтому данное требование (в разных формулировках) называется «бритвой Оккама».

Под простотой здесь имеется в виду отсутствие фактов, которые Г. должна объяснять, но не объясняет. В таких случаях приходится делать оговорки, что предположение объясняет все факты, кроме таких-то и таких-то, и для объяснения последних фактов выдвигать вспомогательные Г. (ad hoc, т.е. для данного случая). 4-е требование тоже не имеет абсолютного характера. Оно является лишь эвристическим. После выдвижения предположения (1-й этап), объяснения на его основе всех имеющихся фактов, относящихся к предметной области Г. (2-й этап), а также после проверки выполнения всех перечисленных требований (если они выполнены), предположение обычно считают обоснованным (не полностью), т.е. Г. — это не достоверное, а лишь вероятное знание.

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

Ю.В. Мелев

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

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

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

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

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

И.П. Меркулов

Лит.: Баженов Л.Б. Основные вопросы теории гипотезы. М., 1961; Он же. Строение и функции естественно-научной теории. М., 1978; Ивлев Ю.В. Логика. 3-е изд. М., 2004; Меркулов И.П. Метод гипотез в истории научного познания. М., 1984; Рузавин ПИ. Методы научного исследования. М., 1974; Тимирязев К.А. Научная гипотеза // Собр. соч. М., 1939. Т. 8.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация»

И.Т. Касавин

2009