GreatPhilosophy

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

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

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

Н1 v Н2 v Н3 v… v Нn

Н2,Н3 ,… Нn - ложны

Следовательно, Н1 истинно.

При этом предполагается, что все гипотезы будут взаимно исключать друг друга, а в совокупности исчерпывать класс всех возможных гипотез. Так, если подозрение падает на нескольких лиц, то путем последовательного исключения других лиц, обвинение будет предъявлено только одному из них. Но это обвинение должно быть доказано путем специального расследования. Поэтому такие доказательства называют не прямыми, а косвенными.

Индуктивные умозаключения, как правило, не применяются в доказательствах. Исключение составляют только полная и математическая индукция, которые, как известно, приводят к достоверным заключениям. Полная индукция используется тогда, когда число возможных случаев невелико и все они исчерпывают всю совокупность возможностей. Математическая индукция является специфическим способом доказательства, опирающимся на особые свойства построения чисел натурального ряда.

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