Доказательства вообще — Доказательство (Demonstratio) есть выведение истинности какого-либо положения (на основании силлогистических законов) из других положений. Доказывать можно лишь положения (понятия могут быть определяемы, факты — объясняемы и показываемы), и притом не все. Некоторые положения, обладающие самоочевидностью — аксиомы - не могут быть доказаны, а сами служат основанием всякого возможного Доказательства вообще Иногда характер аксиомы приписывают положениям, которые не обладают самоочевидностью, но пользуются всеобщим признанием (напр. нравственные правила) и потому служат основой Доказательства вообще, хотя с точки зрения логической такое расширение понятия аксиомы недопустимо. Основанием для Доказательства вообще может служить, кроме аксиом, еще и определение (напр. в юридических науках). Каждый волен дать определение понятия какое ему угодно, лишь бы оно не заключало в себе противоречия, и из него выводить следствия, которые должны считаться доказанными, если вывод сделан логически правильно, истинными же — лишь в той мере, в какой истинно определение, из которого они выведены. Факты сами по себе не могут служить основанием Доказательства вообще (как, напр., учит Владиславлев в своей логике), а лишь инстанциями, из которых составляется довод в пользу того или иного положения. Многие положения хотя и могли бы быть доказаны, но за отсутствием доводов, т. е. тех понятий (средних терминов), которые могли бы связать эти положения с самоочевидными истинами, до поры до времени считаются недоказанными и выражаются условно (см. Гипотеза). Нет основания отличать опровержение от Доказательства вообще, ибо опровержение есть Доказательства вообще ложности известного положения. Опровержение состоит в том, что мы показываем ложность посылок, из которых были делаемы заключения, или показываем ложность самого заключения, или, наконец, ослабляем значение доводов, т. е. стараемся показать, что приводимые понятия и факты не могут играть роли среднего термина. Отношение между доказываемым положением (проблемой, теоремой) и самим Доказательства вообще более сложно, чем обычно предполагают. Всякое положение допускает различные Доказательства вообще своей истинности, хотя не все они одинаково сильны и убедительны; поэтому опровержение Доказательства вообще не должно непременно влечь за собой и опровержение самого положения. В истине два момента: объективный — соответствие познания познаваемому предмету, и субъективный — уверенность, что познание действительно соответствует познаваемому предмету. Доказательства вообще должно иметь в виду оба момента — как истинность, так и уверенность в ней. Если Доказательства вообще стремится лишь вызвать убеждение в истинности, не обращая внимания на саму истинность, то такое Доказательства вообще становится софистическим, а искусство вызывать уверенность в истине одного положения и уничтожать уверенность противоположного свойства называется эристикой. Характер Доказательства вообще и степень его точности зависят от положения, к которому оно применяется. В этом отношении, напр., Евклидовой геометрии был делаем справедливый упрек, что она заботится более о том, чтобы вынудить признание истинности какой-либо теоремы путем чистой логики, чем о том, чтобы сделать свои Доказательства вообще очевидными и наглядными, каким характером должна отличаться геометрия. — Из всего сказанного вообще о доказательствах следует заключить, что: 1) знание возможно вне Доказательства вообще; 2) что Доказательства вообще не дает нам вполне новых знаний, но 3) придает знанию характер достоверности.

