<<
>>

Виды доказательств

Наиболее общее определение доказательства дается материалистической гносеологией: доказательство – это свидетельство истинности или ложности доказываемого знания. Конечное, или окончательное доказательство достигается практикой, т.е.

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

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

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

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

Доказательство в логике – процедура установления истинности или ложности высказывания путем сведения доказываемых суждений к доказывающим, истинность или ложность которых известна до доказательства. Для доказательства ищут основания, из которых доказываемое может быть выведено, либо из имеющегося основания выводят следствия в надежде получить одно из них, совпадающее с доказываемым. Доказывающее основание должно быть убедительным очевидностью или интуитивной ясностью своего содержания, а формы доказывающих переходов (выводов) должны подчиняться принятым правилам. В состав доказательства входят: тезис (доказываемое суждение), аргументы (основания, посылки – истинные доказывающие суждения) и формы (способ соединения аргументов с тезисом, обычно в виде цепи определений и силлогизмов). Например, тезис – «Ртуть при нагреве расширяется»; аргументы: «Ртуть – металл» и «Все металлы при нагревании расширяются»; форма: Если все металлы при нагревании расширяются и ртуть – металл, то ртуть при нагревании расширяется (I фигура категорического силлогизма: MP/SM/SP). Приведенный пример иллюстрирует дедуктивное доказательство (от общего к частному), наряду с которым существует и индуктивное доказательство (от частного к общему или от части к части).

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

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

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

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

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

Другой способ установления ложности антитезиса состоит в выведении из него взаимопротиворечивых следствий. К примеру, для доказательства тезиса «Квадрат – это ромб с прямыми углами» вводится антитезис «Квадрат – это не ромб с прямыми углами». Из антитезиса выводятся следствия: «Квадрат – это ромб», т.к. все стороны квадрата равны, и «Квадрат – это не ромб», т.к. по определению отличная от ромба фигура, четырехугольник с прямыми углами и равными сторонами. Взаимная противоречивость следствий – утверждение и отрицание одного и того же – указывает на ложность антитезиса. В подобных случаях доведения до абсурда раскрывается самопротиворечивость антитезиса (противоречие в определении).

Разновидностью косвенного доказательства служит доказательство Клавия по принципу: если из отрицания высказывания следует это высказывание, то высказывание истинно. Например, из отрицательного высказывания «Ни одно суждение не является отрицательным», следует, в соответствии с его духом утвердительности, высказывание «Некоторые суждения являются отрицательными». Если последнее высказывание истинно и допускает существование отрицательных суждений, то исходное отрицательное высказывание ложно.

Помимо доказательства в научном познании важную роль играет опровержение. Как и доказательство, опровержение включает тезис, аргументы и форму (демонстрацию). Тезис опровержения – это положение, которое требуется опровергнуть. Аргументы – это положения, с помощью которых опровергается тезис (доказывается его ложность). Форма опровержения – это способ логической связи аргументов и тезиса опровержения. Опровержение тезиса достигается одним из двух способов: доказательством истинности антитезиса или установлением ложности следствий, вытекающих из тезиса. Примером первого способа опровержения служит опровержение положения «Вечный двигатель возможен» путем доказательства истинности положения «Вечный двигатель невозможен» средствами термодинамики и истории изобретательства. Скажем, история изобретательства показала, что ни один двигатель не работал без притока энергии извне, т.е. работал столько времени, сколько позволяли энергетические запасы и прочностные свойства конструкции. Умозаключение: ни один двигатель не работает вечно, значит, вечный двигатель невозможен, следовательно, суждение «Вечный двигатель возможен» ложно, считается опровергнутым.

Примером второго способа опровержения может быть опровержение суждения «Все растения растут на суше» путем вывода из него ложного следствия по форме: «Все растения растут на суше. Водоросль – растение. Следовательно, водоросль растет на суше. Поскольку суждение «Водоросль растет на суше» ложно, постольку суждение «Все растения растут на суше» ложно и опровергнуто.

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

Чтобы дедуктивное доказательство было убедительным, эффективным, необходимо соблюдать следующие правила.

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

2. Аргументы в доказательстве должны быть истинными суждениями. Истинность аргумента должна быть доказанной не зависимо от доказываемого тезиса. Аргументы должны составлять достаточное основание для доказательства тезиса.

