Прямое и косвенное доказательства.

По способу доказывания, по типу связи аргументов и тезиса доказательства подразделяются на прямые и косвенные. Прямые доказательства — те, в которых тезис обосновыва­ется аргументами непосредственно, прямо, т.е. используемые аргументы выполняют, например, роль посылок простого кате­горического силлогизма, где вывод из них выступает тезисом нашего доказательства. Иногда прямые доказательства называют еще и прогрессивными. Так, для доказательства тезиса "Мой друг сдает экзамен по логике" мы приводим сле­дующие аргументы:

Мой друг - студент философского факультета и

Все студенты философского факультета сдают экзамен по логике.

Эти аргументы позволяют нам по модусу ВаrЬarа первой фигуры категорического силлогизма сразу получить вывод, совпадающий с нашим тезисом. Это — прямое, прогрессивное доказательство, состоящее из одного умозаключения, хотя доказательство и не обязательно сводимо к одному, доказательство может состоять и из нескольких умозаключений.

Другое дело — косвенное доказательство, аналитическое, или регрессивное. В нем истинность тезиса обосновывается опосредованно, путем обоснования ложности антитезиса, т.е. положения (суждения), противоречащего тезису; либо путем исключения всех членов разделительного суждения по разделительно-категорическому силлогизму, кроме нашего тезиса, являющегося одним из членов этого разделительного суждения. В том и в другом случае необходимо опираться на требования логики к этим формам мысли, на законы и правила логики, строго соблюдать их. Так, при формулировке антитезиса надо следить за тем, чтобы он был действительно противоречащим тезису, а не противоположным ему, потому что противоречие не допускает одновременной ни истинности, ни ложности этих суждений (положений), а противоположность -допускает их одновременную ложность. При противоречии, обоснованная истинность антитезиса, выступает основанием ложности тезиса, а обоснованная ложность антите­зиса, наоборот, косвенно обосновывает истинность тезиса. Обоснование же ложности противоположного тезису положения, не гарантирует, не обосновывает истинность самого тезиса, так как противоположные суждения могут быть и одновременно ложными. Косвенными доказательствами обычно пользуются тогда, когда нет аргументов для прямого доказательства, когда невозможно по разным причинам обосновать тезис прямо.

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

Ошибка в доказательстве.

Наиболее типичными ошибками, связанными с нарушением правил тезиса, являются ошибки под названием "подмена тезиса", "слишком широкое доказательство", "слишком узкое доказательство", "довод к публике", "довод к человеку" и т. п. Пример "довода к человеку". Студент приходит на экзамен (пусть это будет экзамен по логике) для доказательства, что он знает данный учебный предмет, т.е. его тезис формулируется примерно так: я знаю логику. Однако, часто вместо ответа на заданный контрольный вопрос по логике студент жалуется профессору, что у него проблемы с жильем, что его бытовые условия тяжелы, что стипендии не хватает, приходится подрабатывать, недосыпать, пропускать лекции, учебную литературу обстоятельно читать некогда и пр. О настоящем же тезисе экзаменационной ситуации, каковым должно быть знание логики, речь уже не идет. Тезис подменен. Приемов таких софистических уловок много, ими пользуются как сознательно, так и бессознательно. Все они не носят чисто логического характера.

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