Логическая ошибка это в математике

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

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

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

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

Если доказывается не то, что требовалось доказать, то такая подмена тезиса называется ignoratio elenchi (elenchus означает опровержение какого-либо аргумента, a ignoratio elenchi озна­чает незнание того силлогизма, которым можно опровергнуть противника). Например, если нужно доказать, что что-либо не­справедливо в моральном смысле, а кто-нибудь стал бы доказы­вать, что это несправедливо в юридическом смысле, то он вместо одного доказывал бы совсем иное, хотя и сходное. Если доказы­вается что-либо отличное по роду от того, что нужно доказать; это будет ошибкой uerabaqic eig ajjo yevoc или «переходом в другой род». Например, когда кто-нибудь хочет доказывать неви­новность обвиняемого тем, что другие совершили то же самое преступление, но избегли наказания.

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

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

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

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

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

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

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

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

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

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

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

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

Ошибкой Circulus In Demonstrando называется тот случай, когда тезис А доказывается посредством аргумента В, который в свою очередь доказывается посредством аргумента А. Напри­мер, мы утверждаем, что сочинение того или иного писателя заслуживает доверия, потому что он правдив. Нас спрашивают:

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

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

Ошибка 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 («после этого значит по причине этого») называется также ошибкой): nоn causa pro causa («от того, что не является причиной, к причине»). Если кто-нибудь заметил, что после какого-либо события возникает какое-либо действие, то он считает первое событие причиной, хотя в действительности, может быть, есть События, от которых данное событие находится в большей зависимости и которое собственно является истинной причиной данного действия. Когда после появления кометы возникали какие-либо несчастья, то обыкновенно комету считали причиной несчастий. Когда в трубке возникала пустота и вода в ней поднималась, то думали, что пустота есть причина поднятия воды. Если после введения какой-нибудь формы правления возникают какие-нибудь события, то обыкновенно эти формы правления считаются причиной их, между тем как истинные причины, может быть, заключаются в чём-нибудь другом, например в определённой степени умственного или нравственного развития общества.

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

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

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

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

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

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

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

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

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

Никакие два класса делятся логические ошибки? Что такое Komonymia? Что такое 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? Перечислите, какие существуют ошибки индукции, н объясните их. Какое различие между софизмами и паралогизмами?

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

Основы логики мы рассматривали отдельно. Настоятельно рекомендуем ознакомиться с ними и узнать 4 главных закона логики. Также обратите внимание на когнитивные искажения, или распространенные ошибки мышления. Очень интересно!

Но сейчас мы будем говорить только о логических ошибках.

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

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

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

Что такое Логическая Ошибка

Логическая ошибка – в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений.

Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство неверным в целом.

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

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

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

Нарушение закона тождества

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

– Можно мне взять твои книги?

– Возьми.

– А я не хочу их брать.

– Тогда не бери.

– Он запретил мне брать свои книги.

Здесь в выражении «не бери» смешиваются два разных суждения: «не бери» в смысле «можешь не брать» и «не бери» в смысле «нельзя брать», в результате чего нарушается закон тождества и неизбежно возникает недоразумение.

Часто самые незначительные изменения во фразе, например, перенос ударения, могут совершенно изменить ее логический смысл.

Вспомним недоразумение, которое возникло в связи с высказыванием Исаака Ньютона: «Гипотез не сочиняю». Многих удивляло, что Ньютон, несмотря на это заявление, сам выдвигал много гипотез.

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

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

Нарушение закона исключенного третьего

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

В одной бане, вывешено объявление следующего содержания:

В камеру хранения принимаются:

• верхняя одежда,
• головные уборы,
• обувь,
• деньги и ценные вещи.

Не принимаются на хранение:

• огнестрельное и холодное оружие,
• горючие вещества,
• продукты,
• молотки и ножи.

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

На основании указанного объявления суждение «книги принимаются» отрицается так же, как и суждение «книги не принимаются».

Логические ошибки мышления

В рассмотренных примерах противоречие возникает между двумя разными суждениями. Но законы мышления могут быть нарушены и внутри одного суждения.

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

Это утверждение опроверг Аристотель следующим образом.

Утверждение «истинных суждений не существует» является суждением. Если все суждения неистинны, то неистинно также и это суждение, то есть неистинно, что истинных суждений нет. А это значит, что истинные суждения существуют.

