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

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