3. Умозаключения должны иметь формы категорических силлогизмов.

4. Несоблюдение перечисленных правил ведет к логическим ошибкам – паралогизмам, софизмам и парадоксам.

Паралогизмы (от др. греч. пара – отклоняющийся от …) в доказательствах – это непреднамеренные ошибки в выполнении требований к тезису, аргументам или демонстрациям. Для примера можно ограничиться иллюстрацией ошибки демонстрации по схеме (модусу): Если А, то В, и не А, следовательно не В, – в суждениях: Если ландыши цветут, то наступила весна; ландыши не цветут, следовательно, весна не наступила. Здесь допущена ошибка отрицания основания – рассуждение по одному из модусов условно-категорического силлогизма, который не дает достоверного вывода: из отрицания основания условного суждения выведено отрицание следствия этого суждения. Распространена также ошибка произвольного вывода, когда доказываемый тезис не вытекает логически из аргументов, а произвольно присоединяется к ним с помощью слов «таким образом», «следовательно» и т.п. Есть и другие ошибки вывода – ошибка разделения, ошибка сложения, ошибка ударения и т.д.

Софизмы (от др.греч. измышления, хитрости) в доказательствах – это правдоподобные заключения из скрыто ложных посылок. Они основываются на подмене тезиса доказательства, несоблюдении правил логического вывода, принятии ложных посылок за истинные и т.п. Один из старейших софизмов – «рогатый»: все, что ты не терял, ты имеешь; ты не терял рогов, значит, ты рогат. Здесь ложна посылка «все, что ты не терял, ты имеешь». Богата софизмами история философии. В ней, с точки зрения диалектического материализма, все отличные от него учения основываются на софизмах. Например, объективный идеализм, начиная с платоновского и кончая современным, следует считать основанным на софизме: знать в понятиях можно лишь то, что родственно понятиям – идеальные прообразы, идеи и понятия. Заблуждение состоит в отождествлении предмета познания со средством познания. Софистика (софистическое рассуждение) объективного идеализма выглядит так: «Человек обладает расширяющимся знанием внешнего мира. Познанию доступно то, что родственно рациональным средствам познания в понятиях. Следовательно, внешний мир в сущности своей, скрытой за чувственными данными, является идеальным (т.е. иерархией понятий, идей, мировым разумом и т.п.)». Н.А. Бердяев приписал диалектическому идеализму софизм отождествления объективного мира с диалектикой знания о нем. В свою очередь философию Н.А. Бердяева можно уличить в софизме отождествления мира с иррациональным сознанием.

Научное знание, подчиненное логико-математическим правилам и требованию практической проверяемости, не допускает явных софизмов. Софизмы в научном познании возможны в скрытом виде в формулировке проблем при неизбежной нехватке знаний, а в явном виде – в псевдонаучном знании, в случаях нарушения этики ученого и т.п. И все же научное знание не застраховано от софизмов и при благих побуждениях. Например, стремясь придать научной теории наибольшее объективное значение, бездоказательно придают объективное значение всем ее понятиям и суждениям. Рассуждения строятся по схеме: Научная теория истинна. Истинность – это соответствие знания объективному миру. Следовательно, все понятия и суждения имеют объективное значение. Измышления и хитрости, т.е. софизмы, кроются в нераскрытости понятий «знание», «научная теория», «объективный мир», «соответствие». Скажем, знание и научная теория как вид знания, обладают структурой или нет? Все ли элементы структуры знания должны соответствовать объективному миру? В первом приближении заметна подмена соответствия объективному миру всей научной теории соответствием ему всех ее частей, что противоречит неоднородности значений частей теории.

