О доказательстве, методе и системе

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

Мы видели, что суждения могут быть непосредственно очевидными, или они могут сделаться очевидными, если мы их сведём к положениям, которые имеют характер непосредственно очевидный. Если мы при помощи такого приёма делаем суждения очевидными, то можно сказать, что мы их доказываем. Это приведение к очевидности облекается в силлогистическую форму, так что доказательство может быть определено как выведение какого-либо суждения из других суждений, признанных истинными и очевидными .

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

Именно в умозаключении мы не всегда обращаем внимание на то, истинны ли посылки; в доказательстве же истинность посылок является самым главным требованием. Кроме того, доказательство отличается от силлогизма ещё и тем, что в нём доказываемое суждение, соответствующее заключению силлогизма, известно заранее.

Во всяком доказательстве мы различаем три части: 1) доказываемое положение, или тезис; это именно то, что должно быть доказано или сделано очевидным; 2) основы доказательства, или аргументы; это то, при помощи чего тезис доказывается или делается очевидным; 3) форма доказательства, или способ, каким тезис выводится из аргументов. Тезис доказательства соответствует заключению в силлогизме. Аргументы соответствуют посылкам силлогизма. Форма доказательства есть логическая схема, при помощи которой выводится заключение. Например, нужно доказать, что «железо плавко». Это есть тезис. Для доказательства нам необходимо воспользоваться следующими двумя аргументами; «все металлы плавки», «железо есть металл». Построив силлогизм, мы докажем наш тезис.

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

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

Возьмём пример из математики. Требуется доказать, что в треугольнике, в котором два угла равны, противолежащие им стороны также равны. Пусть в треугольнике ABC угол a равняется углу b , и пусть противолежащие им стороны будут AC и BC. Нам нужно доказать, что AC = BC. Это есть тезис. Возьмём положение, противоречащее тезису: «AC не равняется BC». Это будет антитезис; тогда из этого последнего положения (согласно теореме, что во всяком треугольнике против большего угла лежит большая сторона) будет следовать, что угол a должен быть или больше, или меньше угла b . Но так как этот вывод противоречит принятому нами положению, то антитезис является ложным; тогда истинным должно быть положение, противоречащее ему, именно тезис. Такого рода доказательство называется также reductio ad impossibile или reductio ad absurdum.

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

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

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

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

Отсюда, в зависимости от того, что мы ищем, получаются два различных процесса.

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

Схема отношения между анализом и синтезом:

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

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

Для объяснения применения анализа возьмём следующий пример. Чтобы решить задачу вписывания правильного шестиугольника в данный круг, мы рассуждаем так. Предположим, что задача решена, и пусть AB будет одной из сторон вписанного шестиугольника. Если мы проведём радиусы к конечным точкам сторон, то треугольник, образовавшийся таким образом, будет равноугольный (так как каждый угол равен двум третям прямого угла); следовательно, сторона вписанного правильного шестиугольника равна радиусу. Отсюда следует, что, для того чтобы вписать правильный шестиугольник в данный круг, нужно радиус нанести шесть раз на окружность. Здесь применение аналитического метода очевидно. Мы, сделав предположение, что задача решена, т.е. допустив данное частное положение, нашли то условие, тот общий принцип, при котором это частное положение возможно, т.е. из которого это положение можно вывести. Другими словами, мы данное частное положение сводим к общему принципу.

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

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

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

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

Вопросы для повторения

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

Глава XXVI

О логических ошибках

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

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

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

Ошибки дедукции . Логические ошибки могут быть по отношению к тезису.

