Парадокс Куайна - это парадокс, касающийся истинности ценностей , сформулированный Уиллардом Ван Орманом Куайном . [1] Это связано с парадоксом лжеца как с проблемой, и оно призвано показать, что предложение может быть парадоксальным, даже если оно не ссылается на себя и не использует указательные или указательные элементы (т. Е. Явно не ссылается на себя) . Парадокс можно выразить следующим образом:
- "дает ложь, когда предшествует его цитата" дает ложь, когда ему предшествует его цитата.
Если парадокс не ясен, рассмотрите каждую часть приведенного выше описания парадокса постепенно:
- it = дает ложь, если ему предшествует его цитата
- его quote = "дает ложь, если ему предшествует его цитата"
- ему предшествует quote = "дает ложь, если ему предшествует его цитата", дает ложь, если ему предшествует его цитата.
С помощью этих инструментов описание парадокса может быть пересмотрено; можно увидеть, чтобы утверждать следующее:
- Утверждение « « дает ложь, если ему предшествует его цитата », дает ложь, если ему предшествует его цитата», является ложным.
Другими словами, предложение подразумевает, что оно ложно, что парадоксально, поскольку, если оно ложно, то, что в нем говорится, на самом деле истинно.
Мотивация
Лжец парадокс ( «Это предложение является ложным», или «Следующее предложение верно. Предыдущее предложение ложно») демонстрирует существенные трудности при присвоении значения истинности даже простые предложения. Многие философы, пытающиеся объяснить парадокс лжеца - примеры см. В этой статье - пришли к выводу, что проблема заключалась в использовании демонстративного слова «это» или его замен. Как только мы правильно проанализировать этот вид самоссылки , в соответствии с этими философами, парадокс больше не возникает.
Конструкция Куайна демонстрирует, что парадокс такого рода возникает независимо от такой прямой ссылки на себя, поскольку никакая лексема предложения не относится к предложению, хотя предложение Куайна действительно содержит лексему, которая относится к одной из его частей . А именно, «его» в конце предложения является притяжательным местоимением , антецедентом которого является то самое сказуемое, в котором оно встречается. Таким образом, хотя предложение Куайна само по себе не ссылается на себя, оно содержит предикат со ссылкой на себя. [2]
Заявление
Куайн предложил неестественное лингвистическое разрешение на такие логические антиномии , вдохновленного Bertrand Russell «s теории типа и Тарского » работой s. Его система прикрепляла уровни к ряду проблемных выражений, таких как ложь и обозначение . Целые предложения будут стоять выше в иерархии, чем их части. Форма « Пункт о лжи 0 » дает ложь 1 »будет грамматически правильной, а « «Обозначение фразы 0 » означает сам 0 »- неверной. [1]
Джордж Булос , вдохновленный своим учеником Майклом Эрнстом, написал, что предложение может быть синтаксически неоднозначным из-за использования нескольких кавычек , точное совпадение которых не может быть определено. Он переработал традиционную цитату в систему, в которой длина внешних пар так называемых q-меток выражения определяется q-метками, которые появляются внутри выражения. Это учитывает не только упорядоченные кавычки внутри кавычек, но также, скажем, строки с нечетным числом кавычек. [3]
В книге «Гедель, Эшер, Бах: вечная золотая коса» автор Дуглас Хофштадтер предполагает, что предложение Куайна на самом деле использует косвенный тип самоотнесения . Затем он показывает, что косвенная ссылка на себя имеет решающее значение во многих доказательствах теорем Гёделя о неполноте . [4]
Смотрите также
- Парадокс греллинга
- Список парадоксов
- Quine , компьютерная программа, которая производит свой исходный код на выходе
- Самостоятельная ссылка
- Парадокс Рассела
- Парадокс Ябло
Рекомендации
- ^ а б Куайн, WVO (1962). "Парадокс". Scientific American . 206 (4). перепечатано как «Пути парадокса». Пути парадокса и другие очерки . Кембридж: Издательство Гарвардского университета. 1966. С. 1–21.
- ^ Куайн, WVO (1987). «Парадоксы». Quiddities: периодически философский словарь . Издательство Гарвардского университета. С. 145–149. ISBN 0-674-74352-0.
- ^ Булос, Джордж (1995). Леонарди, П; Santambrogio, M (ред.). О Куайне: новые очерки . Издательство Кембриджского университета. С. 283–2296. ISBN 978-0-521-47091-9. Перепечатано в Булос, Джордж (1998). «Цитатная неоднозначность». Логика, логика и логика . Издательство Гарвардского университета. С. 392–405. ISBN 0-674-53766-1.
- ^ Хофштадтер, Дуглас (1979). Гедель, Эшер, Бах: вечная золотая коса . Нью-Йорк: Основные книги.