Такого же рода внутренне противоречивое суждение высказывает Пигасов в романе Тургенева «Рудин».

– Прекрасно! – промолвил Рудин, – стало быть, по-вашему, убеждений нет?

– Нет – и не существует.

– Это ваше убеждение?

– Да.

– Как же вы говорите, что их нет? Вот вам уже одно на первый случай.

Логика Галилея

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

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

Пусть большой камень падает с какой-то определенной скоростью. Тогда другой камень, поменьше, будет падать с меньшей скоростью.

Теперь предположим, что мы сложили эти камни. С какой скоростью будет падать новый камень, вес которого равен весу двух первых?

1. С одной стороны, эта скорость должна быть меньше скорости первого камня, поскольку мы присоединили к нему камень, падающий с меньшей скоростью, и этим самым уменьшили скорость падения первого камня.
2. С другой стороны, вес камня, получившегося от сложения двух камней, больше веса каждого из них, поэтому и скорость его падения должна быть больше скорости каждого отдельного камня.
3. Получается противоречие: скорость двойного камня одновременно и меньше и больше скоростей каждого из двух первых камней, что противоречит закону исключенного третьего.

Чтобы устранить это противоречие, говорит Галилей, нужно сделать допущение, что все тела падают с одинаковым ускорением.

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

К слову сказать, это обстоятельство используется на суде для уличения преступника. Запутавшись в противоречивых показаниях, преступник бывает вынужден сознаться в своем преступлении.

Софизмы

Если законы логики нарушаются умышленно, то мы имеем дело с софизмами (от греч. sophisma – «измышление, хитрость»), которые представляют собой внешне правильные доказательства ложных мыслей.

Приведем несколько популярных софизмов.

Разные числа

Числа 3 и 4 – это два разных числа, 3 и 4 – это 7, следовательно, 7 – это два разных числа.

В данном внешне правильном и убедительном рассуждении смешиваются или отождествляются различные, нетождественные вещи: простое перечисление чисел (первая часть рассуждения) и математическая операция сложения (вторая часть рассуждения); между первым и вторым нельзя поставить знак равенства, т. е. налицо нарушение закона тождества.

Женщина – не человек

Или вот еще один пример софизма, где ловко прячется простая логическая ошибка.

Любой мужчина – человек. Женщина не мужчина. Следовательно, женщина – не человек.

Знаешь то, чего не знаешь

– Знаешь ли ты, о чём я хочу тебя спросить?

– Нет.

– Знаешь ли ты, что добродетель есть добро?

– Знаю.

– Об этом я и хотел тебя спросить. А ты, выходит, не знаешь то, что знаешь.

Лекарство

Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше. Значит, лекарств нужно принимать как можно больше.

Вор

Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего.

Как разоблачать софизмы

Для разоблачения софизма необходимо найти в рассуждении два объекта, которые умышленно и незаметно отождествляются.

При этом стоит заметить, что сделать это далеко не всегда просто. Именно поэтому так важно развивать логическое мышление.

Паралогизмы

От софизмов следует отличать паралогизмы (от греч. paralogismus – «неправильное рассуждение») – логические ошибки, допускаемые непроизвольно, в силу незнания, невнимательности или иных причин. Рассмотрим несколько примеров.

1. Один человек пожилого возраста доказывает, что сила его, несмотря на преклонные годы, ничуть не уменьшилась:

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

1. В одной китайской семье родилась девочка. Когда ей исполнился год, к ее родителям пришел сосед и стал сватать девочку за своего двухлетнего сына. Отец сказал:

– Моей девочке всего год, а твоему мальчику целых два, т. е. он в два раза старше ее, значит, когда моей дочери будет 20 лет, твоему сыну будет уже 40. Зачем же мне выдавать свою дочь за старого жениха?!

Эти слова услышала жена и возразила:

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

1. Маленький мальчик спрашивает:

– Мама, что от нас дальше – Луна или Африка?

– Конечно же Африка, ведь Луну отсюда видно, а Африку – нет!

Логические парадоксы

Также от софизмов следует отличать логические парадоксы (греч. paradoxes – «неожиданный, странный»).

Парадокс в широком смысле слова – это нечто необычное и удивительное, то, что расходится с привычными ожиданиями, здравым смыслом и жизненным опытом.

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

