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

[[Рамсей, Фрэнк Пламптон|Фрэнк Рамсей]] парадокс лжеца (в виде «Я сейчас лгу») рассматривал как лингвистический, относил к классу семантических, а не теоретико-множественных<ref>''[[Рамсей, Фрэнк Пламптон|Фрэнк Рамсей]]'' Основания математики / Рамсей Ф. Философские работы. — М.: Канон+, 2011. — 368 с. — С.16-64. — ISBN 978-5-88373-081-7</ref>:<blockquote>…противоречия группы В не являются чисто логическими и не могут быть сформулированы в одних логических терминах, ибо все они содержат некоторую отсылку к мысли, языку или символизму, которые являются не формальными, но эмпирическими терминами. Поэтому своим возникновением они могут быть обязаны не ошибочной логике или математике, но ошибочным идеям, касающимся мысли и языка.</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>''Солопова M.А.'' Евбулид / Новая философская энциклопедия. В 4-х т. Т. II — М., Мысль, 2010. — С. 5-6.</ref>.
 
К теме «перевода» парадокса на формальный логический язык имеет отношение и Первая теорема о неполноте [[Гёдель, Курт|Гёделя]]:<blockquote>"Факт, что теорема Геделя и парадокс Лжеца близко соотносятся, не только хорошо известен, но является даже общим представлением логического сообщества. …сам Гедель не стал исключением, сделав замечание в статье, анонсируя свой результат. «Аналогия между этим результатом и антиномией Ришара бросается в глаза; есть также близкое родство с антиномией „Лжеца“. здесь мы сталкиваемся с предложением, которое утверждает свою собственную недоказуемость»«<ref name=":0">''Целищев В. В.'' Парадокс Лжеца и первая теорема Гёделя о неполноте // Scholae. Философское антиковедение и классическая традиция. — 2017. — № 2. — С.415-427.</ref>.</blockquote>Г. Серени указывает, что эта связь является общепризнанной в среде специалистов, но имеет форму скорее аналогии, внешнего сходства, и существует мало исследований о точной природе этой связи<ref>''Sereny G.'' [http://arxiv.org/abs/math/9903005v1 Gödel, Tarski, Church and the Liar] // Bulletin of Symbolic logic. — 2003. — vol. 9 (1). — P. 3-25.</ref>.