§ 24. Генетическое опровержение возможно не только там, где первоначальное суждение ложно. Если первоначальное суждение само по себе истинно, но если при этом оно испытало изменение в звеньях передачи и если изменение это делает первоначальное суждение несовместимым с восходящим к нему суждением, то тем самым доказывается, что это последнее суждение ложно. Например, обвиняемый в получении взятки от лица Н утверждает, будто он взятки не брал.
Если это утверждение истинно, то в этом случае он, конечно, не мог ошибиться, т. е. относящееся к этому случаю первоначальное суждение должно было быть истинным. Но свидетельскими показаниями установлено, что в этом случае обвиняемый лжёт. Так как ложь не что иное, как замена первоначального суждения несовместимым с ним суждением, то отсюда следует, что утверждение обвиняемого ложно.
Роль практики и опыта в доказательствах
§ 25. Во всех науках и во всех научных доказательствах все понятия, которые входят в состав доказательства, ведут своё происхождение в конечном счёте из практики, из опыта. В этом отношении не составляют исключения и доказательства математических наук. Правда, понятия, которыми пользуется математик, отвлекаются от целого ряда свойств, которые принадлежат предметам этих понятий в нашем опыте. Математический круг, куб, шар и т. д. не существуют в опыте в том виде, в каком их мыслит ум геометра. И всё же даже самые отвлечённые понятия математики возникли в конечном счёте из опыта и на основе опыта. То же справедливо относительно математических определений и относительно аксиом, т. е. непосредственно очевидных истин, лежащих в основе всего математического знания. Как бы ни казались далёкими от опыта, а иногда даже противоречащими опыту эти определения и аксиомы, — все они в конце концов являются продуктами отвлечения от известных сторон опыта и не могли сложиться в мысли иначе, как на основе опыта.
§ 26. Так обстоит дело с понятиями, определениями и аксиомами математики. Сложнее обстоит дело с доказательствами. Во всех науках, кроме математических, доказательство всегда непосредственно связано с опытом. Это значит, что кроме той связи с опытом, без которой вообще не могло бы существовать никакое понятие, никакая аксиома, в науках этих в состав доказательства всегда входят такие части и такие данные, которые прямо предполагают обращение к опыту: к наблюдению, эксперименту и т. д.
Напротив, в математических науках доказательства — если рассматривать одну логическую их сторону, а не происхождение понятий, входящих в состав доказательств, — всегда ведутся таким образом, что в ходе доказательства математику не приходится прямо обращаться к опыту, помимо тех элементов опыта, которые уже содержатся в его понятиях, определениях и аксиомах. Иными словами, опыт входит в математические доказательства не непосредственно, как он входит в доказательства физика, химика, биолога, но лишь посредством понятий, которые некогда образовались на основе опыта, но в своём современном содержании являются отвлечёнными по отношению к этому опыту.
§ 27. Это различие между науками математическими и науками эмпирическими, т. е. доказывающими свои положения на основе прямого обращения к опыту, порождает различие в видах доказательства.
Доказательства математических наук, не требующие привлечения прямых данных опыта в самом ходе доказательства и опирающиеся на опыт лишь через посредство тех элементов опыта, которые содержатся в основных понятиях, определениях и аксиомах этих наук, называются математическими доказательствами.
Доказательства наук о природе, необходимо требующие привлечения прямых данных опыта в самом ходе доказательства и, таким образом, не ограничивающиеся теми элементами опыта, которые содержатся в их основных понятиях, называются эмпирическими доказательствами.
Из этих определений и объяснений ясно, что различие между этими двумя видами доказательства состоит вовсе не в том, что доказательства математических наук стоят якобы вне опыта, а доказательства эмпирических наук основываются на опыте. Все доказательства всех наук — математических так же, как и эмпирических, — предполагают опыт в качестве необходимой последней основы и проверочной инстанции всех своих истин и положений.