СЕМАНТИЧЕСКИЕ ПАРАДОКСЫ
ПАРАДОКСЫ СЕМАНТИЧЕСКИЕ
парадоксы (антиномии), обусловленные неограничиваемым употреблением нек-рых лингвистич. и семантич. понятий, напр. "истинный", "самоприменимый" или "самоотносимый", "определяемый" и др. П. с. называются также иногда синтаксическими или эпистемоло-г и ч е с к и м и. Термин "П. с." был введен англ. логиком Ф. П. Рамсеем в 1926. Систематич. исследования причин, вызывающих П. с. (как и вообще парадоксы), и соответствующие этим исследованиям выводы, имеющие важное значение для методологии науки, относятся к нач. 20 в., хотя, по существу, парадоксы этого рода были широко известны еще в античности (Евбулид, 4 в. до н.э.) и неоднократно описывались в ср. века не только логиками, но и в религиозной ("Послание к Титу", где, по существу, упоминается т.н. парадокс Эпименида) и художеств. литературе ("Дон Кихот" – одна из загадок, заданных "губернатору" Санчо Пансе). Классич. образец и прообраз большинства этих парадоксов – знаменитый парадокс о "лгущем критянине" (или в неск. др. версии – просто "лжец"). Подробнее о П. с. см. ст. Парадокс, а также Гетерологичности парадокс.
Источник: Философская Энциклопедия. В 5-х т.
ПАРАДОКСЫ СЕМАНТИЧЕСКИЕ
парадоксы, формулировка которых зависит от семантических понятий истины, обозначения и т. п. Семантические же понятия выражают отношения между выражениями языка и объектами, к которым они относятся.
Логический анализ семантических парадоксов, как показал А. Тарский, возможен лишь в языках с точно установленной структурой, которыми являются различные формализованные языки дедуктивной логики.
В этих языках выделяются множества правильно построенных выражений (термов и формул), определяются правила вывода, доказуемость выражений, являющихся высказываниями. Построенные формальные языки называются языкамиобъектами, а языки, в которых изучаются языки-объекты, называются метаязыками.
Языки, в которых семантические понятия, напр. предикат истинности, применимы к самим выражениям этого языка, называются семантически замкнутыми языками. Как показал А. Тарский, источником парадоксов является семантическая замкнутость языков (очевидно, что естественные языки являются семантически замкнутыми). Примером семантического парадокса является парадокс «Лжец», сформулированный древнегреческим философом мегарской школы Эвбулидом: «Один критянин сказал, что все критяне лжецы». В др. формулировке этот парадокс выражается следующим образом: «Если лгущий говорит, что он лжет, то он одновременно лжет и говорит правд}?». Как показал А. Тарский, если сделать метаязык более богатым, чем язык-объект, и включить переводы выражений языка-объекта в метаязык, то парадокс «Лжец» устраняется. В самом деле, пусть язык семантически замкнут, тогда имеются следующие допущения: (1) имеем условия адекватности высказывания и соответствующего ему «положения дел» : истинное высказывание, если и только если р.
Логический анализ семантических парадоксов, как показал А. Тарский, возможен лишь в языках с точно установленной структурой, которыми являются различные формализованные языки дедуктивной логики.
В этих языках выделяются множества правильно построенных выражений (термов и формул), определяются правила вывода, доказуемость выражений, являющихся высказываниями. Построенные формальные языки называются языкамиобъектами, а языки, в которых изучаются языки-объекты, называются метаязыками.
Языки, в которых семантические понятия, напр. предикат истинности, применимы к самим выражениям этого языка, называются семантически замкнутыми языками. Как показал А. Тарский, источником парадоксов является семантическая замкнутость языков (очевидно, что естественные языки являются семантически замкнутыми). Примером семантического парадокса является парадокс «Лжец», сформулированный древнегреческим философом мегарской школы Эвбулидом: «Один критянин сказал, что все критяне лжецы». В др. формулировке этот парадокс выражается следующим образом: «Если лгущий говорит, что он лжет, то он одновременно лжет и говорит правд}?». Как показал А. Тарский, если сделать метаязык более богатым, чем язык-объект, и включить переводы выражений языка-объекта в метаязык, то парадокс «Лжец» устраняется. В самом деле, пусть язык семантически замкнут, тогда имеются следующие допущения: (1) имеем условия адекватности высказывания и соответствующего ему «положения дел» : истинное высказывание, если и только если р.
Источник: Новая философская энциклопедия