1. Понятие опровержения
Опровержением принято считать логическую операцию, при которой показывается (утверждается) ложность или необоснованность рассматриваемого тезиса.
Тезисом называют то суждение, которое необходимо опровергнуть. Он опровергается при помощи аргументов опровержения — суждений, при посредстве которых и происходит опровержение тезиса.
Опровержение бывает прямым и косвенным. При этом прямой способ опровержения только один, в то время как косвенных два. Далее все способы рассмотрены по отдельности, начиная с первого способа опровержения — прямого.
Прямой способ — это опровержение фактами. С научной (и практически любой) точки зрения этот способ является наиболее удобным.
Опровержение фактами при правильном подходе полностью показывает несостоятельность выдвинутого тезиса. Это возможно только при правильном подборе фактов, умелом их использовании, зависит от способностей человека в области ведения диалога, а также его знаний в данной области.
Фактами, применяемыми для опровержения тезиса, могут быть статистические данные, аксиомы, доказанные положения и т. д. Как видно, в силу установленной истинности указанных фактов и их противоречия рассматриваемому тезису такое опровержение имеет верный, очевидный характер.
Ошибки, которые можно легко опровергнуть при помощи фактов, часто встречаются в голливудских полуисторических кинофильмах, где для достижения необходимого эффекта путается хронологическая последовательность событий. При таких ошибках достаточно лишь привести данные о реальном времени каждого рассматриваемого события.
Следующие два вида опровержения являются непрямыми. Один из них — это опровержение через ложность следствий. Для этого прослеживаются следствия тезиса. Во время опровержения через ложность следствий тезис принимается к обсуждению. Это делается, во-первых, для того чтобы оппонент временно почувствовал свое превосходство (победу в данном эпизоде), во-вторых, для того чтобы выявить ложность тезиса. Во время обсуждения рассматриваются следствия тезиса, которые не соответствуют реальному положению вещей. Это делает очевидным несостоятельность самого тезиса.
Такой прием часто называют сведением к абсурду. Следует помнить, что противоречие следствий тезиса истине должно быть не только достаточно явным, очевидным, но и реальным.
Другой вид непрямого опровержения можно назвать опровержением через антитезис. Очевидно, что опровержение здесь происходит на основании доказательства от обратного, т. е. антитезиса. При данном виде опровержения находится понятие, суждение, противоречащее выдвинутому ранее утверждению. Для того чтобы доказать ложность тезиса, доказывается истинность его антитезиса, т. е. вновь выдвинутого суждения, которое противоречит рассматриваемому. Эффективность данного способа опровержения основывается на законе исключенного третьего (рассмотрен в соответствующей главе). Другими словами, после доказательства истинности суждения, противоречащего рассматриваемому (тезису), по закону исключенного третьего последнее неизбежно признается ложным.
Каждое из двух противоречащих суждений может быть либо истинным, либо ложным, третьего не дано. Следует помнить, что истинность антитезиса должна быть доказана полностью. Для примера такого опровержения возьмем общеутвердительное суждение «Все спортсмены имеют хорошо развитую мускулатуру». Противоречащим ему будет частноотрицательное суждение «Некоторые спортсмены не имеют хорошо развитой мускулатуры». Для доказательства этого суждения необходимо привести примеры, доказывающие, что не все виды спорта направлены на развитие мышц. Скажем, в шахматах все внимание уделяется умственным способностям спортсмена. Так как установлена истинность частноотрицательного суждения, можно говорить, что опровергаемый тезис ложен.
Таким образом, целью опровержения является выявление неправильного построения доказательства и ложности или недоказанности утверждаемого суждения (тезиса).
2. Опровержение через аргументы и форму
Другие названия этих способов опровержения — критика аргументов и несостоятельность демонстрации. Как видно из названия, в первом случае опровержение направлено не на сам тезис, а на подтверждающие его аргументы. Конечно, само по себе отрицание аргументов не значит с достоверностью, что ложен сам тезис, так как из истинного тезиса могут быть сделаны ложные умозаключения. Суть данного способа состоит, таким образом, не в том, чтобы доказать ложность тезиса, но в том, чтобы выявить, показать его недоказанность.
Любой недоказанный тезис не принимается на веру, он нуждается в доказательстве. Поэтому критика аргументов может быть достаточно эффективным способом опровержения. Это скорее способ достижения истины, а не эффективного ведения спора, так как способствует прежде всего тому, чтобы оппонент смог доказать свое истинное суждение. Ложное в таком случае будет отвергнуто.
Отсутствие истинных аргументов в доказательстве может происходить из ложности доказываемого тезиса, малой осведомленности оппонента о предмете, дефицита информации об этом предмете вообще.
При использовании этого способа опровержения не следует забывать, что нельзя заключать с достоверностью (о чем уже упоминалось выше) от отрицания основания к отрицанию следствия.
Другим видом опровержения выступает несостоятельность демонстрации. Как и в первом случае, в процессе такого опровержения не затрагивается тезис, т. е. его ложность не доказывается. Выявляются лишь ошибки, допущенные в процессе доказательства оппонентом. Таким образом, так же, как и при критике аргументов, показывается факт недоказанности тезиса. Рассматриваются в основном аргументы, приведенные в качестве доказательства. При этом задача опровержения или подтверждения тезиса не возлагается на опровергающего. Он лишь выявляет недостатки доказательства оппонента, вынуждая последнего менять аргументы, исправлять допущенные ошибки, возникающие, как правило, вследствие нарушения того или иного правила дедуктивных умозаключений.
В процессе доказательства может быть сделано поспешное обобщение, если при заключении во внимание была принята только та часть фактов, которая говорит в пользу сделанного заключения. В этом случае также необходимо указать оппоненту на допущенную ошибку.
ЛЕКЦИЯ № 23
Софизмы. Логические парадоксы
1. Софизмы. Понятие, примеры
Раскрывая данный вопрос, необходимо сказать, что любой софизм является ошибкой. В логике выделяют также паралогизмы. Отличие этих двух видов ошибок состоит в том, что первая (софизм) допущена умышленно, вторая же (паралогизм) — случайно. Паралогизмами изобилует речь многих людей. Умозаключения, даже, казалось бы, правильно построенные, в конце искажаются, образуя следствие, не соответствующее действительности. Паралогизмы, несмотря на то что допускаются неумышленно, все же часто используются в своих целях. Можно назвать это подгонкой под результат. Не осознавая, что делает ошибку, человек в таком случае выводит следствие, которое соответствует его мнению, и отбрасывает все остальные версии, не рассматривая их. Принятое следствие считается истинным и никак не проверяется. Последующие аргументы также искажаются для того, чтобы больше соответствовать выдвинутому тезису. При этом, как уже было сказано выше, сам человек не сознает, что делает логическую ошибку, считает себя правым (более того, сильнее подкованным в логике).
В отличие от логической ошибки, возникающей непроизвольно и являющейся следствием невысокой логической культуры, софизм является преднамеренным нарушением логических правил. Обычно он тщательно маскируется под истинное суждение.
Допущенные умышленно, софизмы преследуют цель победить в споре любой ценой. Софизм призван сбить оппонента с его линии размышлений, запутать, втянуть в разбор ошибки, которые не относятся к рассматриваемому предмету. С этой точки зрения софизм выступает как неэтичный способ (и при этом заведомо неправильный) ведения дискуссии.
Существует множество софизмов, созданных еще в древности и сохранившихся до сегодняшнего дня. Заключение большей части из них носит курьезный характер. Например, софизм «вор» выглядит так: «Вор не желает приобрести ничего дурного; приобретение хорошего есть дело хорошее; следовательно, вор желает хорошего». Странно звучит и следующее утверждение: «Лекарство, принимаемое больным, есть добро; чем больше делать добра, тем лучше; значит, лекарство нужно принимать в больших дозах». Существуют и другие известные софизмы, например: «Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит», «Сократ — человек; человек — не то же самое, что Сократ; значит, Сократ — это нечто иное, чем Сократ», «Эти кутята твои, пес, отец их, тоже твой, и мать их, собака, тоже твоя. Значит, эти кутята твои братья и сестры, пес и сука — твои отец и мать, а сам ты собака».
Такие софизмы нередко использовались для того, чтобы ввести оппонента в заблуждение. Без такого оружия в руках, как логика, соперникам софистов в споре было нечего противопоставить, хотя зачастую они и понимали ложность софистических умозаключений. Споры в Древнем мире зачастую заканчивались драками.
При всем отрицательном значении софизмов они имели обратную и гораздо более интересную сторону. Так, именно софизмы стали причиной возникновения первых зачатков логики. Очень часто они ставят в неявной форме проблему доказательства. Именно с софизмов началось осмысление и изучение доказательства и опровержения. Поэтому можно говорить о положительном действии софизмов, т. е. о том, что они непосредственно содействовали возникновению особой науки о правильном, доказательном мышлении.
Известен также целый ряд математических софизмов. Для их получения числовые значения тасуются таким образом, чтобы из двух разных чисел получить одно. Например, утверждение, что 2 х 2 = 5, доказывается следующим образом: по очереди 4 делится на 4, а 5 на 5. Получается результат (1:1) = (1:1). Следовательно, четыре равно пяти. Таким образом, 2 х 2 = 5. Такая ошибка разрешается достаточно легко — нужно лишь произвести вычитание одного из другого, что выявит неравенство двух этих числовых значений. Также опровержение возможно записью через дробь.
Как раньше, так и теперь софизмы используются для обмана. Приведенные выше примеры достаточно просты, легко заметить их ложность и не обладая высокой логической культурой. Однако существуют софизмы завуалированные, замаскированные так, что отличить их от истинных суждений бывает очень проблематично. Это делает их удобным средством обмана в руках подкованных в логическом плане мошенников.
Вот еще несколько примеров софизмов: «Для того чтобы видеть, нет необходимости иметь глаза, так как без правого глаза мы видим, без левого тоже видим; кроме правого и левого, других глаз у нас нет, поэтому ясно, что глаза не являются необходимыми для зрения» и «Что ты не терял, то имеешь; рога ты не терял, значит, у тебя рога». Последний софизм является одним из самых известных и часто приводится в качестве примера.
Можно сказать, что софизмы вызываются недостаточной самокритичностью ума, когда человек хочет понять пока недоступное, не поддающееся на данном уровне развития знание.
Бывает и так, что софизм возникает как защитная реакция при превосходящем противнике, в силу неосведомленности, невежества, когда спорящий не проявляет упорство, не желая сдавать позиций. Можно говорить о том, что софизм мешает ведению спора, однако такую помеху не стоит относить к значительным. При должном умении софизм легко опровергается, хотя при этом и происходит отход от темы рассуждения: приходится говорить о правилах и принципах логики.
2. Парадокс. Понятие, примеры
Переходя к вопросу о парадоксах, нельзя не сказать о соотношении их с софизмами. Дело в том, что четкой грани, по которой можно понять, с чем приходится иметь дело, иногда нет.
Впрочем, парадоксы рассматриваются со значительно более серьезным подходом, в то время как софизмы играют зачастую роль шутки, не более. Это связано с природой теории и науки: если она содержит парадоксы, значит, имеет место несовершенство основополагающих идей.
Сказанное может означать, что современный подход к софизмам не охватывает всего объема проблемы. Многие парадоксы толкуются как софизмы, хотя не теряют своих первоначальных свойств.
Парадоксом можно назвать рассуждение, которое доказывает не только истинность, но и ложность некоторого суждения, т. е. доказывающее как само суждение, так и его отрицание. Другими словами, парадокс — это два противоположных, несовместимых утверждения, для каждого из которых имеются кажущиеся убедительными аргументы.
Один из первых и, безусловно, образцовых парадоксов был записан Эвбулидом — греческим поэтом и философом, критянином. Парадокс носит название «Лжец». До нас этот парадокс дошел в таком виде: «Эпименид утверждает, что все критяне — лжецы. Если он говорит правду, то он лжет. Лжет ли он или же говорит правду?». Этот парадокс именуется «королем логических парадоксов». Разрешить его до настоящего времени не удалось никому. Суть этого парадокса состоит в том, что когда человек говорит: «Я лгу», он не лжет и не говорит правду, а, точнее, делает одновременно и то и это. Другими словами, если предположить, что человек говорит правду, выходит, что он на самом деле лжет, а если он лжет, значит, раньше он сказал правду об этом. Здесь утверждаются оба противоречащих факта. Само собой, по закону исключенного третьего это невозможно, однако именно поэтому данный парадокс и получил столь высокий «титул».
В развитие теории пространства и времени большой вклад внесли жители города Элея, элеаты. Они опирались на идею о невозможности небытия, которая принадлежит Пармениду. Всякая мысль согласно этой идее есть мысль о существующем. При этом отрицалось любое движение: мировое пространство считалось целостным, мир единым, без частей.
Древнегреческий философ Зенон Элейский известен тем, что составил серию парадоксов о бесконечности — так называемые апории Зенона.
Зенон, ученик Парменида, развивал эти идеи, за что был назван Аристотелем «родоначальником диалектики». Под диалектикой понималось искусство достигать истины в споре, выявляя противоречия в суждении противника и уничтожая их.
Далее представлены непосредственно апории Зенона.
«Ахиллес и черепаха» представляет собой апорию о движении. Как известно, Ахиллес — это древнегреческий герой. Он обладал недюжинными способностями в спорте. Черепаха очень медлительное животное. Однако в апории Ахиллес проигрывает черепахе состязание в беге. Допустим, Ахиллесу нужно пробежать расстояние, равное 1, а бежит он в два раза быстрее черепахи, последней нужно пробежать 1/2. Движение их начинается одновременно. Получается, что, пробежав расстояние 1/2, Ахиллес обнаружит, что черепаха успела за то же время преодолеть отрезок 1/4. Сколько бы ни пытался Ахиллес обогнать черепаху, она будет находиться впереди ровно на 1/2. Поэтому Ахиллесу не суждено догнать черепаху, это движение вечно, его нельзя завершить.
Невозможность завершить эту последовательность заключается в том, что в ней отсутствует последний элемент. Всякий раз, указав очередной член последовательности, мы можем продолжить указанием следующего.
Парадоксальность здесь заключается в том, что бесконечная последовательность следующих друг за другом событий на самом деле все-таки должна завершиться, хотя бы мы и не могли себе представить этого завершения.
Другая апория носит название «дихотомия». Рассуждение построено на тех же принципах, что и предыдущее. Для того чтобы пройти весь путь, необходимо пройти половину пути. В этом случае половина пути становится путем, и чтобы его пройти, необходимо отмерить половину (т. е. уже половину половины). Так продолжается до бесконечности.
Здесь порядок следования по сравнению с предыдущей апорией перевернут, т. е. (1/2)n…, (1/2)3, (1/2)2, (1/2)1. Ряд тут не имеет первой точки, тогда как апория «Ахиллес и черепаха» не имела последней.
Из этой апории делается вывод, что движение не может начаться. Исходя из рассмотренных апорий движение не может закончиться и не может начаться. Значит, его нет.
Опровержение апории «Ахиллес и черепаха».
Как и в апории, в опровержении ее фигурирует Ахиллес, но не одна, а две черепахи. Одна из них находится ближе другой. Движение также начинается одновременно. Ахиллес бежит последним. За то время, как Ахилл пробежит разделяющее их вначале расстояние, ближняя черепаха успеет уползти несколько вперед, что будет продолжаться до бесконечности. Ахиллес будет все ближе и ближе к черепахе, но никогда не сможет ее догнать. Несмотря на явную ложность, логического опровержения такому утверждению нет. Однако если Ахиллес станет догонять дальнюю черепаху, не обращая внимания на ближнюю, он, согласно этой же апории, сумеет вплотную приблизиться к ней. А раз так, то он обгонит ближнюю черепаху.
Это приводит к логическому противоречию.
Для опровержения опровержения, т. е. защиты апории, что само по себе странно, предлагают откинуть груз образных представлений. И выявить формальную суть дела. Здесь следует сказать, что сама апория основывается на образных представлениях и откинуть их — значит опровергнуть и ее. А опровержение достаточно формально. То, что вместо одной в опровержении взято две черепахи, не делает его более образным, нежели апорию. Вообще же сложно говорить о понятиях, не основанных на образных представлениях. Даже такие высшей абстракции философские понятия, как бытие, сознание и другие, понимаются только благодаря образам, соответствующим им. Без образа, стоящего за словом, последнее оставалось бы лишь набором символов и звуков.