Реферат: Логические парадоксы
- «Я высказываю сейчас ложное предложение»;
- «Все, что X утверждает в промежуток времени Р – ложь»;
- «Это утверждение ложно»;
- «Это утверждение не принадлежит к классу истинных высказываний”.
Хотя приведенный список далеко не полон, он дает некоторое представление о сути проблемы. Логическая проблема состоит в том, что предположение о ложности приведенных высказываний ведет к их истинности и наоборот.
Древних греков очень занимало, каким образом, казалось бы, вполне осмысленное утверждение не может быть ни истинным, ни ложным без того, чтобы при этом не возникло противоречия. Философ Хризипп написал шесть трактатов о парадоксе лжеца, ни один из которых не сохранился до нашего времени. Ходит легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят также, что один из известных древнегреческих логиков, Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение «Лжеца», и вскоре умер, так ничего и не добившись.
В средние века этот парадокс был отнесен к так называемым неразрешимым предложениям и сделался объектом систематического анализа. Теперь «Лжец» — этот типичный бывший софизм — нередко именуется королем логических парадоксов. Ему посвящена обширная научная литература. И тем не менее, как и в случае многих других парадоксов, остается не вполне ясным, какие именно проблемы скрываются за ним и как следует избавляться от него.
Рассмотрим первую формулировку: приписываемое Эпимениду утверждение логически противоречиво, если предположить, что лжецы всегда лгут, а нелжецы всегда говорят правду. При таком предположении утверждение "Все критяне лжецы" не может быть истинным, ибо тогда Эпименид был бы лжецом и, следовательно, то, что он утверждает, было бы ложью. Но это утверждение не может быть и ложным, ибо это означало бы, что критяне говорят только правду и, следовательно, то, что сказал Эпименид, также истинно.
История логики знает множество попыток и подходов к разрешению данного парадокса. Одна из первых - попытка представления "парадокса лжеца" в качестве софизма. Суть такого представления в том, что в реальной жизни ни один лгун не говорит только ложь. Следовательно, парадокс - софизм, основанный на ложной посылке.
Но такое объяснение приемлемо лишь для первой (ранней) формулировки парадокса, но не "снимает" парадокс в его более точных современных формулировках. Существует несколько решений парадокса лжеца в его современной формулировке. Какое из решений правильное? Все правильны. Как такое может быть? Потому, что парадокс - это рассуждение, ведущее к противоречию. Избавиться от противоречия можно разными способами. Все они сводятся к замене некоторого сомнительного кусочка рассуждений на более правильный. В результате получается рассуждение, аналогичное прежнему, но без видимых противоречий. Кроме того, различные решения приводятся через разные виды логик.
Заменять можно разные кусочки. В каждом случае получатся различные решения, а какое из них предпочесть - дело вкуса. Одному самым сомнительным кажется один кусочек, другому - другой. Иногда самый первый сомнительный кусочек заметен и очевиден.
Пожалуй, самым распространенным вариантом решения парадокса лжеца является разделение языка и метаязыка:
Сейчас «Лжец» обычно считается характерным примером тех трудностей, к которым ведет смешение двух языков: языка, на котором говорится о лежащей вне его действительности, и языка, на котором говорят о самом первом языке.
В повседневном языке нет различия между этими уровнями: и о действительности, и о языке мы говорим на одном и том же языке. Например, человек, родным языком которого является русский язык, не видит никакой особой разницы между утверждениями: «Стекло прозрачно» и «Верно, что стекло прозрачно», хотя одно из них говорит о стекле, а другое — о высказывании относительно стекла.
Если бы у кого-то возникла мысль о необходимости говорить о мире на одном языке, а о свойствах этого языка — на другом, он мог бы воспользоваться двумя разными существующими языками, допустим русским и английским. Вместо того, чтобы просто сказать: «Корова — это существительное», сказал бы «Корова isanoun», а вместо: «Утверждение «Стекло не прозрачно» - ложно» произнес бы «Theassertion «Стекло не прозрачно» isfalse». При таком использовании двух разных языков сказанное о мире ясно отличалось бы от сказанного о языке, с помощью которого говорят о мире. В самом деле, первые высказывания относились бы к русскому языку, в то время как вторые — к английскому.
Если бы далее нашему знатоку языков захотелось высказаться по поводу каких-то обстоятельств, касающихся уже английского языка, он мог бы воспользоваться еще одним языком. Допустим немецким. Для разговора об этом последнем можно было бы прибегнуть, положим, к испанскому языку и т.д.
Получается, таким образом, своеобразная лесенка, или иерархия, языков, каждый из которых используется для вполне определенной цели: на первом говорят о предметном мире, на втором — об этом первом языке, на третьем — о втором языке и т.д. Такое разграничение языков по области их применения — редкое явление в обычной жизни. Но в науках, специально занимающихся, подобно логике, языками, оно иногда оказывается весьма полезным. Язык, на котором рассуждают о мире, обычно называют предметным языком. Язык, используемый для описания предметного языка, именуют метаязыком.
Ясно, что, если язык и метаязык разграничиваются указанным образом, утверждение «Я лгу» уже не может быть сформулировано. Оно говорит о ложности того, что сказано на русском языке, и, значит, относится к метаязыку и должно быть высказано на английском языке. Конкретно оно должно звучать так: «EverythingIspeakinRussianisfalse» («Все сказанное мной по-русски ложно»); в этом английском утверждении ничего не говорится о нем самом, и никакого парадокса не возникает.
Различение языка и метаязыка позволяет устранить парадокс «Лжеца». Тем самым появляется возможность корректно, без противоречия определить классическое понятие истины: истинным является высказывание, соответствующее описываемой им действительности.
Понятие истины, как и все иные семантические понятия, имеет относительный характер: оно всегда может быть отнесено к определенному языку.
Как показал польский логик АТарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет.
Тарский ввел понятие семантически замкнутого языка. Такой язык включает, помимо своих выражений, их имена, а также, что важно подчеркнуть, высказывания об истинности формулируемых в нем предложений. Границы между языком и метаязыком в семантически замкнутом языке не существует. Средства его настолько богаты, что позволяют не только что-то утверждать о внеязыковой реальности, но и оценивать истинность таких утверждений. Этих средств достаточно, в частности, для того, чтобы воспроизвести в языке антиномию «Лжец». Семантически замкнутый язык оказывается, таким образом, внутренне противоречивым. Каждый естественный язык является, очевидно, семантически замкнутым.
Единственно приемлемый путь для устранения антиномии, а значит, и внутренней противоречивости, согласно Тарскому, — отказ от употребления семантически замкнутого языка. Этот путь приемлем, конечно, только в случае искусственных, формализованных языков, допускающих ясное подразделение на язык и метаязык. В естественных же языках с их неясной структурой и возможностью говорить обо всем на одном и том же языке такой подход не очень реален. Ставить вопрос о внутренней непротиворечивости этих языков не имеет смысла. Их богатые выразительные возможности имеют и свою обратную сторону — парадоксы.
Существуют и другие решения парадокса лжеца, например, решение Оккама и решение Буридана:
Итак, существуют высказывания, говорящие о своей собственной истинности или ложности. Идея, что такого рода высказывания не являются осмысленными, очень стара. Ее отстаивал еще древнегреческий логик Хрисипп.В средние века английский философ и логик У.Оккам заявлял, что утверждение «Всякое высказывание ложно» бессмысленно, поскольку оно говорит в числе прочего и о своей собственной ложности. Из этого утверждения прямо следует противоречие. Если всякое высказывание ложно, то это относится и к самому данному утверждению; но то, что оно ложно, означает, что не всякое высказывание является ложным. Аналогично обстоит дело и с утверждением «Всякое высказывание истинно». Оно также должно быть отнесено к бессмысленным и также ведет к противоречию: если каждое высказывание истинно, то истинным является и отрицание самого этого высказывания, то есть высказывание, что не всякое высказывание истинно.
Почему, однако, высказывание не может осмысленно говорить о своей собственной истинности или ложности? Уже современник Оккама, французский философ XIV в. Ж. Буридан, не был согласен с его решением. С точки зрения обычных представлений о бессмысленности, выражения типа «Я лгу», «Всякое высказывание истинно (ложно)» и т.п. вполне осмысленны. О чем можно подумать, о том можно высказаться, — таков общий принцип Буридана. Человек может думать об истинности утверждения, которое он произносит, значит, он может и высказаться об этом. Не все утверждения, говорящие о самих себе, относятся к бессмысленным. Например, утверждение «Это предложение написано по-русски» является истинным, а утверждение «В этом предложении десять слов» ложно. И оба они совершенно осмысленны. Если допускается, что утверждение может говорить и о самом себе, то почему оно не способно со смыслом говорить и о таком своем свойстве, как истинность?
Сам Буридан считал высказывание «Я лгу» не бессмысленным, а ложным. Он обосновывал это так. Когда человек утверждает какое-то предложение, он утверждает тем самым, что оно истинно. Если же предложение говорит о себе, что оно само является ложным, то оно представляет собой только сокращенную формулировку более сложного выражения, утверждающего одновременно и свою истинность, и свою ложность. Это выражение противоречиво и, следовательно, ложно. Но оно никак не бессмысленно.
Аргументация Буридана и сейчас иногда считается убедительной.
Имеются и другие направления критики того решения парадокса «Лжец», которое было в деталях развито Тарским. Действительно ли в семантически замкнутых языках — а таковы ведь все естественные языки — нет никакого противоядия против парадоксов этого типа?