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

85 байт добавлено ,  1 год назад
м
→‎См. также: оформление
(дополнение)
м (→‎См. также: оформление)
Если предположить, что утверждение истинно, то, поскольку оно гласит свою ложность, оно ложно, что является противоречием. Напротив, если предположить его ложность, то оно соответствует тому, что само гласит, а потому истинно, что также является противоречием.
 
Подобные парадоксу лжеца утверждения часто использовались на протяжении [[История философии|истории философии]]: он был известен [[Древняя Греция|древним грекам]] и использовался как головоломка средневековыми логиками, а также стал основополагающим объектом исследования современной логики{{sfn|Beall, Glanzberg|2016|loc=преамбула}}.<blockquote></blockquote>
 
Парадокс относится к классу семантических, а не теоретико-множественных. Это деление было предложено Ф. Рамсеем, который обозначил Парадокс Лжеца (в виде «Я сейчас лгу») как лингвистический:<blockquote>«...противоречия группы В не являются чисто логическими и не могут быть сформулированы в одних логических терминах, ибо все они содержат некоторую отсылку к мысли, языку или символизму, которые являются не формальными, но эмпирическими терминами. Поэтому своим возникновением они могут быть обязаны не ошибочной логике или математике, но ошибочным идеям, касающимся мысли и языка»<ref>''Рамсей Ф.'' Основания математики / Рамсей Ф. Философские работы. —М.: Канон+, 2011. — С.16-64.</ref>.</blockquote>
 
== История ==
 
Если нос не увеличится — значит, мальчик соврал, и нос будет обязан тут же вырасти. А если нос вырастет — значит, мальчик сказал правду, но тогда почему вырос нос?
 
== О попытках решения парадокса ==
Парадокс относится к классу семантических, а не теоретико-множественных. Это деление было предложено Ф. Рамсеем, который обозначил Парадокс Лжеца (в виде «Я сейчас лгу») как лингвистический:<blockquote>«...противоречия группы В не являются чисто логическими и не могут быть сформулированы в одних логических терминах, ибо все они содержат некоторую отсылку к мысли, языку или символизму, которые являются не формальными, но эмпирическими терминами. Поэтому своим возникновением они могут быть обязаны не ошибочной логике или математике, но ошибочным идеям, касающимся мысли и языка»<ref>''Рамсей Ф.'' Основания математики / Рамсей Ф. Философские работы. —М.: Канон+, 2011. — С.16-64.</ref>.</blockquote>
 
== См. также ==