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