PhiloDream

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

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

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

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

В связи с этим выделяют два пути установления истины, два способа доказательства: 1) непосредственный способ; 2) опосредованный способ.

Непосредственный способ установления истины состоит в том, что в процессе практических действий осуществляется соотнесение утверждаемого с фактическим положением вещей. Видами таких практических действий могут быть наблюдения, эксперименты, демонстрация, измерения и другие эмпирические процедуры. Например, еще в школе на уроках физики учитель прибегал к доказательству истинности законов механики к демонстрации опытов, в которых эти законы наглядно проявлялись (допустим, это был второй закон Ньютона F = ma, или закон расширения металлических тел при нагревании). Во всех этих случаях важную роль играют органы чувств.

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

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