Словарь логики

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