52.Виды доказательств.

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

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

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