Применение косвенного доказательства связано с известной трудностью. В процессе этого доказательства приходится временно отклоняться от тезиса, который обсуждается, привлекать дополнительный материал, что, конечно, усложняет весь процесс рассуждения[9]. По форме, в которой совершаются доказательства, умозаключения могут быть дедуктивными и индуктивными (см. ниже). Для того чтобы доказательство завершилось успешно, надо в процессе обоснования истинности тезиса соблюдать правила, которые обеспечивают выведение истинности тезиса из истинности аргументов. Все правила доказательства определяются законами логики, в которых отобразились законы объективного мира. Доказательства делятся на прогрессивные и регрессивные. В прогрессивном доказательстве ход рассуждений идет от оснований к следствиям. Возможны два вида прогрессивного доказательства. 1. Когда процесс обоснования идет от общего положения к доказываемой мысли как следствию. Так, например, геолог доказывает принадлежность определенной горной породы к той или иной эре в развитии Земли на основании присутствия в этой породе характерных отличий, присущих данной эре. Этот вид прогрессивного доказательства считается обычным и наиболее сильным. Обычный он потому, что наша мысль, как правило, ищет опоры в общих соображениях и положениях; наиболее сильный потому, что мысль, выведенная из общего несомненного положения, всегда более устойчива и тверда. 2. Когда процесс обоснования идет от доказываемого положения к фактам как его логическим следствиям и состоятельностью последних утверждает первое. Этот вид прогрессивного доказательства применяется в тех случаях, в которых необходимость известных действий, вещей доказывается их пользой. Так, например, конструктор, желая отстоять предлагаемое им усовершенствование технологического процесса, доказывает пользу, которую оно будет приносить. Регрессивное доказательство (лат. regredior — иду назад) — доказательство, в котором ход рассуждений идет от следствий к основаниям. Возможны два вида регрессивного доказательства. 1. Когда доказательство восходит от доказываемой мысли к ее основаниям. Пример: если нам дано построить треугольник, подобный данному, мы припоминаем какое-нибудь условие подобия треугольников, например взаимную параллельность соответственных сторон, и затем, проведя линии, параллельные каждой из сторон данного треугольника и продолжив их до взаимного пересечения, чтобы образовался треугольник, признаем, что получившийся таким образом треугольник подобен данному, так как его стороны параллельны соответственным сторонам последнего. В процессе данного доказательства требуется показать, что доказываемое положение необходимо следует из основания, приводимого нами в доказательстве. — 85 —
|