Общая характеристика доказательства и его структура. Виды доказательств.

Мы часто употребляли понятие "истинное суждение". Что по­зволяет определить истинность или ложность  суждения? Ответ на этот вопрос можно получить двумя способами: сравнить содержа­ние суждения с действительностью или доказать его при помощи других суждений, истинность которых уже установлена. Так, достаточно показать, что утверждение А является необходимым следст­вием из истинных суждений В и С, чтобы истинность А считать установленной.

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

Главное отличие доказательства от силлогизма - в том, что в силлогизме усматривается необходимая связь между понятиями, а в доказательстве наряду с этим устанавливается еще и истин­ность суждений, из которых следует вывод.

Доказательство широко используется в науке, когда приходится утверждать что-либо об объектах, их свойствах и отношениях, позна­ние которых исключает эмпирические процедуры. Например, амери­канский астроном Ловелл рассчитал орбиту неизвестной планеты, которая была обнаружена через 14 лет и названа Плутоном.

Во всяком доказательстве всегда имеются тезис, аргументы, демонстрация.

1.    Тезис - это суждение, истинность которого следует доказать. Он является главным элементом доказательства и отвечает на вопрос: что доказывается?

2.    Аргументы - это истинные суждения, которые используются для доказательства тезиса. Поскольку аргументы являются истинными суждениями, определяющими истинность тезиса, их называют иногда доводами, или основаниями доказательства. Аргументы выполняют роль фундамента доказательства и отвечают на вопрос: чем доказывается тезис?

Различают несколько видов аргументов:

1). Суждения о достоверных фактах. Суждение о факте - это знание о событии или явлении, выявленное с помощью непосредственного восприятия или опытно-экспериментального изучения предмета науки. Так, для физики фактами являются ре­зультаты непосредственных наблюдений над физическими явле­ниями - показания приборов о температуре, давлении и др., для историка - конкретные события в обществе, поступки отдельных личностей или групп и т.п. Суждения о достоверенных фактах выступают в качестве оснований в доказательстве потому, что их истинность установлена и проверена практикой.

2). Определения. Всякое определение предполагает выражение неизвестного понятия через понятия известные, поэ­тому должно быть истинным суждением и может выступать в качестве аргумента доказательства.

3). Аксиомы. Аксиомой называется положение, не доказы­ваемое в науке, но принимаемое за истинное при обосновании других положений. Истинность аксиом подтверждена многовеко­вой практикой. Аксиоматический характер имеют некоторые поло­жения математики, механики, физики, логики и других наук. На­пример, аксиома силлогизма принимается в логике без доказа­тельств в силу ее очевидности.

Если доказательство строится на основе аксиом, то к ним предъявляются определенные логические требования. Выбранная система аксиом должна быть непротиворечивой. Это означает, что. опираясь на нее, нельзя доказать какое-либо суждение и отрицание этого суждения. Система аксиом должна быть полной, другими словами, из нее могут быть выведены все истинные поло­жения данной науки. Аксиомы должны быть независимыми, т.е. ни одна из аксиом не может быть выведена из других аксиом той же науки.

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

3. Демонстрацией называется логическая связь между аргументами и тезисом. Демонстрация, как правило, имеет форму силлогизма или цепочки последовательно связанных силлогизмов (полисиллогизмов). Значительно реже встречаются доказательст­ва, где демонстрация выступает в форме индуктивного умозаклю­чения и аналогии. Продемонстрировать - значит показать, что тезис (заключение) необходимо следует из принятых аргументов (посылок) по правилам соответствующих умозаключений. Особен­ность умозаключений, в форме которых протекает демонстрация, состоит в том, что тезис как заключение формулируется заранее, а аргументы, которые служат посылками вывода, подлежат восста­новлению.

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

Прямым называется доказательство, при котором тезис необходимо следует из найденных аргументов. Например, доказа­тельство, что 1992 год был годом високосным, основано на последовательности таких доводов: 1) високосным называется год, в числовом выражении которого десятки с единицами делятся на 4; 2) 92 делится на 4, следовательно, 1992 год является високосным годом. Вывод был сделан на обосновании определения и одного истинного суждения, принятых в качестве аргументов доказатель­ства.

Косвенным называется доказательство, при котором истинность тезиса следует из устанавливаемой ложности сужде­ния (суждений), находящегося в определенной связи с тезисом.

Наиболее распространенными видами косвенного доказатель­ства являются апагогическое и разделительное доказательства

При апагогическом доказательстве устанавливается истинность тезиса посредством установления ложности противоречащего ему положения, т.е. антитезиса В математических науках апаго­гическое доказательство называется "доказательством от противно­го". Название это - неточное, так как истинность доказываемого тезиса выводится из ложности не противного, а противоречащего ему суждения.

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

Логическая схема апагогического доказательства соответству­ет отрицающему модусу условно-категорического силлогизма;

Если не А, то В.

Не В.

Следовательно, не А.

Не "не А" равнозначно А, следовательно, А доказано.

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

При разделительном доказательстве устанавливается ложность всех членов разделительного сужде­ния, кроме одного, являющегося доказываемым тезисом. Если, например, установлено, что имело место преступление, которое могли совершить только лица А, В, С, и, если, кроме того, установ­лено, что ни В, ни С не совершили его, тем самым доказано, что преступление совершило лицо А. Разделительное доказательство строится по отрицающе-утверждающему модусу разделительно-категорического силлогизма и является правильным при соблюде­нии правил этого модуса:

А или В или С.

Не В и не С.

Следовательно. А.

Опровержение

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

Суждение, которое нужно опровергнуть, называется тези­сом. Суждения, с помощью которых опровергается тезис, назы­ваются аргументами (основаниями). Логическая форма построения опровержения называется демонстрацией.

Существуют три способа опровержения:

1. опровержение тезиса (прямое и косвенное);
2. опровержение аргументов;
3. опровержение демонстрации.

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

При косвенном опровержении тезиса доказывается истинность антитезиса. По закону противоречия истинность послед­него означает ложность тезиса. Например, суждение: "Все млекопи­тающие живут на суше" опровергается доказательством истинности антитезиса "Некоторые млекопитающие не живу! на суше".

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

Если А, то В.

 Не А.

Вероятно, не В.

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

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