Если доказывается не то, что требовалось доказать, то такая подмена тезиса называется ignoratio elenchi (elenchus означает опровержение какого-либо аргумента, а ignoratio elenchi означает незнание того силлогизма, которым можно опровергнуть противника). Например, если нужно доказать, что что-либо несправедливо в моральном смысле, а кто-нибудь стал бы доказывать, что это несправедливо в юридическом смысле, то он вместо одного доказывал бы совсем иное, хотя и сходное. Если доказывается что-либо отличное по роду от того, что нужно доказать; это будет ошибкой μετάβασις είσ άλλο γένοζ или «переходом в другой род». Например, когда кто-нибудь хочет доказывать невиновность обвиняемого тем, что другие совершили то же самое преступление, но избегли наказания.

Уклонение от тезиса может происходить ещё и в том смысле, что доказывается слишком, мало, так что тезис частью остаётся недоказанным, или доказывается слишком много, так что из данных оснований следует не только тезис, но и какое-нибудь ложное положение. Такое ошибочное доказательство называют: qui nimium probat, nihil probat («кто доказывает чересчур, тот ничего не доказывает»). Например, для доказательства положения, что сумма углов треугольника равняется двум прямым, недостаточно было бы доказывать, что эта сумма будет не больше 180° (здесь доказывается слишком мало). Если бы мы хотели доказать, что кто-нибудь добродетелен, и при этом стали бы доказывать, что о нём ничего не известно дурного, то этим доказывалось бы слишком мало. Если бы кто-нибудь стал доказывать недозволительность самоубийства на том основании, что человек не может у себя отнимать того, что он сам себе не дал, то доказывал бы слишком много, потому что из его доказательства выходило бы, что он не может резать ногти, волосы, что он не может продавать унаследованное или полученное в подарок и т.п. Поэтому он тезиса, собственно, не доказывает. Как легко видеть, такое ошибочное доказательство получается в том случае, когда приводятся положения, которые оказываются ложными при данной степени общности, но которые могли бы быть истинными при меньшей степени общности.

К этой же группе ошибок следует отнести ошибку, происходящую вследствие пользования приёмом, который называется argumentum ad hominem («аргумент к человеку», т.е. личный, а не объективный аргумент) и который употребляется в том случае, когда, вместо того чтобы доказывать ложность какого-либо мнения, подвергают рассмотрению личность того, кто высказал это мнение. Если, например, кто-нибудь желает доказать несостоятельность научной теории какого-либо писателя и вместо того, чтобы подвергать критическому разбору именно теорию автора, раскрывает принадлежность автора к несимпатичному для читателей политическому направлению, то он пользуется аргументом ad hominem. Это доказательство, логически самое слабое, фактически пользуется большим успехом.

По отношению к основаниям доказательства, или аргументам, могут быть следующие ошибки.

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

Ошибка petitio principii («предрешение; предвосхищение основания») бывает тогда, когда для доказательства какого-либо положения мы кладём в основу доказательства такое положение, которое предполагает истинным доказываемое положение. Положим, кто-нибудь хочет доказать тезис:

«Все частички материи имеют один и тот же вес».

На вопрос, почему он так думает, он мог бы привести следующее основание доказательства:

«Если мы возьмём два тела с одинаковым объёмом, то окажется, что то тело, которое тяжелее, имеет большее число частичек, т.е. больший вес зависит от количества частичек».

На вопрос, откуда же известно, что больший вес тела с одинаковым объёмом зависит именно от количества частичек, он ответит:

«Если принять в соображение, что все частички материи имеют одинаковый вес, то сделается вполне очевидным, что чем тело тяжелее, тем большее число частичек в нём содержится при одинаковом объёме».

В этом примере тезис доказывается при помощи положения, которое само может быть доказано при допущении истинности тезиса. Таким образом, в ошибке petitio principii мы принимаем за истинное то положение, которое должно быть доказано.

Родственными с petitio principii являются ошибки: idem per idem («то же через то же») и circulus in demonstrando («круг в доказательстве»). Ошибка idem per idem – когда какое-либо положение доказывается посредством этого самого положения. Например, на вопрос, почему мы видим сквозь стекло, иногда отвечают: потому, что оно прозрачно; но очевидно, что назвать вещество прозрачным – значит, другими словами, сказать, что сквозь него можно видеть.

