Если доказывается не то, что требовалось доказать, то такая подмена тезиса называется ignoratio elenchi (elenchus означает опровержение какого-либо аргумента, а ignoratio elenchi означает незнание того силлогизма, которым можно опровергнуть противника). Например, если нужно доказать, что что-либо несправедливо в моральном смысле, а кто-нибудь стал бы доказывать, что это несправедливо в юридическом смысле, то он вместо одного доказывал бы совсем иное, хотя и сходное. Если доказывается что-либо отличное по роду от того, что нужно доказать; это будет ошибкой или «переходом в другой род». Например, когда кто-нибудь хочет доказывать невиновность обвиняемого тем, что другие совершили то же самое преступление, но избегли наказания.
Уклонение от тезиса может происходить ещё и в том смысле, что доказывается слишком, мало, так что тезис частью остаётся недоказанным, или доказывается слишком много, так что из данных оснований следует не только тезис, но и какое-нибудь ложное положение. Такое ошибочное доказательство называют: qui nimium probat, nihil probat («кто доказывает чересчур, тот ничего не доказывает»). Например, для доказательства положения, что сумма углов треугольника равняется двум прямым, недостаточно было бы доказывать, что эта сумма будет не больше 180° (здесь доказывается слишком мало). Если бы мы хотели доказать, что кто-нибудь добродетелен, и при этом стали бы доказывать, что о нём ничего не известно дурного, то этим доказывалось бы слишком мало. Если бы кто-нибудь стал доказывать недозволительность самоубийства на том основании, что человек не может у себя отнимать того, что он сам себе не дал, то доказывал бы слишком много, потому что из его доказательства выходило бы, что он не может резать ногти, волосы, что он не может продавать унаследованное или полученное в подарок и т.п. Поэтому он тезиса, собственно, не доказывает. Как легко видеть, такое ошибочное доказательство получается в том случае, когда приводятся положения, которые оказываются ложными при данной степени общности, но которые могли бы быть истинными при меньшей степени общности.
К этой же группе ошибок следует отнести ошибку, происходящую вследствие пользования приёмом, который называется argumentum ad hominem («аргумент к человеку», т.е. личный, а не объективный аргумент) и который употребляется в том случае, когда, вместо того чтобы доказывать ложность какого-либо мнения, подвергают рассмотрению личность того, кто высказал это мнение. Если, например, кто-нибудь желает доказать несостоятельность научной теории какого-либо писателя и вместо того, чтобы подвергать критическому разбору именно теорию автора, раскрывает принадлежность автора к несимпатичному для читателей политическому направлению, то он пользуется аргументом ad hominem. Это доказательство, логически самое слабое, фактически пользуется большим успехом.
По отношению к основаниям доказательства, или аргументам, могут быть следующие ошибки.
Основная ошибка, error fundamentalis, – ложное основное положение, на котором строится какое-либо доказательство и из которого могут делаться различные выводы. Например, основной ошибкой в астрономических рассуждениях до Коперника был аргумент, что Солнце и звёзды вращаются вокруг Земли.
Ошибка petitio principii («предрешение; предвосхищение основания») бывает тогда, когда для доказательства какого-либо положения мы кладём в основу доказательства такое положение, которое предполагает истинным доказываемое положение. Положим, кто-нибудь хочет доказать тезис:
«Все частички материи имеют один и тот же вес».
На вопрос, почему он так думает, он мог бы привести следующее основание доказательства:
«Если мы возьмём два тела с одинаковым объёмом, то окажется, что то тело, которое тяжелее, имеет большее число частичек, т.е. больший вес зависит от количества частичек».
На вопрос, откуда же известно, что больший вес тела с одинаковым объёмом зависит именно от количества частичек, он ответит:
«Если принять в соображение, что все частички материи имеют одинаковый вес, то сделается вполне очевидным, что чем тело тяжелее, тем большее число частичек в нём содержится при одинаковом объёме».
В этом примере тезис доказывается при помощи положения, которое само может быть доказано при допущении истинности тезиса. Таким образом, в ошибке petitio principii мы принимаем за истинное то положение, которое должно быть доказано.
Родственными с petitio principii являются ошибки: idem per idem («то же через то же») и circulus in demonstrando («круг в доказательстве»). Ошибка idem per idem – когда какое-либо положение доказывается посредством этого самого положения. Например, на вопрос, почему мы видим сквозь стекло, иногда отвечают: потому, что оно прозрачно; но очевидно, что назвать вещество прозрачным – значит, другими словами, сказать, что сквозь него можно видеть.