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

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

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

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