ГЁДЕЛЯ ТЕОРЕМА

- важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье «О формально неразрешимых предложениях Principia Mathematica и родственных систем» Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение

А, что ни само А, ни его отрицание не могут быть доказаны средствами Z На примере анализа формальной системы, сформулированной в фундаментальном трехтомном труде англ. математиков и логиков А. Уайтхеда и Б. Рассела «Principia Mathematica», Гёдель показал, что в достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т. е. предложения, которые недоказуемы и одновременно неопровержимы. Значение Г. т. состоит в том, что она показала неосуществимость программы формализации математики, выдвинутой немецким математиком Д. Гильбертом. Как показывает Г. т., даже арифметику натуральных чисел невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимыми. С философско-мето-дологической точки зрения значение Г. т. заключается в том, что она показывает невозможность полной формализации человеческого знания.

ГИПОСТАЗИРОВАНИЕ (от греч. hypostasis - сущность, субстанция)

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

Эту ошибку допускает, напр., тот, кто считает, что наряду со здоровыми и больными людьми в реальном мире есть еще такие отдельные «существа», как «здоровье» и «болезнь». Или даже что есть особые предметы, обозначаемые словами «ничто» и «несуществующий предмет».

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

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

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

Г. недопустимо в строгом рассуждении, где «удвоение мира» ведет к путанице между реальными предметами и вымышленными. Но оно успешно используется в художественной литературе, где правда и вымысел могут переплетаться.

ГИПОТЕЗА (от греч. hipothesis - основание, предположение)

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

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

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

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

Одним из критериев обоснованности Г. является ее согласие с фактическим материалом, на базе которого и для объяснения которого она выдвинута; Г. должна соответствовать также установившимся в науке законам, теориям и т. п. Это т. наз. условие непротиворечивости. Являясь принципиально важным, оно не означает, однако, что от Г. нужно требовать полного, пассивного приспособления к тому, что в момент ее выдвижения считается фактом. Факты — не только исходный момент конструирования Г., но и руководство к действию — к возможной корректировке как выдвигаемого предположения, так и самих фактов. В определенных условиях правомерна даже Г., противоречащая хорошо установленным фактам: вырывая факты из привычного теоретического контекста, она заставляет посмотреть на них с новой точки зрения и повышает вероятность обнаружить в них то, что ранее проходило незамеченным.

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

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

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

Четвертый, собственно логический способ обоснования Г. — выведение ее из некоторых более общих положений. Если выдвинутое предположение удается вывести из каких-то утвердившихся истин, это означает, что оно истинно. Данный прием находит, однако, только ограниченное применение. Самые интересные и важные Г. являются, как правило, весьма общими и не могут быть получены в качестве следствий уже установленных положений. К тому же Г. обычно выдвигаются относительно новых, не изученных в деталях явлений, не охватываемых еще универсальными принципами.

Пятый путь утверждения Г. — внутренняя перестройка теории, в рамках которой она выдвинута.

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

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

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

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

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

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