Парадоксы (пара – против, докса – мнение) – рассуждения, в которых одинаково убедительно доказывается истинность двух противоположных суждений, утверждения и его отрицания. Условно различают семантические и логико-математические парадоксы. Наиболее древними семантическими считаются парадоксы: «Лжец», «Ахиллес и черепаха», «Крокодилов софизм» и др. Например, парадокс лжеца возникает при ответе на вопрос: «Лжет ли тот, кто говорит, что он лжет?». Один ответ: «Если он лжет, то он говорит правду»; другой – «Если он говорит правду, то он лжет». Аналогичен современный парадокс Греллинга, который можно представить так, к примеру. Назовем автологичными все русские прилагательные, обозначающие свойства, которыми они сами обладают («многосложный», «русский» и т.п.), а остальные прилагательные («красный», «сильный» и т.п.) гетерологичными. К какого рода понятиям отнести понятие гетерологичный (инородный)? Ответ таков: если прилагательное «гетерологичный» гетерологично, то оно автологично, и наоборот. Причина семантических парадоксов – в двойственности языка, допускающей отнесение языковых выражений к внеязыковой реальности и к самим языковым выражениям. Так в парадоксе «лжеца» – слово «лгу» относится к неуказанному суждению о мире за фразой «Я лгу» и к самому высказыванию «Я лгу». В парадоксе Греллинга выражение «обладать свойствами» употребляется в смысле обозначать свойства внеязыковой реальности и в смысле обозначать свойства языковых выражений. К обоим парадоксам ведут подмена или смешение отнесений предиката суждения: к предметам, мыслимым в объеме понятия, являющегося субъектом предиката, и к самому суждению. Если различать объекты отнесения подобных предикатов, то парадоксы исчезают (применительно к каждому типу объектов отнесения характеристики языковых выражений будут однозначными, а не антиномичными, не взаимоисключающими).

Среди логико-математических парадоксов наиболее широко обсуждены парадоксы Б. Рассела – «множество множеств», «класс всех классов», «понятие всех понятий» и т.п. К примеру, парадокс «множества множеств» выглядит следующим.

Дано два рода множеств: 1) множества, которые не содержат себя в качестве элементов (например, множество овец), не являются членом самого себя (множество овец не является овцой) и 2) множества, которые содержат себя в качестве элементов (например, множество стад овец), являются членами самого себя (множество стад тоже является стадом). Возьмем множество множеств первого рода и установим, к какого рода множествам оно принадлежит, – к первому или ко второму. Допустим, это множество принадлежит к первому роду, т.е. не содержит себя в качестве элемента, но по определению оно составлено из множеств первого рода (тождественно им) и должно принадлежать последним в качестве своего элемента, т.е. быть множеством множеств второго рода. Допустим теперь, что это множество принадлежит ко второму роду, т.е. содержит себя в качестве элемента, но оно по определению составлено только из множеств первого рода, не содержащих себя в качестве элемента, и отождествление с ними означает, что оно должно считаться множеством первого рода.

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

Введенные Б. Расселом ограничения запрещают все языковые выражения, которые содержат непредикативные элементы, т.е. предикаты, являющиеся сами своими аргументами (ведущими, в частности, к парадоксу Греллинга). Их принятие оспаривалось многими учеными сторонниками классической математики из-за необходимости отречься от ряда достижений классической математики и усложнения оснований математики (арифметики). В отличие от логицистов, сосредоточившихся на определениях множеств, классов, свойств, предикатов и т.д., интуиционисты увидели причину логико-математических парадоксов в недостоверности определений таких понятий, переносящих свойства конечных множеств на бесконечные и отождествляющих существование объекта как удостоверение его принадлежности к данным конечным множествам с существованием как принадлежностью к неудостоверенному бесконечному множеству. Они предложили заменить актуальную завершенную, не удостоверяемую операционально бесконечность потенциальной, становящейся бесконечностью, удостоверяемой алгоритмом становления, и существование объекта как принадлежность к непротиворечивой системе (актуальной бесконечности) заменить на существование как возможность построения известным методом, возможность конструирования объекта. Предложенная система сопутствует отказу от закона исключенного третьего (да – нет, третьего не дано) подразумевающего данность «всего» бесконечного множества («да–нет»). Однако интуиционисты, как и логицисты, не сумели устранить все парадоксы, сопровождающие дедуктивные доказательства. Так что проблема объяснения парадоксов по-прежнему открыта и по-прежнему важна.

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

В индуктивных доказательствах пользуются канонами (правилами, предписаниями) Д.С. Милля, а именно: единственного сходства, единственного различия, сопутствующих изменений, остатков.

Правило единственного сходства: если предшествующие обстоятельства АВС вызывают явление авс, а обстоятельства АДЕ явление аде, то делается заключение, что А и а причинно связаны. Так, если маятники имеют различные конфигурации, изготовлены из различных материалов, одинаковы по длине и обладают одинаковым периодом колебаний, то длина маятников является причиной равенства периодов их колебаний.

