Структуру доказательства составляют тезис, аргументы и демонстрация. Тезис – это положение, требующее доказательства. Аргументы – это истинные суждения, используемые в процессе доказательства. Демонстрация – это способ логической связи между тезисом и аргументами.
Существуют правила доказательного рассуждения. Нарушение этих правил ведет к ошибкам, относящимся к доказываемому тезису, аргументам или к самой форме доказательства.
Доказательство бывает прямым и непрямым. Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т. е. истинность доказательства непосредственно обосновывается аргументами.
Можно сказать, что при прямом доказательстве из аргументов (a, b, c…) обязательно следуют истинные суждения (k, m, l…), а из последних следует доказываемый тезис q. По этому типу проводятся доказательства в судебной практике, в науке, в полемике. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях.
При непрямом доказательстве истинность выдвинутого суждения обосновывается путем доказательства ложности исключающего его суждения. Применение такого доказательства обосновано, когда нет аргументов для прямого доказательства.
В зависимости от формы антитезиса можно выделить два вида непрямого доказательства – от противного и разделительное. Доказательство от противного (апагогическое) осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Разделительное доказательство производится на основе отрицания антитезиса. При условии перечисления всех антитезисов и их последовательном отрицании (и отбрасывании) можно говорить об установлении истинности утверждаемого суждения.
2. Аргументация
Как уже было сказано, любое доказательство нуждается в аргументах. На них доказывающий опирается, они несут в себе информацию, позволяющую с достоверностью говорить о том или ином предмете. В логике выделяется несколько аргументов. К ним относятся удостоверенные единичные факты, аксиомы и постулаты, ранее доказанные положения и определения.
Удостоверенные факты представляют собой информацию, закрепленную в каких-либо документах, произведениях, базах данных и на различных носителях. Можно определить эту группу аргументов как фактические данные. К таким данным можно отнести сведения статистики, факты из жизни, свидетельства, документы и документальные хроники и т. д. Такие аргументы играют важную роль в процессе доказательства, так как тверды, неопровержимы, уже доказаны. Они могут нести информацию о прошлом, что также делает удостоверенные факты важными в познавательном плане.
Аксиомы. Многие из нас при слове «постулаты» вспоминают школу и уроки математики. И действительно, аксиомы широко используются в математических построениях, математическая логика часто опирается на них. Подтвержденные опытом, ранее доказанными фактами, неоднократным повторением доказывания, эти суждения не нуждаются в доказывании и принимаются в качестве аргументов.
Положения законов, теоремы, которые были доказаны в прошлом, принимаются в качестве аргументов доказательства, так как истинность их уже определена и принята. Эта группа аргументов напоминает о том, что все аргументы, положенные в основу доказательства, должны быть доказаны. Доказывание аргументов этой группы может производиться как непосредственно перед доказыванием аксиомы, так и задолго до этого. К этой группе можно отнести научно доказанные законы (например, природы) и теоремы.
Последняя группа аргументов – это определения. Они создаются в рамках всех наук относительно рассматриваемых предметов и раскрывают суть последних. В доказательстве можно опираться на определения, принятые и применяемые в какой-либо науке. Однако не следует забывать о том, что относительно многих определений ведутся дискуссии и доказательство на их основе может быть не принято оппонентом. Здесь же необходимо сказать о недопустимости использования ненаучных определений, так как основная мысль в них может быть искажена, а сами определения могут быть неполными или даже ложными.
При доказательстве тезиса можно использовать несколько видов аргументов – это приведет к большей убедительности.
Не стоит забывать также и о том, что главным фактором в доказательстве теории является все же практическое применение. Если на практике теория была подтверждена, другого доказательства или обоснования она не требует.
ЛЕКЦИЯ № 22. Опровержение
1. Понятие опровержения
Опровержением принято считать логическую операцию, при которой показывается (утверждается) ложность или необоснованность рассматриваемого тезиса.
Тезисом называют то суждение, которое необходимо опровергнуть. Он опровергается при помощи аргументов опровержения – суждений, при посредстве которых и происходит опровержение тезиса.
Опровержение бывает прямым и косвенным. При этом прямой способ опровержения только один, в то время как косвенных два. Далее все способы рассмотрены по отдельности, начиная с первого способа опровержения – прямого.
Прямой способ – это опровержение фактами. С научной (и практически любой) точки зрения этот способ является наиболее удобным.
Опровержение фактами при правильном подходе полностью показывает несостоятельность выдвинутого тезиса. Это возможно только при правильном подборе фактов, умелом их использовании, зависит от способностей человека в области ведения диалога, а также его знаний в данной области.
Фактами, применяемыми для опровержения тезиса, могут быть статистические данные, аксиомы, доказанные положения и т. д. Как видно, в силу установленной истинности указанных фактов и их противоречия рассматриваемому тезису такое опровержение имеет верный, очевидный характер.
Ошибки, которые можно легко опровергнуть при помощи фактов, часто встречаются в голливудских полуисторических кинофильмах, где для достижения необходимого эффекта путается хронологическая последовательность событий. При таких ошибках достаточно лишь привести данные о реальном времени каждого рассматриваемого события.
Следующие два вида опровержения являются непрямыми. Один из них – это опровержение через ложность следствий. Для этого прослеживаются следствия тезиса. Во время опровержения через ложность следствий тезис принимается к обсуждению. Это делается, во-первых, для того чтобы оппонент временно почувствовал свое превосходство (победу в данном эпизоде), во-вторых, для того чтобы выявить ложность тезиса. Во время обсуждения рассматриваются следствия тезиса, которые не соответствуют реальному положению вещей. Это делает очевидным несостоятельность самого тезиса.
Такой прием часто называют сведением к абсурду. Следует помнить, что противоречие следствий тезиса истине должно быть не только достаточно явным, очевидным, но и реальным.
Другой вид непрямого опровержения можно назвать опровержением через антитезис. Очевидно, что опровержение здесь происходит на основании доказательства от обратного, т. е. антитезиса. При данном виде опровержения находится понятие, суждение, противоречащее выдвинутому ранее утверждению. Для того чтобы доказать ложность тезиса, доказывается истинность его антитезиса, т. е. вновь выдвинутого суждения, которое противоречит рассматриваемому. Эффективность данного способа опровержения основывается на законе исключенного третьего (рассмотрен в соответствующей главе). Другими словами, после доказательства истинности суждения, противоречащего рассматриваемому (тезису), по закону исключенного третьего последнее неизбежно признается ложным.
Каждое из двух противоречащих суждений может быть либо истинным, либо ложным, третьего не дано. Следует помнить, что истинность антитезиса должна быть доказана полностью. Для примера такого опровержения возьмем общеутвердительное суждение
