Д. Шадрин - Логика - конспект лекций

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

В зависимости от формы антитезиса можно выделить два вида непрямого доказательства – от противного и разделительное. Доказательство от противного(апагогическое) осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Разделительное доказательствопроизводится на основе отрицания антитезиса. При условии перечисления всех антитезисов и их последовательном отрицании (и отбрасывании) можно говорить об установлении истинности утверждаемого суждения.

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

Удостоверенные фактыпредставляют собой информацию, закрепленную в каких-либо документах, произведениях, базах данных и на различных носителях. Можно определить эту группу аргументов как фактические данные. К таким данным можно отнести сведения статистики, факты из жизни, свидетельства, документы и документальные хроники и т. д. Такие аргументы играют важную роль в процессе доказательства, так как тверды, неопровержимы, уже доказаны. Они могут нести информацию о прошлом, что также делает удостоверенные факты важными в познавательном плане.

Аксиомы.Многие из нас при слове «постулаты» вспоминают школу и уроки математики. И действительно, аксиомы широко используются в математических построениях, математическая логика часто опирается на них. Подтвержденные опытом, ранее доказанными фактами, неоднократным повторением доказывания, эти суждения не нуждаются в доказывании и принимаются в качестве аргументов.

Положения законов, теоремы,которые были доказаны в прошлом, принимаются в качестве аргументов доказательства, так как истинность их уже определена и принята. Эта группа аргументов напоминает о том, что все аргументы, положенные в основу доказательства, должны быть доказаны. Доказывание аргументов этой группы может производиться как непосредственно перед доказыванием аксиомы, так и задолго до этого. К этой группе можно отнести научно доказанные законы(например, природы) и теоремы.

Последняя группа аргументов – это определения.Они создаются в рамках всех наук относительно рассматриваемых предметов и раскрывают суть последних. В доказательстве можно опираться на определения, принятые и применяемые в какой-либо науке. Однако не следует забывать о том, что относительно многих определений ведутся дискуссии и доказательство на их основе может быть не принято оппонентом. Здесь же необходимо сказать о недопустимости использования ненаучных определений, так как основная мысль в них может быть искажена, а сами определения могут быть неполными или даже ложными.

При доказательстве тезиса можно использовать несколько видов аргументов – это приведет к большей убедительности.

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

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

Тезисом называют то суждение, которое необходимо опровергнуть. Он опровергается при помощи аргументов опровержения– суждений, при посредстве которых и происходит опровержение тезиса.

Опровержение бывает прямым и косвенным. При этом прямой способопровержения только один, в то время как косвенных два. Далее все способы рассмотрены по отдельности, начиная с первого способа опровержения – прямого.

Прямой способ– это опровержение фактами. С научной (и практически любой) точки зрения этот способ является наиболее удобным.