Учение логики о доказательстве и опровержении

Так, при доказательстве теоремы евклидовой геометрии о сумме внутренних углов треугольника (см. рис. 2) мы сначала продолжаем сторону треугольника АВС, например сторону АС до точки Е. Затем проводим из точки С прямую CD, параллельную АВ и по одну с ней сторону от прямой АС. Затем мы рассуждаем следующим образом. Прямая ВС пересекает параллельные (по построению) прямые АВ и CD. Следовательно, углы АВС и BCD будут равны как внутренние накрест лежащие. Прямая АС пересекает те же—параллельные по построению — прямые АВ и CD. Следовательно, углы ВАС и DCE равны как соответственные. Угол ВСЕ, представляющий сумму углов BCD и DCE, равен сумме двух внутренних углов треугольника (АВС и ВАС), так как угол BCD равен углу АВС, а угол DCE равен углу ВАС. Прибавим к углу ВСЕ угол ВСА — третий внутренний угол треугольника АВС. Тогда сумма углов DCE, BCD и ВСА будет равна сумме внутренних углов данного треугольника: углов ВАС, АВС и ВСА. Но так как сумма углов ВСЕ (равного сумме углов ВАС и АВС) и ВСА равна сумме двух смежных углов, а эта сумма равна двум прямым углам, то сумма внутренних углов ВАС, АВС и ВСА в треугольнике АВС также равна двум прямым.

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

Так как демонстрация — порядок связи между основаниями и тезисом— порядок, непросто усматриваемый из оснований, но такой, который ещё должен быть найден, то доказательство одного и того же положения науки может быть более или менее сложным или простым, громоздким или кратким и т. д. Самый порядок, план доказательства может варьироваться.

Связь оснований, ведущая к усмотрению истинности доказываемого тезиса,— не единственная. А так как связь эта не дана вместе с самими основаниями, но ещё должна быть открыта, выяснена, найдена, то доказательство есть творческая задача науки, которая творческими же средствами и решается.

В ряде частных случаев задача доказательства оказывается настолько сложной, что разрешение её требует от учёных огромных усилий на протяжении целых десятилетий или даже столетий. До сих пор не найдено доказательство теоремы Ферма о том, что уравнение xⁿ = yⁿ+zⁿ не может иметь решений для всех целых значений п больших дЕух. В течение почти двух с половиной тысячелетий оставалось недоказанным существование атома, пока успехи новейшей экспериментальной и теоретической физики не принесли, наконец, это доказательство. Гениальная догадка Джордано Бруно о существовании планет, обращающихся вокруг других звёзд, получила доказательное подтверждение только в последние десятилетия. Во всех этих случаях учёным пришлось приложить немало усилий для доказательства того, что могло быть доказано лишь при определённых условиях развития наблюдения, эксперимента и теоретического анализа.

С другой стороны, там, где задача доказательства успешно разрешалась, пути и средства её разрешения у разных учёных были неодинаковы. Уже античная математика знала не одно единственное доказательство теоремы Пифагора, а целый ряд таких доказательств. И это типично для доказательства. Доказываемый тезис — один, логические законы мышления — одни, но способы, ведущие к признанию истинности тезиса, могут быть разные. Способы эти определяются: 1) основаниями, из которых выводится тезис, 2) связью между основаниями и тезисом. Связь эта не видна из оснований, отдельно взятых. Она находится посредством рассмотрения отношений между доказываемым тезисом и тем, что уже ранее было доказано.

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

V. ВИДЫ ДОКАЗАТЕЛЬСТВА

Доказательства делятся на виды в зависимости от: 1) цели доказательства, 2) способа доказательства и 3) роли опытных данных как оснований доказательства.

1. РАЗЛИЧИЕ ДОКАЗАТЕЛЬСТВ ПО ЦЕЛИ ДОКАЗАТЕЛЬСТВА

В отношении цели доказательство может быть или доказательством истинности, или доказательством ложности некоторого положения. Доказательство, имеющее целью установление истинности тезиса, называется просто дока- зательством. Доказательство, имеющее целью установление ложности тезиса, называется опровержением.