Валентин Асмус - Учение логики о доказательстве и опровержении

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

Опровержение такого доказательства сводится, очевидно, к опровержению основания, т. е. к доказательству его ложности. Как всякое опровержение, опровержение ложного основания может быть либо прямым, либо косвенным. Прямое опровержение состоит в отыскании и в указании фактов или положений, о которых известно, что они истинны, и которые противоположны опровергаемому основанию. Так, мнимые доказательства последователей теории Вирхова, основывающейся на утверждении, что «всё живое — только из клетки», оказались опровергнутыми, когда О. Б. Лепешинская доказала своими опытами, что существует живая материя, не имеющая клеточного строения.

Косвенное опровержение ложного основания состоит в доказательстве того, что существует следствие, необходимо вытекающее из этого основания и противоречащее какому-нибудь известному и заведомо истинному положению. Оказавшись — согласно закону противоречия — ложным, следствие это, как ложное следствие принятого основания, доказывает ложность самого основания.

Ошибка в основании, опровергаемая косвенным способом, имеет интересную особенность. Такое основание, очевидно, приводит к двум следствиям. Из него, во-первых, вытекает доказываемый тезис. Во-вторых, из него вытекает ещё некоторое следствие,противоречащее имеющемуся достоверному знанию. Другими словами, такое основание доказывает слишком много: не только доказываемый тезис, но и ещё некоторое положение, которое, однако, оказывается ложным.

Так как всякое основание, приводящее к такому результату, ложно, то отсюда получается следующее правило: «кто слишком много доказывает, тот ничего не доказывает» (qui nimium probat nil probat). Ошибка этого рода называется ошибкой «чрезмерного доказательства».

Пример ошибки чрезмерного доказательства представляет рассуждение, с которым выступил в ноябре 1948 г. в Организации Объединённых Наций бельгийский представитель. Он хотел доказать тезис о «неприемлемости» советских предложений о сокращении вооружений и вооружённых сил. Для доказательства этого тезиса он ссылался как на довод на тот факт, что при существующих международных отношениях не может быть общественного доверия к информации о выполнении предложенного Советским Союзом сокращения вооружённых сил и вооружений.

А. Я. Вышинский разъяснил в своей речи в ООН 11 ноября 1948 г., что это рассуждение бельгийского представителя доказывало «слишком много» и потому ничего не доказывало. Из довода об отсутствии — при существующих международных отношениях — общественного доверия к информации о ходе разоружения получался неизбежный вывод, что — при этих условиях — не может быть также доверия и к информации о современном состоянии вооружённых сил,— информации, которую предложил французский представитель и за которую ратовал представитель Бельгии. Другими словами, из аргумента бельгийского представителя вытекал не только тот тезис, который он взялся доказать, но, кроме того, вытекал и некоторый дополнительный тезис, который сам же бельгийский представитель считал абсурдным.

Обычно источником ошибки чрезмерного доказательства является стремление получить вывод непременно из общих посылок. Так как из истинности общего положения следует истинность подчинённого ему частного положения, то, приняв некоторое общее положение в качестве истинного, легко получить из него искомый вывод. Но если взятая в столь общем виде посылка ложна, то ложность её непременно должна быть обнаружена, как только будет установлено, что следствие, необходимо вытекающее из этой посылки, противоречит известным истинным фактам или истинным положениям.

Не следует думать, будто всякое основание, из которого, кроме доказываемого тезиса, необходимо вытекает ещё некоторое дополнительное следствие, непременно будет ложным. Ложным оно будет только в том случае, если дополнительно выведенное из него следствие стоит в противоречии с имеющимся знанием. Но если следствие, выведенное из основания и дополнительное по отношению к доказываемому тезису,— истинно, то доказательство, опирающееся на такое основание, будет правильным.