ЛЖЕЦЛЖИВОСТЬ

Лжеца парадокс

Найдено 3 определения термина Лжеца парадокс

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] Время: [постсоветское] [современное]

Лжеца парадокс

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Глоссарий к книге Аналитическая философия

ЛЖЕЦА ПАРАДОКС

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

Традиционная лаконичная формулировка парадокса гласит: если лгущий говорит, что он лжет, то он одновременно лжет и говорит правду.

В ср. в. была распространенной такая формулировка "Л." п.: "Сказанное Платоном - ложно, - говорит Сократ. - То, что сказал Сократ, - истина, - говорит Платон". Возникает вопрос: кто из них высказывает истину, а кто - ложь?

Открытие "Л." п. приписывается древнегреческому философу Евбулиду (IV в. до н. э.). Оно произвело громадное впечатление. Философ-стоик Хрисипп (ок. 281-208 до н. э.) посвятил ему три книги. Некто Филет Косский, отчаявшись разрешить парадокс, покончил с собой. Предание говорит, что известный древнегреческий логик Диодор Кронос (ум. ок. 307 до н. э.) уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение "Лжеца", и вскоре умер, ничего не добившись. В древности "Лжец" рассматривался как хороший пример двусмысленного выражения. В ср. в. "Л." п. был отнесен к т. наз. "неразрешимым предложениям" и сделался объектом систематического анализа.

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

Чаще всего "Л." п. считается характерным примером тех трудностей, к которым ведет смещение двух языков: языка предметного, на котором говорится о лежащей вне языка действительности, и метаязыка, на котором говорят о самом предметном языке. В повседневности нет различий между этими языками: и о действительности, и о языке говорится на одном и том же языке. Если язык и метаязык разграничиваются, утверждение "Я лгу" уже не может быть сформулировано.

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Словарь по логике

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

