PravoTime

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

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

а) факты доказываются в конечном счете фактами;

б) средства доказывания должны быть полными;

в) средства доказывания в своей совокупности должны служить достаточным основанием для признания доказанным обстоятельства, факта - наиболее распространенным нарушением этого правила является ошибка, именуемая в логике nonsequitur ("не следует", "не вытекает"), когда положение, которое требуется доказать, не следует, не вытекает из приведенных в его подтверждение доводов);

г) средства доказывания сами должны быть истинными;

д) истинность средств доказывания должна быть установлена независимо от доказываемого факта, обстоятельства;

е) доказывание конкретных утверждений не должно неявно опираться на предположение об истинности самих этих утверждений - возникающая при нарушении этого правила логическая ошибка носит название "круг в доказательстве" (circulus in demonstrando).

Аксиомы доказывания имеют важное значение при построении и проверке версий, причем при построении версии они служат базой для выдвижения именно логически противоречивых предположений типа "убийство - самоубийство", "кража - инсценировка (отсутствие) кражи" и т.п.

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