Высказывание (предложение) Контрфактическое - это...

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