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