2. Прямые и косвенные доказательства
2. Прямые и косвенные доказательства
В зависимости от способа обоснования выделяются прямые и косвенные доказательства.
Прямое доказательство. Оно представляет собой рассуждение, в котором доводы непосредственно обосновывают истинность или ложность тезиса. Приведенные выше примеры — о движении Земли вокруг Солнца, вращении Земли вокруг оси, о профсоюзах на акционированных предприятиях — это примеры прямого доказательства.
Косвенное доказательство. Оно отличается тем, что доводы в нем обосновывают истинность какого-либо тезиса опосредованно, через обоснование ложности другого, исключающего его суждения.
Косвенное доказательство имеет разновидности. Оно может быть апагогическим и разделительным.
Апагогическое доказательство (от греч. apagogos — уводящий в сторону), или доказательство от противного, состоит в том, что вначале предпринимается доказательство тезиса, противоречащего исходному; тезис доводится до абсурда или противоречия с теми или иными установленными истинами, и затем из ложности такого тезиса делается вывод об истинности противоречащего ему. Вспомним, например, как мы доказывали, почему в первой фигуре простого категорического силлогизма меньшая посылка должна быть утвердительной. Мы начали от противного — предположили, что меньшая посылка отрицательная. И на этой основе путем ряда умозаключений пришли к выводу, что в этом случае определенного вывода получить нельзя. Следовательно, меньшая посылка не может быть отрицательной. А раз так, то она должна быть утвердительной (ибо каких-то иных посылок по качеству не бывает).
Немало доказательств от противного можно найти в математике, в частности в геометрии.
Опровержение тоже может происходить в форме косвенного доказательства — от противного. Вот как, например, Демокрит опровергал тезис о том, что «Все истинно». Ведь если кто-то полагает, что не все истинно, то и этот тезис будет истинным, и, таким образом, положение, что «Все истинно», оказывается ложным. Демокрит точно так же опровергал и утверждение, что «Все ложно». Ведь если все ложно, то ложно и то, что все ложно.
Разделительное доказательство характеризуется тем, что из нескольких возможных тезисов методом исключения доказывается один. Например, известно, что данное преступление совершили или А, или В, или С (и никто другой). Затем последовательно приводятся доказательства, что этого сделать не могли ни А, ни В. Таким образом доказывается, что преступление совершил С. Здесь важно лишь, чтобы были исчерпаны все возможные варианты, т. е. чтобы дизъюнкция была полной, «закрытой».
Объективные различия между прямыми и косвенными доказательствами тоже относительны: прямое доказательство может быть превращено в косвенное, а косвенное — в прямое.
Во избежание недоразумений подчеркнем, что прямые и косвенные доказательства как виды логической операции отличаются от прямых и косвенных доказательств как оснований в юридической практике. Прямые доказательства в последнем случае — такие, которые непосредственно удостоверяют тот или иной факт. Косвенные же удостоверяют его посредством других доказательств. Они называются также уликами. Например, у данного лица найдена украденная вещь. Это улика против него, дающая возможность предположить, что он же ее и украл. Такие косвенные доказательства приобретают особое значение лишь в сочетании с другими.
Иногда различают еще виды доказательств по роли опытных данных как оснований доказательства. В этой связи указывают на математические доказательства, не требующие непосредственного обращения к опытным данным, и эмпирические доказательства, применяемые в ряде наук, где более или менее широко используются такие данные. В действительности это не самостоятельные виды доказательства, а различные способы его осуществления — дедукция и индукция, о чем уже говорилось выше.
В последние годы предпринимаются более или менее плодотворные попытки разграничивать доказательства-монологи и доказательства-диалоги. В этой связи все большее внимание уделяется спору как разновидности диалога, а в рамках спора — дискуссии, диспуту, полемике. Однако процесс диалога содержит не только логические, но также психологические, лингвистические, нравственные и другие аспекты. Поэтому всю проблему диалога в целом также уместнее излагать не в логике, а в общей теории аргументации.
Изучение видов доказательств имеет не только теоретическое, но и практическое значение. Оно позволяет сознательно, а следовательно, более эффективно использовать тот или иной вид доказательств в отдельности или их сочетание.