Логические ошибки (паралогизмы, софизмы, парадоксы, абсурды)

Кроме того, паралогизмы следует отличать от парадоксов <http://ru.wikipedia.org/wiki/%D0%9F%D0%B0%D1%80%D0%B0%D0%B4%D0%BE%D0%BA%D1%81> и антиномий <http://ru.wikipedia.org/wiki/%D0%90%D0%BD%D1%82%D0%B8%D0%BD%D0%BE%D0%BC%D0%B8%D1%8F> - правильно построенных умозаключений, приводящих к самопротиворечию <http://ru.wikipedia.org/w/index.php?title=%D0%A1%D0%B0%D0%BC%D0%BE%D0%BF%D1%80%D0%BE%D1%82%D0%B8%D0%B2%D0%BE%D1%80%D0%B5%D1%87%D0%B8%D0%B5&action=edit&redlink=1>. Кант и кантианство

Эммануил Кант <http://ru.wikipedia.org/wiki/%D0%9A%D0%B0%D0%BD%D1%82,_%D0%98%D0%BC%D0%BC%D0%B0%D0%BD%D1%83%D0%B8%D0%BB> определял логический паралогизм <http://ru.wikipedia.org/w/index.php?title=%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%BF%D0%B0%D1%80%D0%B0%D0%BB%D0%BE%D0%B3%D0%B8%D0%B7%D0%BC&action=edit&redlink=1> как ложное по форме умозаключение <http://ru.wikipedia.org/wiki/%D0%A3%D0%BC%D0%BE%D0%B7%D0%B0%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D0%B5>, независимо от того, истинно ли его содержание или нет.

Трансцендентальным паралогизмом называется такое ложное умозаключение, которое имеет трансцендентальное <http://ru.wikipedia.org/wiki/%D0%A2%D1%80%D0%B0%D0%BD%D1%81%D1%86%D0%B5%D0%BD%D0%B4%D0%B5%D0%BD%D1%82%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5> основание. Основание находится в природе разума <http://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D0%B7%D1%83%D0%BC> и ведет к неизбежной иллюзии <http://ru.wikipedia.org/wiki/%D0%98%D0%BB%D0%BB%D1%8E%D0%B7%D0%B8%D1%8F>, которая, однако, может быть устранена. При отсутствии приписываемой критикой <http://ru.wikipedia.org/wiki/%D0%9A%D1%80%D0%B8%D1%82%D0%B8%D0%BA%D0%B0> дисциплины разум принимает свои идеи <http://ru.wikipedia.org/wiki/%D0%98%D0%B4%D0%B5%D1%8F> за предметы сами по себе <http://ru.wikipedia.org/wiki/%D0%92%D0%B5%D1%89%D1%8C_%D0%B2_%D1%81%D0%B5%D0%B1%D0%B5> и переходит к конститутивному применению трансцендентальных идей <http://ru.wikipedia.org/wiki/%D0%A2%D1%80%D0%B0%D0%BD%D1%81%D1%86%D0%B5%D0%BD%D0%B4%D0%B5%D0%BD%D1%82%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%B8%D0%B4%D0%B5%D1%8F>. Как следствие, разум неизбежно впадает в заблуждение (трансцендентальную иллюзию), частным случаем которой является паралогизм.

На основании паралогизма рациональной психологией <http://ru.wikipedia.org/w/index.php?title=%D0%A0%D0%B0%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BF%D1%81%D0%B8%D1%85%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D1%8F&action=edit&redlink=1> производится доказательство в пользу субстанциальности души <http://ru.wikipedia.org/wiki/%D0%94%D1%83%D1%88%D0%B0>. Логический субъект <http://ru.wikipedia.org/w/index.php?title=%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D1%81%D1%83%D0%B1%D1%8A%D0%B5%D0%BA%D1%82&action=edit&redlink=1> в этом доказательстве принимает характер реальной субстанции <http://ru.wikipedia.org/wiki/%D0%A1%D1%83%D0%B1%D1%81%D1%82%D0%B0%D0%BD%D1%86%D0%B8%D1%8F>.