Если софизм – это всегда какая-либо уловка, преднамеренная логическая ошибка, которую можно обнаружить, разоблачить и устранить, то парадокс представляет собой неразрешимую ситуацию.

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

Парадокс лжеца

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

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

Существует несколько формулировок парадокса лжеца. Наиболее коротко и просто он формулируется в ситуации, когда человек произносит простую фразу: Я лжец.

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

Рассмотрим последовательно оба случая. В первом из которых это высказывание является истинным, а во втором – ложным.

• Допустим, что фраза «Я лжец» истинна, т. е. человек, который произнес ее, сказал правду. Но в этом случае он действительно лжец, следовательно, произнеся данную фразу, он солгал.
• Теперь предположим, что фраза «Я лжец» ложна, т. е. человек, который произнес ее, солгал, но в этом случае он не лжец, а правдолюб. Следовательно, произнеся данную фразу, он сказал правду.

Получается нечто удивительное и даже невозможное: если человек сказал правду, то он солгал; а если он солгал, то он сказал правду. Два противоречащих суждения не только одновременно истинны, но и вытекают друг из друга.

Парадокс деревенского парикмахера

Другой известный логический парадокс, обнаруженный в начале 20 века английским философом, логиком и математиком Бертраном Расселом, – это парадокс «деревенского парикмахера».

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

Зададимся вопросом: может ли деревенский парикмахер брить самого себя? Рассмотрим оба варианта, в первом из которых он сам себя бреет, а во втором – не бреет.

• Допустим, что деревенский парикмахер сам себя бреет, но тогда он относится к тем жителям деревни, которые бреются сами и которых не бреет парикмахер, следовательно, в этом случае, он сам себя не бреет.
• Теперь предположим, что деревенский парикмахер сам себя не бреет, но тогда он относится к тем жителям деревни, которые не бреются сами и которых бреет парикмахер, следовательно, в этом случае он сам себя бреет.

Как видим, получается невероятное: если деревенский парикмахер сам себя бреет, то он сам себя не бреет; а если он сам себя не бреет, то он сам себя бреет (два противоречащих суждения являются одновременно истинными и взаимообуславливают друг друга).

Парадоксы «лжеца» и «деревенского парикмахера» вместе с другими подобными им парадоксами также называют антино́миями (греч. antinomia – «противоречие в законе»), т. е. рассуждениями, в которых доказывается, что два высказывания, отрицающие друг друга, вытекают одно из другого.

Считается, что антиномии представляют собой наиболее крайнюю форму парадоксов. Однако довольно часто термины «логический парадокс» и «антиномия» рассматриваются как синонимы.

Протагор и Эватл

Менее удивительную формулировку, но не меньшую известность, чем парадоксы «лжеца» и «деревенского парикмахера», имеет парадокс «Протагор и Эватл», также появившийся в Древней Греции.

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

Учитель и ученик договорились, что Эватл заплатит Протагору гонорар за обучение только в том случае, если выиграет свой первый судебный процесс.

Однако по завершении обучения Эватл не стал участвовать ни в одном процессе. И денег учителю, разумеется, не платил. Протагор пригрозил ему, что подаст на него в суд. И тогда Эватлу в любом случае придется заплатить.

– Тебя или присудят к уплате гонорара, или не присудят, – сказал ему Протагор, – если тебя присудят к уплате, ты должен будешь заплатить по приговору суда; если же тебя не присудят к уплате, то ты, как выигравший свой первый судебный процесс, должен будешь заплатить по нашему уговору.

На это Эватл ему ответил:

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

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

Договор учителя и ученика, несмотря на его вполне невинный внешний вид. Является внутренне, или логически, противоречивым. Так как он требует выполнения невозможного действия: Эватл должен и заплатить за обучение, и не заплатить одновременно.

В силу этого сам договор между Протагором и Эватлом, а также вопрос об их тяжбе представляет собой не что иное, как логический парадокс.

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

Как избегать логических ошибок

Как же научиться не делать логических ошибок, то есть мыслить правильно, во всех случаях, по каким угодно вопросам, знакомым или впервые встретившимся, о каких угодно предметах, привычных и непривычных?

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

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

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

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

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

Использованная литература:

Авенир Уемов «Логические ошибки»,

Дмитрий Гусев «Удивительная логика».