Виды доказательства. Доказательства по форме делятся на прямые и непрямые косвенные.
Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Схема этого доказательства такова из данных аргументов необходимо следуют истинные суждения, а из последних следует доказываемый тезис. Прямое доказательство широко используется в уголовном процессе. Непрямое косвенное доказательство - это доказательство, в котором истинность выдвинутого тезиса обосновывается путм доказательства ложности антитезиса.
Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм 1 если тезис обозначить буквой а, то его отрицание а будет антитезисом, то есть противоречащим тезису суждением 2 антитезисом для тезиса а в суждении а в с служат суждения в и с. В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида - доказательство от противного апагогическое и разделительное доказательство методом исключения.
Косвенное доказательство от противного. Осуществляется путем установления ложности противоречащего тезису суждения. Этот метод может быть использован, например, при проверке алиби Преступление совершил А. А не совершал преступления, т.к. имеет алиби. Доказано, что алиби А - ложное. Следовательно, преступление совершил А. Разделительное доказательство методом исключения. Антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы Преступление совершил либо А, либо В, либо С. Доказано, что не совершали преступление ни А, ни В. Следовательно, преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.