Форма Доказательства вообще — Доказательства вообще, при всем их видимом разнообразии, могут быть сведены к некоторым основным типам, которые давно подмечены, хотя специальное разграничение этих типов в различных логиках делается различно. Два главных вида Доказательства вообще: прямое, исходящее непосредственно из более общих положений, и косвенное, утверждающее истинность какого-нибудь положения на основании ложности ему противоречащего (основанием служит закон исключенного третьего). Из более детальных распределений видов Доказательства вообще укажем на два: Лоце и Каринского. Лоце ("Logik", Лпц., 1874) делит каждый из основных родов Доказательства вообще, прямое и косвенное, на четыре вида: два прогрессивных и два регрессивных. Прогрессивным он называет Доказательства вообще, идущее от основания к следствию, при чем доказываемое положение является в виде следствия из аксиомы, или же Доказательства вообще идет от доказываемого положения, истинность которого предполагается, к его следствиям; таким образом получаются четыре вида прогрессивных Доказательства вообще — два прямых и два косвенных. Регрессивным Лоце называет Доказательства вообще, которое исходит из следствия, и им пользуется для оправдания основания; и здесь получаются четыре вида Доказательства вообще: два регрессивных прямых и два регрессивных косвенных. Доказательства вообще, основанное на аналогии, Лоце справедливо отвергает, ибо аналогия содержит в себе указание на возможную связь явлений между собой, а не объяснение этой связи, тем менее Доказательства вообще ее. Второе прямое регрессивное Доказательства вообще представляет собой пример так называемой полной индукции; первое косвенное прогрессивное совпадает с доказательством путем исключения; второе косвенное прогрессивное — с так назыв. deductio ad absurdum. Вторая попытка классификации Доказательства вообще принадлежит Каринскому ("Классификация выводов", СПб., 1880). Всякий вывод может быть рассматриваем как Доказательства вообще; посему все сказанное Каринским о выводах может быть применено и к доказательствам. Вывод есть перенесение одного из основных элементов суждения на соответствующее место в другом суждении на основании некоторого отношения между остальными элементами обоих суждений. Основных элементов в суждении два: субъект и предикат; поэтому при выводе может быть речь о перенесении предиката из одного суждения в другое на основании отношения между субъектами или же о перенесении субъекта на основании отношения между предикатами. Получаются, т. обр., два основных вида выводов: 1) выводы, делаемые на основании сличения субъектов — выводы положительные; 2) выводы, делаемые на основании сличения предикатов — выводы отрицательные и гипотетические. Само перенесение одного элемента суждения на другое суждение делается на основании закона тожества. Положительные выводы Каринский делит на выводы: а) от предметов к предметам, на основании их реального или логического тожества; b) от отдельных предметов к группе предметов (сюда относятся заключения по так называемой полной индукции, по неполной индукции и т. д.) и от отдельных предметов к агрегату (т. е. от части к целому, а не от частного к общему). К положительным выводам относятся и 3) заключения от группы предметов к отдельным предметам. Гораздо важнее, чем знание форм Доказательства вообще, умение находить доводы для Доказательства вообще — но научить этому логика не может.

Ошибки в доказательствах. Истинность Доказательства вообще зависит от истинности посылок и соблюдения логических правил при выводе. Доказательства вообще ложно в том случае, если посылки неправильны или форма вывода неправильна; к последнему роду ошибок относятся паралогизмы и софизмы. Если основная мысль ложна, то ложным будет все, что из нее вытекает; эта ошибка называется πρωτον ψεΰδος. Очень обычна ошибка, называемая petitio principii, или circulus in demonstrando, которая состоит в том, что положение, требующее Доказательства вообще, принимают за доказанное, и из него делаются выводы. В косвенных Доказательства вообще ошибки могут происходить от неполного перечисления, заключающегося в разделительном суждении (большая посылка). Очень много сходного с последней категорией ошибок имеет и слишком поспешное индуктивное заключение, от недостаточного количества фактов к общему закону. Ошибка, в которую мы впадаем, когда из посылок делаем заключение к понятиям совершенно иного порядка, называется μετάβασις είς άλλο γένος. Доказательства вообще могут грешить и количественно, т. е. Доказательства вообще может быть слишком обширным, относительно чего имеет место правило qui nimium probat nil probat, — или же Доказательства вообще может быть слишком узким, т. е. не охватывающим всего объема доказываемого положения. Ошибки в Доказательства вообще превосходно изложены в пор-рояльской логике Арно ("La logique ou l'art de penser", XVII в.). Эристические приемы, к которым человек прибегает для убеждения слушателя, разобраны у Шопенгауэра ("Эристика", перевод кн. Цертелева, М., 1890, 2 изд.).

Э. Радлов.