ГЕРМЕНЕВТИКА (от греч. hermeneuo – разъясняю, истолковываю)

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

Протестантские теологи использовали Г. как искусство «истинной» интерпретации священных текстов. У гуманистов Возрождения Г. становится методом понимания и перевода памятников античной культуры на национальные языки. В XIX в. Г. провозглашается важнейшим методом исторического познания и гуманитарных наук в целом. В середине XX в. в работах известных европейских философов М. Хайдеггера, Э. Бетти и Г. Гадамера Г. из метода гуманитарных наук превращается в философское учение о бытии.

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

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

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