Особое место в научном исследовании занимает генетическое доказательство, или доказательство по источнику происхождения. Оно применяется главным образом в исторических науках, в которых в качестве основания привлекаются документы, свидетельства, мемуары и т.п. При этом устанавливается достоверность этих источников и истинность их содержания. Генетическое доказательство применяется в тех случаях, когда невозможно проверить какое-либо суждение (тезис) по существу и приходится устанавливать его достоверность. В некоторых науках – историографии, метеорологии, геологии, географии – во многих случаях приходится пользоваться только этими источниками, истинность которых можно проверить лишь генетически.
По своей цели генетическое доказательство представляет либо только на основании известных документов, свидетельских показаний. В установление истинности тезиса (его подтверждения), либо обнаружение его ложности (опровержение).
Генетическое подтверждение несет следующее строение. В первой части доказательства устанавливается истинность первоначально возникшего суждения о каком-либо историческом факте (событии). Для этого обращаются к исследованию источника этих суждений, учитывается субъективный подход автора к данным событиям, его осведомленность, добросовестность и т.д. Во второй части доказательства путем тщательной проверки устанавливается, что известные суждения (взгляды) дошли к нам без всяких (по крайней мере существенных) изменений (искажений) при устной передачи, при переписке или при переводе на другой язык и проч. В третьей части доказательства в результате предшествующих исследований выводится заключение об истинности тезиса. Если доказываемый тезис – документ или свидетельство – не выдерживает всех этих проверок, не удовлетворяет указанным условиям, то он подвергается генетическому опровержению.
Опровержение в генетических доказательствах – это установление логичности тезиса – документа или свидетельства, которые подвергаются проверке. Ложность каких-либо суждений, дошедших к нам из прошлых (иногда очень отдаленных) времен, может заключаться или в неверном (искаженном) отображении действительного события, или в изменениях (извращениях) и неточности при устной или письменной передаче этого суждения. В первом случае необходимо установить личность первого высказанного суждения. Во втором случае не только выявляются искажения первоначально истинного суждения, но и ставится задача восстановления первоначального текста, очищение его от последующих извращений.
Элементы генетического доказательства в той или иной мере применяются следственно-розыскной практике, когда следователь поставлен перед необходимостью составить максимально достоверную картинку события по показаниям свидетелей и участников данного события. И показания свидетелей, и тем более участников события могут искажать реальную картину. Ее восстановление потребует от следователя не только знаний логики, но и психологии людей, вовлеченных в данные события.
Опровержение:
Помимо доказательства утверждений путем установления их истинности важное место в научной практике имеют и опровержения утверждений.
Опровергнуть то или иное утверждение означает ни что иное, как обосновать его ложность. Таким образом, во многих случаях опровержение имеет такую же логическую структуру, как и доказательства, о чем свидетельствуют косвенные доказательства, в которых для обоснования истинного тезиса опровергается антитезис. Однако, в косвенных доказательствах, опровержение играет подчиненную роль, выступает как момент, в то время как во многих других случаях оно имеет самостоятельное значение.
Как и доказательства, опровержение имеет тезис, аргументы и форму (демонстрацию). Тезис опровержения – это положение, которое требуется опровергнуть. Аргументы – это утверждения, с помощью которых опровергается тезис (доказывается его логичность). Форма опровержения – это способ логической связи аргументов и тезиса опровержения.
Опровержение тезиса может быть осуществлено двояко. Во-первых тем, что докажут истинность антитезиса; во-вторых, тем, что установят логичность следствий, вытекающих из тезиса.
Опровержение первого рода состоит в следующей последовательности рассуждений. Сначала находят некоторое утверждение, противоречащее тезису, - антитезис, затем доказывают его истинность. Если это удается, на основании закона противоречия при составлении тезиса и антитезиса делаем вывод о возможности первого. Например, утверждение «Все млекопитающие живут на суше» (общеутвердительное) опровергается доказательством истинности частноотрицательного утверждения «Некоторые млекопитающие не живут на суше»:
| Кит – не живет на суше. |
| Кит – млекопитающее. |
| Следовательно, некоторые млекопитающие не живут на суше. |
Опровержение второго рода протекает следующим образом. Допуская истинность тезиса, выводят из него ряд следствий. Если хотя бы одно из полученных следствий находится в противоречии с действительным положением вещей или с уже доказанными утверждениями, то с необходимостью делают вывод о логичности тезиса. В данном случае заключают от логичности следствия к логичности основания.
Некоторые утверждения могут быть опровергнуты посредством опровержения оснований, на которых покоится их истинность или опровержения формы их доказательства – демонстрации. Это виды так называемых косвенных утверждений. Но по своему значению они менее Эффективны, чем прямое опровержение тезиса. Действительно, доказывать логичность оснований не означает, что этим доказана логичность следствия из них. Например, в умозаключении:
| Все планеты имеют спутников. |
| Марс – планета. |
| Следовательно, Марс имеет спутников. |
Здесь тезис («Марс – планета») является истинным утверждением, но доказательство неверно, т.к. большая посылка («Все планеты имеют спутников») – утверждение ложное. Его можно опровергнуть замечанием, что Венера не имеет спутников.
Опровержение демонстрации доказательства тезиса заключается в том, что показывают отсутствие логической связи между тезисом и его аргументом. Поскольку это может быть, прежде всего, результатом нарушения правил умозаключений, по которым строится доказательство данного тезиса, то для опровержения необходимо указать на общий вид ошибки. Тем самым доказывается, что доказательство было построено неправильно. Тем не менее, это не означает, что мы опровергли сам тезис, который может быть как истинным, так и ложным. Имеется немало примеров того, когда истинное утверждение считалось строго доказанным, хотя со временем в доказательстве находили ошибки.
Опровержения являются важным орудием развития научного познания. С их помощью наука освобождается от ложных утверждений, заблуждений и догм, а также совершенствует свой теоретический аппарат.
4. Условия и правила доказательства
Для того чтобы доказательства проводили к желаемому результату, необходимо соблюдение правил и условий их проведения. Поскольку доказательства, как правило, состоят из целого ряда умозаключений различного вида, постольку в доказательствах необходимо соблюдать правила и условия для каждого вида умозаключений в отдельности. Однако из факта соединения многих умозаключений в сложных доказательствах и опровержениях и, следовательно, наличия многих посылок вытекают дополнительные условия, несоблюдение которых влечет за собой ошибки в доказательствах.
Эти условия и ошибки делятся на несколько групп в зависимости от того, к какой части доказательства они относятся. Вот некоторые из них:
Правила и условия, относящиеся к тезису.
Тезис должен быть точно и ясно сформулирован. Неточно сформулированные тезисы, расплывчатые, неопределенные понятия, неуточненный смысл – все это приводит к путанице и делает невозможным доказательство. Неслучайно поэтому в научной практике, прежде чем приступить к доказательству какого-либо научного положения, проводят исследование по уточнению их смысла и внутренней логической связанности, по анализу понятий, входящих в состав этого положения, и т.д.
Тезис на всем протяжении доказательства или опровержения должен оставаться одним и тем же. Это условие основано на соблюдении закона тождества, игнорирование его приводит к тому, что тезис остается недоказанным, поскольку при доказательстве происходит подмена тезиса (ignoratio elenchi) и доказывается или опровергается не тот тезис, который необходимо доказывать (опровергать).
Часто такая подмена тезиса осуществляется на почве непонимания смысла тезиса, его нечеткой формулировки или как результат неверных преобразований тезиса с целью придать ему удобную для доказательства форму. Последнее имеет место при формализованных доказательствах. Например, вместо тезиса «Угол А равен углу В» пытаются доказать тезис «Неверно, что угол А больше угла В», который неравнозначен тезису, данному доказательству.
Ошибку, порожденную наблюдениям этого условия, выражает следующий принцип: «Кто слишком много доказывает, тот ничего не доказывает». Например, стремясь доказать тезис «Язык не тождествен мышлению», начинают доказывать как равнозначное следующее утверждение: «Язык не связан с мышлением». Последнее утверждение более категорично и к тому же ложное, в то время как действительный тезис – истинное утверждение. Такое доказательство не будет эффективным.