Гуманитарный издательский центр Владос, Москва 1998 Александр Архипович Ивин и Александр Леонидович Никифоров Словарь по логике ГЕРМЕНЕВТИКА (от греч. hermeneuo — разъясняю, истолковываю) — искусство истолкования, перевода литературных текстов, основанное на грамматическом исследовании языка, изучении конкретных типов литературных произведений и связанных с ними исторических данных, помогающее раскрыть внутренний, глубинный смысл исторического текста. Г. возникла в древнегреческой философии и филологии как искусство понимания изречений жрецов, оракулов и т.п. Название восходит к имени бога Гермеса, который считался вестником богов и истолкователем их предначертаний. Протестантские теологи использовали Г. как искусство "истинной" интерпретации священных текстов. У гуманистов Возрождения Г. становится методом понимания и перевода памятников античной культуры на национальные языки. В XIX в. Г. провозглашается важнейшим методом исторического познания и гуманитарных наук в целом. В середине XX в. в работах известных европейских философов М. Хайдеггера, Э. Бетти и Г. Гадамера Г. из метода гуманитарных наук превращается в философское учение о бытии. В современной методологии научного познания Г. привлекает к себе все большее внимание как учение о понимании, о способах понимания текстов и достижения взаимопонимания между людьми. ГЁДЕЛЯ ТЕОРЕМА — важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье "О формально неразрешимых предложениях Principia Mathematica и родственных систем" Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение А, что ни само А, ни его отрицание не могут быть доказаны средствами Z На примере анализа формальной системы, сформулированной в фундаментальном трехтомном труде англ. математиков и логиков А. Уайтхеда и Б. Рассела "Principia Mathematica", Гёдель показал, что в достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т.е. предложения, которые недоказуемы и одновременно неопровержимы.   Значение Г. т. состоит в том, что она показала неосуществимость программы формализации математики, выдвинутой немецким математиком Д. Гильбертом. Как показывает Г. т., даже арифметику натуральных чисел невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимыми. С философско-мето-дологической точки зрения значение Г. т. заключается в том, что она показывает невозможность полной формализации человеческого знания. ГИПОСТАЗИРОВАНИЕ (от греч. hypostasis — сущность, субстанция) — логическая (семантическая) ошибка, заключающаяся в опредмечивании абстрактных сущностей, в приписывании им реального, предметного существования. Эту ошибку допускает, например, тот, кто считает, что наряду со здоровыми и больными людьми в реальном мире есть еще такие отдельные "существа", как "здоровье" и "болезнь". Или даже что есть особые предметы, обозначаемые словами "ничто" и "несуществующий предмет". Опасность Г. существует не только в обыденном рассуждении, но и в научных теориях. Г. допускает, например, юрист, когда говорит об идеальных нормах, правах и т.д. так, как если бы они существовали где-то наряду с лицами и их отношениями. Эту же ошибку совершает этик, считающий, что "справедливость", "равенство" и т.д. существуют в том же смысле, в каком существуют люди, связанные этими социальными отношениями. Идея, что общим именам соответствуют не только обозначаемые ими отдельные предметы или лица, но и какие-то "общие предметы", восходит к Платону. Активные споры об объектах общих имен велись в ср. века. Сторонники реализма считали, что общее существует до предметов (в уме бога), в предметах и, наконец, после предметов (в уме человека, фиксирующем их общность в каких-то чертах). Их противники номиналисты протестовали против опредмечивания абстрактных сущностей. С точки зрения номинализма реальны только единичные вещи, общее же существует только в уме человека, но не в самом мире. Возражение против Г. было связано также с требованием "не удваивать сущности", известным под названием "бритва Оккама". Если не только объекты, но и их общие свойства становятся самостоятельными предметами, это означает, что мир удваивается. Нельзя сомневаться в том, утверждали номиналисты, что существуют "круглые вещи", однако необходимо протестовать против существования в качестве особого объекта также "круглости". Признание существования такого объекта означало бы, что вещи, называемые "круглыми", дополняются новой вещью, именуемой "круглостью". Г. недопустимо в строгом рассуждении, где "удвоение мира" ведет к путанице между реальными предметами и вымышленными. Но оно успешно используется в художественной литературе, где правда и вымысел могут переплетаться. ГИПОТЕЗА (от греч. hipothesis — основание, предположение) — положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования объекта, причин его возникновения, его свойств и связей, его прошлого и будущего и т.д. Выдвигаемая на основе определенного знания об изучаемом круге явлений, Г. играет роль руководящего принципа, направляющего и корректирующего дальнейшие наблюдения и эксперименты. Г. представляет собой необходимое звено в развитии научного знания. Как предположительное, вероятное знание, еще не доказанное логически и не настолько подтвержденное опытом, чтобы считаться достоверным, Г. не истинна и не ложна. О ней можно сказать, что она неопределенна, лежит между истиной и ложью. Получив подтверждение, Г. превращается в истину и на этом прекращает свое существование. Опровергнутая Г. становится ложным положением и опять-таки перестает быть Г. Г. выдвигается в науке для решения некоторой конкретной проблемы: объяснения новых фактических данных, устранения противоречия теории с отрицательными результатами экспериментов и т.п. Процесс обоснования Г., в ходе которого она либо отвергается, либо превращается в достоверное положение (развернутая Г., касающаяся широкого круга явлений, становится научной теорией), в принципе не отличается от обоснования любого теоретического положения. Самым общим образом способы обоснования Г. можно разделить на теоретические и эмпирические, учитывая, однако, что различие между ними относительно, как относительно само различение теоретического и эмпирического знания. Теоретические способы охватывают исследование Г. на непротиворечивость, на эмпирическую проверяемость, на приложимость ко всему классу изучаемых явлений, на выводимость ее из более общих положений, на утверждение ее посредством перестройки той теории, в рамках которой она выдвинута. Эмпирические способы включают непосредственное наблюдение явлений, предполагаемых Г. (если оно возможно), и подтверждение в опыте следствий, вытекающих из неё. Одним из критериев обоснованности Г. является ее согласие с фактическим материалом, на базе которого и для объяснения которого она выдвинута; Г. должна соответствовать также установившимся в науке законам, теориям и т.п. Это т. наз. условие непротиворечивости. Являясь принципиально важным, оно не означает, однако, что от Г. нужно требовать полного, пассивного приспособления к тому, что в момент ее выдвижения считается фактом. Факты — не только исходный момент конструирования Г., но и руководство к действию — к возможной корректировке как выдвигаемого предположения, так и самих фактов. В определенных условиях правомерна даже Г., противоречащая хорошо установленным фактам: вырывая факты из привычного теоретического контекста, она заставляет посмотреть на них с новой точки зрения и повышает вероятность обнаружить в них то, что ранее проходило незамеченным. Все это относится и к согласованию Г. с утвердившимися в науке теоретическими положениями: соответствие им Г. разумно до тех пор, пока оно направлено на утверждение лучшей, более эффективной теории, а не просто на сохранение старой теории. Второе необходимое условие обоснованности Г. -ее проверяемость, означающая, что Г. должна в принципе допускать возможность опровержения и возможность подтверждения. Г., не отвечающая этому требованию, не указывает пути для дальнейшего исследования. Таково предположение о существовании сверхъестественных, ничем себя не обнаруживающих объектов или Г. о "жизненной силе", проявляющейся только в известных и объяснимых и без нее явлениях. Третьим способом теоретического обоснования Г. является проверка ее на принципиальную приложимость к широкому классу исследуемых объектов: она должна охватывать не только явления, для объяснения которых специально предложена, но и возможно более обширный круг родственных им явлений. Хорошим примером здесь может служить Г. квантов М. Планка: выдвинутая вначале для объяснения сравнительно частного явления (излучения абсолютно черного тела), она в короткое время распространилась на целый ряд областей и объяснила из одного основания чрезвычайно широкое поле физических явлений. Если Г., выдвинутая для одной области, ведет к новым результатам не только в исходной, но и в смежных областях, ее объективная значимость существенно возрастает. Тенденция к экспансии, к расширению сферы своей приложимости в большей или меньшей степени присуща всем плодотворным научным Г. Четвертый, собственно логический способ обоснования Г. — выведение ее из некоторых более общих положений. Если выдвинутое предположение удается вывести из каких-то утвердившихся истин, это означает, что оно истинно. Данный прием находит, однако, только ограниченное применение. Самые интересные и важные Г. являются, как правило, весьма общими и не могут быть получены в качестве следствий уже установленных положений. К тому же Г. обычно выдвигаются относительно новых, не изученных в деталях явлений, не охватываемых еще универсальными принципами. Пятый путь утверждения Г. — внутренняя перестройка теории, в рамках которой она выдвинута. Выдвижение Г. диктуется динамикой развития теории, стремлением охватить и объяснить новые факты, устранить внутреннюю несогласованность и противоречивость и т.д. Успех Г. является одновременно и подкреплением породившей ее теории. С другой стороны, сама теория способна сообщать выдвинутой на ее основе Г. определенные импульсы и силу и тем самым содействовать ее утверждению. Во многом поддержка, оказываемая Г. теорией, связана с внутренней перестройкой последней. Эта перестройка обычно заключается во введении номинальных определений вместо реальных, принятии новых соглашений относительно изучаемых объектов, уточнении основополагающих принципов теории, изменении иерархии этих принципов или сферы их действия и т.д. Вводимые таким образом новые принципы, образцы, нормы, правила и т.п. меняют внутреннюю структуру как самой теории, так и постулируемого ею "теоретического мира". Эмпирические способы обоснования Г. принято наз. верификацией, или подтверждением. Прямая верификация — это непосредственное наблюдение тех явлений, существование которых предполагается Г. Примером может служить доказательство Г. о существовании планеты Нептун: вскоре после выдвижения Г. эту планету удалось увидеть в телескоп.   Прямая верификация возможна лишь в том случае, когда речь идет о единичных объектах или ограниченных их совокупностях, что делает ее сферу чрезвычайно узкой. Наиболее важным и вместе с тем универсальным способом верификации является выведение следствий из Г. и их последующая опытная проверка. Однако этот способ верификации сам по себе не позволяет установить истинность Г., он только повышает ее вероятность. Превращение Г. в составной элемент теории, как правило, сложный и длительный процесс. Он не сводим к к.-л. одной процедуре, к отдельно взятому умозаключению. Г., ставшая частью теории, опирается уже не только на свои подтвердившиеся следствия, но и на всю теорию, на объяснение последней широкого круга явлений, предсказание новых, ранее неизвестных фактов, на связи между ранее казавшимися не связанными процессами и т.д. Г., превратившаяся в теорию или ее элемент, перестает быть проблематичным знанием. Но она не становится абсолютной истиной, не способной к дальнейшему развитию. При последующем росте и развитии знания она корректируется и уточняется. Однако основное ее содержание, подвергаясь ограничениям и уточнениям, сохраняет свое значение. ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — метод научного познания и рассуждения, основанный на выведении (дедукций) заключений из гипотез и других посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении значение истинности переносится на заключение, а посылками служат гипотезы, то и заключение Г.-д. рассуждения имеет лишь вероятностный характер. Соответственно типу посылок Г.-д. рассуждения разделяют на две основные группы. К первой, наиболее многочисленной группе относят рассуждения, посылками которых являются гипотезы и эмпирические обобщения, истинность которых еще нужно установить. Ко второй относятся Г.-д. выводы из таких посылок, которые заведомо ложны или ложность которых может быть установлена. Выдвигая некоторое предположение в качестве посылки, можно из него дедуцировать следствия, противоречащие хорошо известным фактам или истинным утверждениям. Таким путем в ходе дискуссии можно убедить оппонента в ложности его предположений. Примером является метод приведения к абсурду. В научном познании Г.-д.м. получил широкое распространение и развитие в XVII—XVIII вв., когда были достигнуты значительные успехи в области изучения механического движения земных и небесных тел.   Первые попытки применения Г.-д.м. были сделаны в механике, в частности в исследованиях Галилея. Теория механики, изложенная в "Математических началах натуральной философии" Ньютона, представляет собой Г.-д. систему, посылками которой служат основные законы движения. Успех Г.-д.м. в области механики и влияние идей Ньютона обусловили широкое распространение этого метода в области точного естествознания. С логической точки зрения Г.-д. система представляет собой иерархию гипотез, степень абстрактности и общности которых увеличивается по мере удаления от эмпирического базиса. На вершине располагаются гипотезы, имеющие наиболее общий характер и поэтому обладающие наибольшей логической силой. Из них как из посылок выводятся гипотезы более низкого уровня. На самом низшем уровне системы находятся гипотезы, которые можно сопоставить с эмпирическими данными. В современной науке многие теории строятся в виде Г.-д. системы. Такое построение научных теорий имеет большое методологическое значение в связи с тем, что не только дает возможность исследовать логические взаимосвязи между гипотезами разного уровня абстрактности, но и позволяет осуществлять эмпирическую проверку и подтверждение научных гипотез и теорий. Гипотезы самого низкого уровня проверяются путем сопоставления их с эмпирическими данными.   Если они подтверждаются этими данными, то это служит косвенным подтверждением и гипотез более высокого уровня, из которых логически выведены первые гипотезы. Наиболее общие принципы научных теорий нельзя непосредственно сопоставить с действительностью, с тем чтобы удостовериться в их истинности, ибо они, как правило, говорят об абстрактных или идеальных объектах, которые сами по себе не существуют в действительности.   Для того чтобы соотнести общие принципы с действительностью, нужно с помощью длинной цепи логических выводов получить из них следствия, говорящие уже не об идеальных, а о реальных объектах. Эти следствия можно проверить непосредственно. Поэтому ученые и стремятся придавать своим теориям структуру Г.-д. системы. Разновидностью Г.-д. м. считают метод математической гипотезы, который используется как важнейшее эвристическое средство для открытия закономерностей в естествознании. Обычно в качестве гипотез здесь выступают некоторые уравнения, представляющие модификацию ранее известных и проверенных соотношений. Изменяя эти соотношения, составляют новое уравнение, выражающее гипотезу, которая относится к неисследованным явлениям.   Так, М. Борн и В. Гейзенберг приняли за основу канонические уравнения классической механики, однако вместо чисел ввели в них матрицы, построив таким способом матричный вариант квантовой механики. В процессе научного исследования наиболее трудная — подлинно творческая — задача состоит в том, чтобы открыть и сформулировать те принципы и гипотезы, которые могут послужить основой всех последующих выводов. Г.-д. м. играет в этом процессе вспомогательную роль, поскольку с его помощью не выдвигаются новые гипотезы, а только выводятся и проверяются вытекающие из них следствия. ГИПОТЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ — утверждение, которое высказывается не как установленная истина, а как некое предположение, способное оказаться как истинным, так и ложным, например: "Возможно, что Наполеон был отравлен", "По-видимому, завтра будет хорошая погода". Важной разновидностью Г. у. является гипотеза. ГОМОМОРФИЗМ, ИЗОМОРФИЗМ — логико-математические понятия, выражающие уподобление (гомоморфизм) либо одинаковость (изоморфизм) строения систем. Две системы А и В называются изоморфными, если между их элементами, а также функциями, свойствами и отношениями, имеющими смысл для этих систем, существует или может быть установлено взаимно-однозначное соответствие. Для изоморфных систем A и В выполняются следующие условия:   1) каждому элементу о из A соответствует единственный элемент b из В, и наоборот; 2) каждой функции f, определенной на элементах А и принимающей значения в А, соответствует единственная функция g, определенная на элементах В, и наоборот; 3) каждому свойству Р, которым обладают к.-л. элементы системы А, соответствует взаимно-однозначное свойство элементов В, и наоборот.   Ослабление перечисленных условий, скажем, требование взаимно-однозначного соответствия только в одну сторону, приводит к более общему, но и более слабому отношению Г. Изоморфный образ полностью воспроизводит отображаемую систему, например, зеркальное отображение изоморфно отображаемому предмету, схема радиоприемника изоморфна самому приемнику. Гомоморфный образ лишь отчасти похож на свой оригинал, например, карта местности воспроизводит лишь некоторые черты этой местности, перевод языкового текста лишь отчасти похож на оригинал. Всякий И. есть Г., но не наоборот. Оглавление   www.pseudology.org