Ошибкой circulus in demonstrando называется тот случай, когда тезис A доказывается посредством аргумента B, который в свою очередь доказывается посредством аргумента A. Например, мы утверждаем, что сочинение того или иного писателя заслуживает доверия, потому что он правдив. Нас спрашивают:

«Откуда вам известно, что этот писатель правдив?», и мы отвечаем: «Это доказывается содержанием его сочинений». В этом случае мы делаем круг в доказательстве.

Особняком стоят следующие ошибки.

Ошибка a dicto secundum quid ad dictum simpliciter («от сказанного в относительном смысле к сказанному безотносительно») возникает в том случае, когда выражение, взятое в условном, относительном смысле, принимается затем в смысле безусловном. Например, мышьяк, стрихнин, синильная кислота, будучи введены в организм в значительном количестве, причиняют смерть. Мы в данном случае об этих веществах говорим в условном смысле, т.е. говорим об их ядовитости, когда они введены в организм «в значительном количестве». Но если бы мы сказали, что они всегда причиняют смерть, то мы допустили бы указанную ошибку, потому что в очень малых дозах они не смертельны и, как известно, употребляются в качестве лекарств. Во втором случае мы отбросили то условие, которое указывали в первом случае.

Ошибка fallacia a sensu composite ad sensum divisum («ошибка от собирательного смысла к смыслу разделительному») происходит вследствие смешения термина собирательного с термином общим. Когда мы употребляем общий термин, того, что справедливо относительно целого класса, обозначаемого общим термином, справедливо и относительно каждого индивидуума, входящего в этот класс; но когда мы употребляем собирательный термин, то это может быть несправедливо. То, что справедливо относительно целого, обозначаемого собирательным термином, то может быть несправедливо относительно частей, входящих в это целое. Например, какое-нибудь общество, в котором я состою членом, приняло решение, заслуживающее порицания. Если бы кто-нибудь стал и меня упрекать за это решение, то он допустил бы ошибку fallacia a sensu composite ad sensum divisum, ибо это утверждение, справедливое относительно общества, взятого в целом, может быть совершенно несправедливо относительно отдельных членов этого общества, которые могли подавать свой голос против указанного решения.

Fallacia a sensu diviso ad sensum compositum («ошибка от смысла разделительного к смыслу собирательному») получается в том случае, когда мы о собирательном целом утверждаем то, что справедливо только относительно частей этого целого. Здесь происходит также смешение между термином общим и собирательным. В общих понятиях то, чего мы не можем сказать относительно индивидуума того или другого класса, мы не можем утверждать и о самом классе. В собирательных понятиях, наоборот, мы о частях собирательного целого можем утверждать много такого, чего не можем утверждать относительно целого. Например, кто-нибудь, рассуждая о своих расходах, может сказать: «Этот расход меня не разорит», и о другом расходе скажет: «И этот расход меня не разорит». Если он будет рассуждать таким образом и обо всех остальных расходах, то он должен будет признать, что все расходы его не разорят, что будет ошибочно: то, что справедливо относительно каждого расхода, взятого в отдельности, может быть совсем несправедливо относительно всех расходов, взятых вместе. Другой пример. Больной хочет определить, смертельна ли его болезнь или нет. Рассмотрев каждый симптом в отдельности, он находит, что каждый симптом в отдельности не смертелен; отсюда он делает вывод, что его болезнь не смертельна. Но это рассуждение может оказаться неправильным, потому что каждый симптом в отдельности может быть не смертельным, а все в целом могут быть смертельны.

