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