Требования к аргументам доказательства

1. Аргументы должны быть истинными утверждениями, причем их истинность должна быть доказана

Аргументы выступают в качестве посылок (оснований), из которых логически следует тезис. Ясно, что только тогда мы можем быть уверены в истинности тезиса, когда все посылки доказательства истинны.

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

2. Истинность аргументов должна устанавливаться автономно, т.е. независимо от доказываемого тезиса

Нарушение правил ведет к ошибке – «круг в доказательстве»: при обосновании аргументов используется тезис. Ясно, что доказательство в этом случае не выполняет своих функций, так как в обосновании истинности тезиса косвенно используется сам этот тезис.

Например, если вы обосновываете тезис: «И.Сталин был психически ненормальным человеком» и начинаете доказывать: «Сталин, несомненно, был великим деспотом; все деспоты были психически ненормальными, следовательно . . .», – вы совершаете ошибку «круг в доказательстве». Действительно, ваш аргумент «все деспоты были психически ненормальными» не является очевидным и сам нуждается в доказательстве.

3. Совокупность аргументов должна быть непротиворечивой

Требование очевидно: если ваши аргументы противоречат друг другу, то по крайней мере один из них ложен, но ложные аргументы ничего не доказывают.

4. Совокупность аргументов должна быть достаточной для вывода тезиса

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

Требования к демонстрации

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

Нарушение этих правил порождает ошибку «мнимого следования». Она состоит в отсутствии логической связи между аргументами и тезисом.

Наиболее распространенными разновидностями «мнимого следования» являются:

1. Логический переход от узкой области к более широкой.

В аргументах утверждаются свойства одного вида явлений, а в тезисе делается вывод о свойствах всего рода явлений, хотя некоторые признаки вида не являются родовыми.

2. Переход от сказанного условно, в относительном смысле к сказанному безусловно, в абсолютном смысле.

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

Несоответствие между аргументами и тезисом в случаях «мнимого следования» обычно проявляется в том, что логически слабыми аргументами (условными, относительными, проблематичными) пытаются обосновать логически более сильный тезис (безусловный, достоверный).

«Мнимое следование» проявляется и тогда, когда для обоснования тезиса приводят аргументы, логически не связанные с тезисом.