Д. Шадрин - Логика

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

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

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

Можно сказать, что при прямом доказательстве из аргументов (a, b, c…) обязательно следуют истинные суждения (k, m, l…), а из последних следует доказываемый тезис q.

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

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

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

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

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

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

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

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

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