Ошибки индукции . К ошибкам, связанным с индукцией, относятся прежде всего поспешные обобщения (fallacia fictae universalitatis). Когда путешественники после поверхностного знакомства с каким-либо народом делают попытки характеризовать его, например когда они произносят: «греки лживы», «турки жестоки» и т.п., то они впадают именно в ошибку поспешного обобщения. Ошибка post hoc ergo propter hoc («после этого значит по причине этого») называется также ошибкой): non causa pro causa («от того, что не является причиной, к причине»). Если кто-нибудь заметил, что после какого-либо события возникает какое-либо действие, то он считает первое событие причиной, хотя в действительности, может быть, есть события, от которых данное событие находится в большей зависимости и которое собственно является истинной причиной данного действия. Когда после появления кометы возникали какие-либо несчастья, то обыкновенно комету считали причиной несчастий. Когда в трубке возникала пустота и вода в ней поднималась, то думали, что пустота есть причина поднятия воды. Если после введения какой-нибудь формы правления возникают какие-нибудь события, то обыкновенно эти формы правления считаются причиной их, между тем как истинные причины, может быть, заключаются в чём-нибудь другом, например в определённой степени умственного или нравственного развития общества.

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

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

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

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

1. Софизм «лгун». Вполне возможно, что лгун сознается в том, что он лгун. В таком случае он скажет правду. Но тот, который говорит правду, не есть лгун. Следовательно, возможно, что лгун не есть лгун. (Какая ошибка?)

2. Софизм «рогатый». То, чего ты не потерял, ты имеешь; ты не потерял рогов. Следовательно, ты имеешь рога. (Какая ошибка?)

3. Софизм «куча». Будет ли куча песку, из которой мы взяли одну песчинку, считаться кучей? Да, будет. А если взять ещё одну песчинку? Будет. Так как при последовательном отнятии по одной песчинке куча не перестаёт быть кучей, то одна песчинка должна называться кучей. (Какая ошибка?)

4. Софизм Эватла. Эватл брал уроки софистики у софиста Протагора под тем условием, что гонорар он уплатит только в том случае, если выиграет первый процесс. Ученик после обучения не взял на себя ведения какого-либо процесса и потому считал себя вправе не платить гонорара. Учитель грозил подать жалобу в суд, говоря ему следующее: «Судьи или присудят тебя к уплате гонорара или не присудят. В обоих случаях ты должен будешь уплатить. В первом случае в силу приговора судьи, во втором случае в силу нашего договора». На это Эватл отвечал: «Ни в том, ни в другом случае я не заплачу. Если меня присудят к уплате, то я, проиграв первый процесс, не заплачу в силу нашего договора, если же меня не присудят к уплате гонорара, то я не заплачу в силу приговора суда». (Ошибка становится ясной, если мы раздельно поставим два вопроса: 1) должен ли Эватл платить или нет и 2) выполнены ли условия договора или нет.)

Вопросы для повторения

На какие два класса делятся логические ошибки? Что такое homonymia? Что такое ignoratio elenchi? Что такое qui nimium probat nihil probat? Что называется доказательством ad hominem? Что называется основной ошибкой? Что такое petitio principii? Что такое idem per idem? Что называется circulus in demonstrando? Какая ошибка называется fallacia a dicto secundum quid ad dictum simpliciter? Какая ошибка называется fallacia a sensu composite ad sensum divisum? Какая ошибка называется fallacia a sensu diviso ad sensum compositum? Перечислите, какие существуют ошибки индукции, и объясните их. Какое различие между софизмами и паралогизмами?

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

[2]

Что движение планеты, например Луны, находится под влиянием двух сил, можно пояснить при помощи чертежа 30, «где E представляет Землю, а MB – орбиту Луны. Предположим, что Луна находится в M. Если бы притяжение Земли перестало действовать на неё, то Луна продолжала бы двигаться по той же прямой линии, по которой она двигалась в тот самый момент, как притяжение перестало действовать на неё, и она пошла бы по направлению к N и в течение секунды дошла бы, положим, до M. Но мы находим, что вследствие притяжения Земли Луна на самом деле находится в B, и это показывает, что притяжение Земли притянуло Луну от M до B» (Локайер, Уроки элементарной астрономии).