Правило единственного различия: если обстоятельства АВС вызывают явления авс, а обстоятельства ВС (явление А устраняется в ходе эксперимента) вызывает явление вс, то делается заключение, что А есть причина а. Основанием такого заключения служит исчезновение а при устранении А. Допустим, в спектре вещества, содержащего натрий, наблюдается желтая линия. При устранении натрия из этого вещества желтая линия исчезает. Делается заключение, что присутствие натрия в данном веществе является причиной желтой линии в наблюдаемом спектре.

Очевидна возможность соединения правил сходства и различия: доказанное по одному правилу подтверждается по другому правилу.

Правило сопутствующих изменений: если возникновение или изменение одного из обстоятельств А®А®А®А при сохранении других ВСД вызывает возникновение или изменение сопутствующего ему явления а, а, а, а, то первое из них, вероятно, причина второго. Например, если при изменении температуры газа при сохранении его давления, массы и т.д. наблюдается изменение объема газа, то делается заключение, что объем газа зависит от его температуры.

Правило остатков: если установлено, что причиной части сложного изучаемого явления не служат предшествующие обстоятельства, кроме одного из них, то, вероятно, это единственное обстоятельство служит причиной части изучаемого явления. Символически это можно представить так. Сложное явление U состоит из частей abcd, и предшествующие обстоятельства ABC таковы, что A есть причина a, B – причина b, C – причина c. Поскольку abcd – части сложного явления и взаимосвязаны, можно предположить, что среди названных обстоятельств должно существовать обстоятельство D, которое и является причиной d остатка изучаемого явления U. Используя правило остатков, например, французский астроном Леверье предсказал (доказал) существование планеты Нептун. При наблюдении планеты Уран было обнаружено ее отклонение от вычисляемой орбиты. Далее было выяснено, что силы тяготения других известных планет (A, B, C) являются причинами величин отклонения abc. Оставалась необъясненной величина отклонения d. Леверье допустил существование планеты D и описал некоторые ее характеристики. Вскоре немецкий астроном Галле открыл планету Нептун.

Помимо рассмотренных, можно среди прочих упомянуть доказательство по случаям и конструктивные доказательства. В первом – от нескольких условных высказываний (посылок), имеющих одинаковое следствие, переходят к утверждению этого следствия путем установления истинности, по крайней мере, одного из условных высказываний. Например, «Если светят электрические лампы, то в сети есть электрический ток»; «Если работает холодильник, то есть электрический ток» и «Если светят электрические лампы или работает холодильник, то в сети есть электрический ток».

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

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

Литература

1. Кондаков Н.И. Логический словарь-справочник. «Наука», М., 1975.

2. Корнел Попа. Теория определения. – «Прогресс», М., 1976.

3. Краткий словарь по логике. (Д.П. Горский, А.А. Ивин, А.Л. Никифоров). – М., Просвещение, 1991.

4. Милль Д.С. Система логики силлогической и индуктивной. – М., 1914.

5. Формальная логика. – Отв. ред. И.Я. Чупахин, И.Н. Бродский. Изд. ЛГУ, Л., 1977.

<< | >>
Источник: В. В. Будко. ФИЛОСОФИЯ НАУКИ. 2007

Еще по теме Виды доказательств:

  1. Виды доказательств
  2. Понятие и виды доказательств (ст. 64 АПК)
  3. 33. ДОКАЗАТЕЛЬСТВО И ЕГО СТРУКТУРА. СПОСОБЫ ДОКАЗАТЕЛЬСТВА
  4. Доказательство и аргументация: понятие и форма.
  5. Новые доказательства
  6. Статья 65. Допустимость доказательств
  7. § 9. Оценка доказательств
  8. Классификация доказательств
  9. § 7. Оценка доказательств
  10. Раскрытие доказательств
  11. 4. Анализ доказательств
  12. Письменные доказательства
  13. Вещественные доказательства
  14. § 2. Доказательства
  15. Вещественные доказательства
  16. Тема 4. Доказательства и доказывание в арбитражном процессе
  17. Относимость и допустимость доказательств.
  18. § 3. Относимость и допустимость доказательств