Законы и приемы логики в доказывании. Подтверждение и опровержение в доказывании.

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

Наиболее простые связи между мыслями выражаются в основных логических законах: ЗАКОН ТОЖДЕСТВА; ЗАКОН НЕПРОТИВОРЕЧИЯ; ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО; ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ.

1 ЗАКОН ТОЖДЕСТВА. Всякая мысль тождественна самой себе, т.е. «А есть А» (А -» А), где А – любая мысль. Закон тождества выражает одно из важнейших требований логического мышления – определенность.

2 ЗАКОН НЕПРОТИВОРЕЧИЯ указывает на то, что из двух противоположных суждений одно необходимо ложно.

3 ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО: два противоречащих суждения не могут быть одновременно ложными: одно из них необходимо истинно; другое – необходимо ложно; третье суждение исключено, т.е. истинно либо А, либо не-А. Если одно из них признано истинным, то другое необходимо признать ложным и не искать третье.

4 ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ: для того чтобы считаться вполне достоверным, всякое положение должно быть доказано, т.е. должны быть известны достаточные основания, в силу которых оно считается истинным.

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