Прямым называется доказательство, в котором тезис выводится из аргументов по правилам дедуктивных умозаключений. Никаких дополнительных приемов рассуждения при этом не используется. Если аргументы истинны, то тезис из них следует с логической необходимостью и достоверностью. Так в математике доказывается большинство теорем.
Косвенным доказательством называют доказательство, в котором сначала доказывается антитезис, а затем уже, убедившись в ложности антитезиса, доказывают истинность тезиса. Таким образом, косвенное доказательство начинается с того, что выдвигается допущение, противоречащее тезису. Затем из этого предположения выводятся следствия, которые оказываются противоречащими ранее известным или доказанным истинам. По отрицающему модусу условного умозаключения отсюда следует ложность антитезиса, который является нашим предположением. Из ложности антитезиса мы выводим заключение об истинности тезиса. Обратите внимание, что доказательства такого рода основываются в конечном счете на законе исключенного третьего, применение которого оспаривается некоторыми математиками в отношении к бесконечным множествам.
Такой способ непрямого (или косвенного) доказательства античные логики называли апогогическим, что в переводе с древнегреческого означает отход или отклонение от непосредственного разбора аргументов. Математики называют его доказательством от противного, поскольку при этом приходится доказывать утверждение противоречащее тезису. Очевидно, что косвенные доказательства, в том числе и апогогические, проводить сложнее, так как при этом приходится выводить следствия из антитезиса и сопоставлять их с тезисом. Найти же противоречащее тезису утверждение в ряде случаев оказывается не так просто. К тому же, окольный путь доказательства нередко воспринимается как менее убедительный, чем прямой. По-видимому, именно это обстоятельство имел в виду А. Шопенгауэр, когда сравнивал некоторые математические доказательства с мышеловками. Тем не менее, апогогические доказательства совершенно необходимы тогда, когда приходится доказывать даже теоремы элементарной геометрии.
Достаточно обратиться к любому курсу элементарной геометрии, чтобы убедиться в том, что уже простейшие ее теоремы, например о равенстве треугольников, доказываются с помощью допущения, противоречащего доказываемому. Затем из него выводится следствие, которое оказывается ложным или даже абсурдным. На этом основании по правилу modus tollens делается заключение о ложности допущения, а уже из него по закону исключенного третьего выводится истинность доказываемого тезиса.
Общая структура апогогического доказательства (или доказательства от противного) может быть выражена формулой:
((¬А → В) ∧ ¬В)) → А.
Разделительно-категорическое доказательство основывается на разделительно-категорической демонстрации аргументов, о которой шла речь выше. Там мы убедились, что если исключаются все гипотезы или предположения, кроме одного-единственного, то тем самым косвенно доказывается истинность этого оставшегося предположения. Но зачастую это не освобождает нас от прямого, непосредственного доказательства, когда речь идет, например, о доказательстве виновности подсудимого.
7.5. Опровержение
В широком смысле слова под опровержением подразумевается процесс рассуждения, с помощью которого обосновывается либо ложность выдвигаемого тезиса, либо отдельных посылок, либо умозаключения в целом. В этом отношении опровержение отличается от доказательства, которое считается несостоятельным, когда по крайней мере одна из его посылок является ложной либо посылки считаются сомнительными, не говоря уже о необходимой логической связи между посылками и тезисом доказательства.
Тезис опровержения может оказаться истинным даже тогда, когда все посылки являются ложными, а связь между посылками не отвечает требованиям правил логики. Иными словами, тезис в этом случае не находится в необходимой логической связи с аргументами, которые приводятся для его обоснования.
Итак, следует различать три основных способа опровержения.
1. Первый способ относится к опровержению аргументов, служащих основой рассуждения. Факты, на которые опирается аргументация, заслуживают особо тщательного обоснования, ибо именно на них опираются все наши обобщения, эмпирические и теоретические законы. Обнаружение новых фактов, полученных в результате тщательных и систематических наблюдений, специально проведенных экспериментов и практической деятельности, приводит к опровержению целого ряда предложений, гипотез, концепций и общепринятых мнений.
Обычно аргументы, опирающиеся на законы науки, оказываются наиболее надежными средствами аргументации, но и они с течением времени подвергаются уточнению, обобщению и исправлению. С такой широкой точки зрения прогресс науки всегда сопровождается опровержением целого ряда ранее принятых ее положений, хотя при этом всегда сохраняется преемственность между новым и старым знанием. Однако логика не рассматривает процесс опровержения в таком широком контексте.
2. Второй способ опровержения связан с анализом необходимой логической связи между аргументами и тезисом, которые служат соответственно посылками и заключением дедуктивного вывода. Если такая связь отсутствует, то тем самым опровергается истинность заключения, т.е. демонстрируется, что тезис логически не вытекает из посылок.
3. Третий способ относится к опровержению самого тезиса. В принципе такое опровержение может быть применено к любому утверждению.
Для этого в науке используются различные приемы рассуждений, основанные на выведении логических следствий из опровергаемого утверждения. Наиболее часто используется, например, прием, получивший название "приведения к нелепости" (reductio ad absurdum). В отличие от косвенного доказательства от противного, в данном случае опровергаемое утверждение принимается в качестве истинного, и тем самым исключается окольный путь доказательства. Из него выводятся логические следствия, некоторые из них оказываются явно противоречащими хорошо известным истинам, так что они рассматриваются как нелепые или абсурдные. На этом основании доказательство такого рода получило название приема сведения к абсурду. Поскольку следствие оказывается ложным, то по отрицательному модусу условного умозаключения опровергается исходное утверждение (или тезис). Необходимо, однако, подчеркнуть, что рассмотренный прием опровержения нельзя применить к совершенно новым положениям науки, следствия из которых кажутся абсурдными с точки зрения так называемого "здравого смысла" или ходячих мнений и представлений, какими казались первоначально, например, теоремы неевклидовой геометрии, которую сам Лобачевский из осторожности называл воображаемой. Действительно, даже математики того времени не могли допустить, что параллельные линии могут сходиться и пересекаться, а сумма углов треугольника зависит от величины его сторон. В значительной мере подобные возражения связаны с отождествлением абстрактной геометрии с эмпирической, чисто логических рассуждений - с практическими. Не меньшие возражения вызывает теория бесконечных множеств Г. Кантора, в которой бесконечное множество уподобляется конечному, вследствие чего часть множества (или подмножество) оказывается эквивалентной целому множеству. Так, множество натуральных чисел считается эквивалентным (или равномощным) множеству всех рациональных чисел, а множество четных чисел - всему множеству натуральных чисел. С точки зрения "здравого смысла" и традиционных представлений эти результаты кажутся абсурдными. Поэтому необходимо помнить, что доказательства путем приведения к абсурду не имеют ничего общего с радикально новыми открытиями науки. Когда речь идет о приведении к абсурду или нелепости, то имеются в виду противоречия с истинами, законами, аксиомами и принципами, которые являются общепризнанными в определенный период времени и имеющими общенаучный характер.
7.6. Правила доказательства и опровержения
В процессе доказательства и опровержения используются, как мы видели, самые разные способы умозаключения. Поэтому, очевидно, что для доказательства или опровержения того или иного тезиса необходимо соблюдать те логические правила, которые относятся к соответствующим способам умозаключений. Но кроме этих специфических правил существуют общие правила доказательств и опровержений, в которых формулируются требования к их составным частям - к тезису, аргументам и способам построения самих доказательств.
1. Правила, относящиеся к тезису, заключаются в том, чтобы на протяжении всего рассуждения, ведущего к доказательству, тезис оставался тем же самым. Кратко это требование можно сформулировать как правило тождества тезиса. Необходимо также стремиться к тому, чтобы тезис был сформулирован ясно и точно, ибо в противном случае невозможно убедиться в том, является ли он тем же самым.
При нарушении правила о тождестве тезиса возникает ошибка, которая называется подменой тезиса. Такие ошибки чаще всего встречаются в ходе спора или полемики. Наиболее распространенными ошибками подобного рода является подмена спора из-за тезиса спором из-за его доказательства. Так, например, на суде адвокат может убедительно доказать, что доводы обвинения не являются обоснованными и поэтому его подзащитный не может считаться виновным. Некоторые люди из этого обычно заключают, что раз виновность не доказана, то подсудимый вообще невиновен. В точном и строгом смысле слова в данном случае следует говорить лишь о несостоятельности доказательства обвинения, но не о доказательстве невиновности подсудимого. Нередко подмена тезиса происходит путем раскрытия противоречий в рассуждениях оппонента, между его словами и делами, взглядами и поведением. С логической точки зрения, нетрудно понять, что во всех этих случаях происходит подмена тезиса, ибо он не опровергается, а только показывается несостоятельность и необоснованность его доказательства либо путем использования ненадежных доводов, либо путем раскрытия противоречий в рассуждениях, либо, наконец, путем приведения таких фактов из жизни и поведения оппонента, которые не имеют никакого отношения к доказываемому тезису. Ведь тезис остается истинным, даже если его доказательство будет ложным, и его истинность не зависит от того, кто высказывает его, пусть даже это будет человек, который вам совершенно не нравится.
Другой разновидностью ошибок, связанных с нарушением тождества тезиса, является отступление от него в процессе рассуждения. Самой грубой формой можно назвать прямой отход от исходного тезиса обычно в середине спора или полемики; происходит это чаще всего тогда, когда сам тезис сформулирован недостаточно определенно, ясно и точно. При этом отступление может быть незаметным, не сразу бросающимся в глаза и потому считаться несущественным изменением формулировки тезиса, но тем не менее, это уже будет не прежний тезис. В логической литературе различают разные способы отступления от тезиса, начиная от простого, грубого перехода от прежнего тезиса к другому и кончая так называемыми диверсиями. Суть последних состоит в том, чтобы перевести спор на другую тему и вместо первоначального тезиса незаметно выдвинуть другой тезис, как-то связанный с исходным, но не тождественный с ним.
К числу распространенных приемов подмены и отхода от тезиса относится его расширение или сужение, а также усиление или ослабление. Обычно эти приемы используются в ходе полемики, причем тот, кто доказывает свой тезис, старается его сузить, когда сталкивается с трудностями его доказательства. Наоборот, кто возражает, стремится расширить тезис, чтобы его оппонент не смог его доказать. Так, когда одна партия возражает против каких-то конкретных реформ, например, по приватизации собственности, то их оппоненты расширяют выдвигаемый тезис и обвиняют своих противников в отказе от реформ вообще.
2. Правила, относящиеся к аргументам доказательства, требуют, во-первых, чтобы аргументы, которые фигурируют как посылки вывода, были истинными или доказанными суждениями. Во-вторых, истинность аргументов должна быть доказана независимо от тезиса. В-третьих, аргументы должны быть достаточно обоснованными, чтобы служить в качестве подтверждения тезиса. Это правило, как легко заметить, касается главным образом вероятностных (или правдоподобных) рассуждений.
При нарушении правил, относящихся к аргументам, возникает в основном три вида ошибок.
Во-первых, когда аргументы (или доводы) являются либо ложными, либо произвольными. Такие доводы обыкновенно используются в публичном споре, когда обсуждается запутанный вопрос и слушатели не в состоянии следить за всеми перипетиями полемики, а иногда и оппонент не может оценить довод как истинный или ложный, а потому принимает его на веру. Другая трудность здесь заключается в том, что зачастую аргументы имеют относительно истинный характер, т.е. наряду с истиной в них присутствует заблуждение.
Произвольные доводы также нередко используются как посылки для доказательства выдвигаемого тезиса. Формы их весьма разнообразны, но суть одна: все они не в состоянии служить основанием для доказательства. Поэтому опирающиеся на них доказательства являются ошибочными, независимо от того, совершаются ли они непреднамеренно либо преднамеренно, с целью ввести в заблуждение слушателей или оппонента. Очень часто для этого обращаются к доводам, которые имеют негативный характер, хотя последние и не имеют отношения к защищаемому тезису. Так, стихийное недовольство масс, выливающееся в митинг, демонстрацию или забастовку нередко квалифицируется как анархия, подрывающая основы государства, хотя на самом деле это может быть законной формой борьбы трудящихся за свои права.
Во-вторых, аргументы могут оказаться недостаточно обоснованными или совсем необоснованными для доказательства тезиса. Типичной ошибкой такого рода является "предвосхищение основания", когда тезис не доказывается аргументами, логически не следует из них. Последние лишь предвосхищают его. Другими словами, такие аргументы, хотя и не представляются ложными или произвольными, но сами нуждаются в доказательстве. Аналогичный характер имеет ошибка, получившая название порочного круга в доказательстве. В этом случае выдвигаемый тезис А доказывается с помощью аргументов В, которые в свою очередь доказываются или обосновываются ссылкой на суждение А. Наиболее часто подобные ошибки могут возникнуть тогда, когда сам тезис сформулирован неясно, сбивчиво, неопределенно, что допускает множество его толкований. В этих условиях легко находятся аргументы для "доказательства", которые по своему содержанию оказываются эквивалентными тезису, но выраженными другими словами. Например, в гл. 5 мы рассматривали равновероятность событий, которую раньше доказывали или обосновали с помощью аргументов, опирающихся на их одинаковую (или равную) возможность.
Однако сама равновозможность может быть обоснована лишь с помощью аргументов, основанных на равновероятности. Такого рода доказательств, обоснований и определений, сводящихся к словесному видоизменению какого- либо аргумента, основания или термина, можно встретить немало. Чтобы избежать подобных ошибок, надо ясно различать смысл и конкретное содержание суждений, которые выступают в качестве аргумента и тезиса доказательства. Особенно это касается суждений, которые являются сходными или почти эквивалентными по своему языковому выражению. Если не замечать смыслового различия между ними, то их легко можно менять местами и тем самым впасть в "порочный круг".
В-третьих, когда пытаются доказать тезис с помощью аргументов, которые логически слабее тезиса. Одно суждение считается логически более сильным, когда из него вытекает другое суждение как логическое следствие. Так, в математике аксиомы являются более сильными утверждениями, чем теоремы. Поэтому мы допустили бы явную ошибку, если стали доказывать аксиомы с помощью теорем. Аналогично этому, в любом доказательстве аргументы должны быть сильнее тезиса. Последний должен логически следовать из аргументов, но не наоборот.