Лиотар

Ж. Ф. Лиотар <http://ru.wikipedia.org/wiki/%D0%9B%D0%B8%D0%BE%D1%82%D0%B0%D1%80,_%D0%96%D0%B0%D0%BD_%D0%A4%D1%80%D0%B0%D0%BD%D1%81%D1%83%D0%B0> выдвинул концепцию, согласно которой для эпохи постмодерна <http://ru.wikipedia.org/w/index.php?title=%D0%AD%D0%BF%D0%BE%D1%85%D0%B0_%D0%BF%D0%BE%D1%81%D1%82%D0%BC%D0%BE%D0%B4%D0%B5%D1%80%D0%BD%D0%B0&action=edit&redlink=1> характерен особый тип легитимизации <http://ru.wikipedia.org/w/index.php?title=%D0%9B%D0%B5%D0%B3%D0%B8%D1%82%D0%B8%D0%BC%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8F&action=edit&redlink=1> (легитимации <http://ru.wikipedia.org/wiki/%D0%9B%D0%B5%D0%B3%D0%B8%D1%82%D0%B8%D0%BC%D0%B0%D1%86%D0%B8%D1%8F>) знания - «легитимизация посредством паралогизма» («легитимация через паралогию <http://ru.wikipedia.org/w/index.php?title=%D0%9B%D0%B5%D0%B3%D0%B8%D1%82%D0%B8%D0%BC%D0%B0%D1%86%D0%B8%D1%8F_%D1%87%D0%B5%D1%80%D0%B5%D0%B7_%D0%BF%D0%B0%D1%80%D0%B0%D0%BB%D0%BE%D0%B3%D0%B8%D1%8E&action=edit&redlink=1>»). Она отличается от легитимации знания в классическую и неклассическую эпоху, поскольку та была организована логическими формами. Кроме того, легитимация через паралогию лишена и прагматической полезности.

Пример паралогизма:

Пример паралогизма.

Мой пиджак сшит из материи,

Материя вечна,

Следовательно, мой пиджак вечен.

 

3. Парадоксы

 

В широком смысле парадокс - это положение, резко расходящееся с общепринятыми, устоявшимися, ортодоксальными мнениями. <Общепризнанные мнения и то, что считают делом давно решенным, чаще всего заслуживают исследования> (ГЛихтенберг). Парадокс - начало такого исследования.

Парадокс в более узком и специальном значении - это два противоположных, несовместимых утверждения, для каждого из которых имеются кажущиеся убедительными аргументы. Парадокс - это всегда полуправда и это, как говорил Оскар Уайльд <http://ru.wikipedia.org/wiki/%D0%A3%D0%B0%D0%B9%D0%BB%D1%8C%D0%B4,_%D0%9E%D1%81%D0%BA%D0%B0%D1%80>, «лучшее, чего мы можем достичь, потому, что абсолютных правд не существует». Парадокс своей стилизованной формой напоминает афоризм. В парадоксе привычная истина рушится на глазах и даже высмеивается. Например, «Я слышал столько клеветы в Ваш адрес, что у меня нет сомнений: Вы - прекрасный человек!» (О. Уайльд), «Взаимное непонимание - самая подходящая основа для брака» (О. Уайльд)

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

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

Примеры парадоксов.

Скромный.

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

Варианты парадокса «Лжеца»

Наиболее известным и, пожалуй, самым интересным из всех логических парадоксов является парадокс «Лжец». Он-то главным образом и прославил имя открывшего его Евбулида из Милета.

Имеются варианты этого парадокса, или антиномии, многие из которых являются только по видимости парадоксальными.

В простейшем варианте «Лжеца» человек произносит всего одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно».

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

В средние века распространенной была такая формулировка:

Сказанное Платоном - ложно, - говорит Сократ.

То, что сказал Сократ, - истина, - говорит Платон.

Возникает вопрос, кто из них высказывает истину, а кто ложь?

