ВЫСКАЗЫВАНИЕ (ПРЕДЛОЖЕНИЕ) КОНТРФАКТИЧЕСКОЕ (от лат. Contra - против, factum - событие)

— сложное высказывание, в котором с помощью союза «если бы..., то бы...» объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно-сослагательного наклонения. Примером такого высказывания может быть: «Если бы А. П. Чехов дожил до 1917 г., то он был бы свидетелем Октябрьской революции» (1). Структуру таких высказываний в логике часто выражают в виде формулы: «А->В» («Если бы имело место А, то имело бы место и В»).

Основная проблема в логике по отношению к В. к. состоит в том, чтобы сформулировать для них в общей форме критерий истинности. Для достижения этой цели иногда предлагалось отождествить В. к. с импликацией материальной (А->В), которая, в частности, является истинной, когда антецедент А ложен, а консеквент В может быть как истинным, так и ложным (см.: Условное высказывание). Но это означало бы, что истинным является не только высказывание (1), но и такое: «Если бы А. П. Чехов дожил до 1917 г., то он не был бы свидетелем Октябрьской революции» (2). Однако это не соответствует нашей интуиции, согласно которой высказывание (2) вряд ли может оцениваться как истинное.

Для выработки общего критерия истинности В. к. обсуждался и такой критерий. Предлагалось A и В считать дескриптивными предложениями и стремиться вывести В из A, а также из некоторой относящейся к существу дела информации (дополнительные условия), используя при этом некоторые общие предложения закономерного характера. Но в таком случае нужно иметь достаточно строгий критерий выделения общих законов из числа общих предложений вообще, среди которых могут встретиться и случайные обобщения. Такой общий строгий формальный критерий в логике не выработан. Сказанное не исключает, однако, таких конкретных случаев, когда нам удается из предложения A, дополнительных условий и законов вывести предложение В и тем самым обосновать истинность предложения «А->В», при этом А и В истолковываются как дескриптивные предложения. Допустим, дано предложение: «Если бы вода в колбе была нагрета до 100 °С, то она закипела бы». Из антецедента этого предложения («Вода в колбе нагретадо 100 °С»), некоторых дополнительных условий (напр., вода лишена примесей, находится при нормальном давлении и т. п.), а также из общего закона: «Всякая вода при 100 °С кипит» можно по законам логики вывести и консеквент («Вода в колбе кипит»).

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

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

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

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

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

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

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