ПАРАДОКС ЛЖЕЦА — в своей древнейшей форме, восходящей к античности, предлагает рассмотреть утверждение человека о том, что он — лжец (отсюда название парадокса).         С начала 20 в. философы и логики — желая абстрагироваться от несущественных для философского осмысления парадокса вопросов о природе обмана и ментальных актов и стремясь сосредоточится на вопросах, касающихся истины и лжи как свойств предложений языка — предпочитают следующую формулировку П. л.: [SJ Предложение [S ] ложно. (Здесь [SJ — имя предложения, напечатанного курсивом; таким образом, [S ] утверждает, что оно само — ложно.) Парадокс возникает при попытке ответить на вопрос: истинно или ложно [S ]? Если [S ] истинно, то, поскольку оно утверждает собственную ложность, оно ложно; если [SJ ложно, то, поскольку именно это оно и утверждает, оно истинно; таким образом, [SJ истинно, если, и только если, оно ложно, а значит не истинно. Важность П. л. для современной философии обусловлена тем, что — показывая, что наше интуитивное представление об истинности и ложности противоречиво — он работает как лакмусовая бумажка для теорий истинности: теории, предлагающие такое понимание истинности, которое позволяет получить парадоксы, аналогичные П. л., считаются заведомо несостоятельными.         Первое серьезное рассмотрение П. л. было предпринято в 1930-х А. Тарским, полагавшим, что П. л. указывает на неизбежную противоречивость понятия истинности в естественных языках, обусловленную тем, что предложения естественного языка могут утверждать свою собственную истинность или ложность. Поскольку Тарского интересовало исключительно такое понятие истинности, которое могло бы использоваться для целей научного познания, он считал, что П. л. показывает, что естественные языки для этих целей неприемлемы. Соответственно, Тарский предложил методологию не приводящего к П. л. определения понятия истинности для формализованных языков (предназначенных для научного познания). Суть методологии Тарского заключается в использование не одного, а иерархии формализованных языков — последовательности языков L,, L2, L,... (и т.д.), в которой каждый последующий язык богаче предыдущих; каждый язык иерархии — в отличие от естественных языков — недостаточно богат для того, чтобы утверждать истинность или ложность своих собственных предложений (так, истинность предложений L1 может утверждаться в L2 или еще в более богатых языках), что означает, что П. л. не может быть сформулирован ни в одном из языков иерархии. Определяя истинность для языков своей иерархии, Тарский следовал классическому пониманию истинности как соответствия действительности. Благодаря популярности в 30—50-х гг. 20 в. логического позитивизма с его пренебрежением к формам познания, отличным от науки, и отчасти благодаря мощи и красоте формального аппарата, развитого Тарским для определения истинности формализованных языков, в течение долгого времени было принято считать, что Тарский удовлетворительно решил П. л. Однако закат логического позитивизма привел к переоценке работы Тарского: предложенная им методология определения понятия истинности для формальных языков, не приводящего к аналогам П. л., не имеет ничего общего с анализом исходного П. л., сформулированного в естественном языке; Тарский показал, как можно непротиворечиво определить истинность для формализованных языков, но не предложил анализа противоречивости нашего интуитивного представления об истинности предложений естественного языка.         В 1970-х такой анализ был предложен С. Крипке, полагавшим, что классическое понимание истинности как соответствия действительности требует существенного уточнения: понятие «соответствие действительности» должно предполагать наличие внеязыковой действительности. Так, предложение «"Снег бел" истинно» истинно, ибо его истинность, в конце концов, основана на соответствии предложения «Снег бел» внеязыковой действительности, белизне снега. С другой стороны, «Это предложение истинно» нельзя считать истинным, ибо нельзя сказать, что оно соответствует внеязыковой действительности; однако его также нельзя считать ложным, ибо оно не противоречит внеязыковой действительности — оно с ней «не соприкасается». Такие предложения Крипке предложил считать не истинными и не ложными. Нетрудно увидеть, что [S ] — именно такое предложение.         Анализ Крипке был подвергнут критике на основании того, что он, по мнению многих, не в состоянии предложить решение связанного с П. л. парадокса, известного как «усиленный парадокс лжеца» (УПЛ): рассмотрим предложение [S ] S2 не истинно. Если S2, наподобие S, не истинно и не ложно, то оно, в частности, не истинно. Но тогда оно должно быть истинно, ибо именно свою неистинность оно и утверждает, что парадоксально. На это можно ответить, что используемое в УПЛ рассуждение не имеет смысла, ибо S2 «не касается действительности», а значит определенно S2 не истинно. Но этот ответ использует как истинное предложение (выделено курсивом), которое он объявляет не истинным, что парадоксально.         Наиболее популярные в настоящее время подходы к разрешению П. л. основаны на различении между предложениями и утверждениями. В зависимости от контекста, предложения могут выражать различные утверждения (так, «Я голоден» выражает различные утверждения, если произносится двумя разными людьми). Тогда только утверждения, а не предложения, могут считаться истинными или ложными, и в зависимости от контекста одно и то же предложение может содержать то истинное, то ложное утверждение. Также ничто не запрещает нам предполагать, что некоторые предложения, в силу семантического дефекта, не выражают никакого утверждения. Более того, предложение может в определенном контексте выражать истинное утверждение, в то время как в другом — не выражать истинного утверждения. Так, предложение «Единственное предложение, записанное на доске в аудитории 1145, не выражает истинного утверждения», записанное на доске аудитории 1145, семантически дефектно, а значит не истинно; тем не менее, если бы я произнес то же самое предложение, глядя на доску в аудитории 1145, то оно, при данном употреблении, выражало бы истинное утверждение. Аналогично, если мы используем аналог S2 так: [ S * ] S *, не выражает истинного утверждения, то оно не выражает истинного утверждения. Но если бы вместо выделенной курсивом части предыдущего предложения я использовал само S*, то оно выражало бы истинное утверждение. Очевидно, что апелляции к отсутствию связи с реальностью не могут объяснить, в чем заключается различие в использовании S*2 в двух упомянутых контекстах. Пожалуй, наиболее популярным в настоящее время является объяснение, апеллирующее к расселовскому принципу порочного круга (ни одна совокупность А не может иметь член, определимый только через А). Рассмотрим утверждение [ S *2 ] S * 2 не выражает истинного утверждения — и спросим, из каких утверждений состоит совокупность А утверждений, к которым апеллирует S *2 ? Очевидно только утверждение (обозначим его S) о том, что S*2 не выражает истинного утверждения. Но S определимо только через А, а значит S не существует. Это означает, что в У П Л S *2 не выражает никакого утверждения, в чем и заключается его семантический дефект.         Д.П. Шкатов

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Энциклопедия эпистемологии и философии науки

Найдено схем по теме Лжеца парадокс — 0

Найдено научныех статей по теме Лжеца парадокс — 0

Найдено книг по теме Лжеца парадокс — 0

Найдено презентаций по теме Лжеца парадокс — 0

Найдено рефератов по теме Лжеца парадокс — 0