А вот современная перефразировка этого парадокса. Допустим, что на лицевой стороне карточки написаны только слова: «На другой стороне этой карточки написано истинное высказывание». Ясно, что эти слова представляют собой осмысленное утверждение. Перевернув карточку, мы должны либо обнаружить обещанное высказывание, либо его нет. Если оно написано на обороте, то оно является либо истинным, либо нет. Однако на обороте стоят слова: «На другой стороне этой карточки написано ложное высказывание» - и ничего более. Допустим, что утверждение на лицевой стороне истинно. Тогда утверждение на обороте должно быть истинным и, значит, утверждение на лицевой стороне должно быть ложным. Но если утверждение на лицевой стороне ложно, тогда утверждение на обороте также должно быть ложным, и, следовательно, утверждение на лицевой стороне должно быть истинным. В итоге - парадокс.

Парадокс «Лжец» произвел громадное впечатление на греков. И легко понять почему. Вопрос, который в нем ставится, с первого взгляда кажется совсем простым: лжет ли тот, кто говорит только то, что он лжет? Но ответ «да» приводит к ответу «нет», и наоборот. И размышление ничуть не проясняет ситуацию. За простотой и даже обыденностью вопроса оно открывает какую-то неясную и неизмеримую глубину.

Ходит даже легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят также, что один из известных древнегреческих логиков, Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение «Лжеца», и вскоре умер, так ничего и не добившись.

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

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

Теперь «Лжец>»- этот типичный бывший софизм - нередко именуется королем логических парадоксов. Ему посвящена обширная научная литература. И тем не менее, как и в случае многих других парадоксов, остается не вполне ясным, какие именно проблемы скрываются за ним и как следует избавляться от него.

Язык и метаязык

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

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

Если бы у кого-то возникла мысль о необходимости говорить о мире на одном языке, а о свойствах этого языка - на другом, он мог бы воспользоваться двумя разными существующими языками, допустим русским и английским. Вместо того, чтобы просто сказать: «Корова - это существительное», сказал бы «Корова is a noun», а вместо, «Утверждение «Стекло не прозрачно» ложно» произнес бы is false». При таком использовании двух разных языков сказанное о мире ясно отличалось бы от сказанного о языке, с помощью которого говорят о мире. В самом деле, первые высказывания относились бы к русскому языку, в то время как вторые - к английскому.

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

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

Ясно, что, если язык и метаязык разграничиваются указанным образом, утверждение «Я лгу» уже не может быть сформулировано. Оно говорит о ложности того, что сказано на русском языке, и, значит, относится к метаязыку и должно быть высказано на английском языке. Конкретно оно должно звучать так: («Все сказанное мной по-русски ложно»); в этом английском утверждении ничего не говорится о нем самом, и никакого парадокса не возникает.

Различение языка и метаязыка позволяет устранить парадокс «Лжеца». Тем самым появляется возможность корректно, без противоречия определить классическое понятие истины: истинным является высказывание, соответствующее описываемой им. Парадокс пьяницы

В любом кабаке существует, по крайней мере, один человек - такой, что если он пьет, то пьют все.

При этом рассуждения ведутся следующим образом:

Допустим, утверждение, что в кабаке пьют все, истинно. Выделим среди всех, кто пьет в кабаке, какого-то одного человека. Назовем его Джоном. Тогда верно утверждение, что если пьют все, то пьет и Джон. И наоборот, если пьет Джон, то пьют и все.

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

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

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

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

Все лошади одного цвета.

Все лошади одного цвета. Проведём доказательство по индукции <http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F>.

База индукции: Одна лошадь, очевидно, одного (одинакового) цвета.

Шаг индукции: Пусть доказано, что любые K лошадей всегда одного цвета. Рассмотрим K + 1 каких-то лошадей. Уберём одну лошадь. Оставшиеся K лошадей одного цвета по предположению индукции. Возвратим убранную лошадь и уберём какую-то другую. Оставшиеся K лошадей снова будут одного цвета. Значит, все K + 1 лошадей одного цвета.

Отсюда следует, что все лошади одного цвета. Утверждение доказано.