Парадокс лжеца: различия между версиями

Парадокс относится к классу семантических, а не теоретико-множественных. Это деление было предложено Ф. Рамсеем, который обозначил Парадокс Лжеца (в виде «Я сейчас лгу») как лингвистический:<blockquote>«...противоречия группы В не являются чисто логическими и не могут быть сформулированы в одних логических терминах, ибо все они содержат некоторую отсылку к мысли, языку или символизму, которые являются не формальными, но эмпирическими терминами. Поэтому своим возникновением они могут быть обязаны не ошибочной логике или математике, но ошибочным идеям, касающимся мысли и языка»<ref>''Рамсей Ф.'' Основания математики / Рамсей Ф. Философские работы. —М— М.: Канон+, 2011. — С.16-64.</ref>.</blockquote>Несмотря на логичное указание Рамсея, парадокс часто пытаются решить именно логико-математическими средствами. После формирования своей теории истины [[Тарский, Альфред|А. Тарским]] его логико-математическая теория использовалась для попыток переформулировки парадокса с бытового языка на некий формальный язык, имеющий однозначную логическую структуру<ref>''Sher G.'' Truth, the Liar, and Tarski's Semantics / A Companion to Philosophical logic. — Oxford: Blackwell Publishers, 2002. — P.145-163.</ref>.