Существуют ли в логике правила обращения с «парадоксами» самореференции?
Мой любимый парадокс, который ведет к бесконечному регрессу, а также приводит к вопросу:
Предложение после этого истинно.
Предложение перед этим ложно.
Когда в доказательствах появляются противоречия, у нас есть правила для завершения доказательства. Я считаю, что перевернутый символ T используется для обозначения противоречия. Тогда правило заключалось в том, что из противоречия можно вывести что угодно. Я всегда находил это правило довольно интересным.
Однако мне кажется, что парадокс не вполне равен противоречию. Может быть, к ним и относятся как к таковым, но существуют ли правила обращения с парадоксами в формальных доказательствах? Так же, как они делают с противоречиями?
Того же эффекта можно добиться с помощью одного предложения: «Это предложение ложно». Он известен как парадокс лжеца и восходит к древнему софисту Эпимениду. Ваши два предложения просто разделили Лжеца надвое. Однако бесконечного регресса нет, он заканчивается за один шаг. Мы принимаем оба предложения как «аксиомы», т.е. «истинные», но второе предложение подразумевает, что первое ложно, противоречие. Проблема в том, что в обычных доказательствах от противного есть основная посылка, которая приводит к нему и может быть отвергнута, но здесь такой дополнительной посылки вроде бы нет. Это означает, что предложение Лжеца или два ваших предложения образуют противоречивую «теорию»: в них могут быть выведены и утверждение, и его отрицание. По логическому закону взрыва, то в них можно вывести любое предложение, другими словами, они неинтересны.
Обнаружение таких самореферентных парадоксов достаточно просто, см., например , Wen's Semantic Paradoxes as Equations . Ваши два предложения могут быть закодированы как уравнения x=y и y=¬x, подразумевающие x=¬x, что кодирует предложение Лжеца x, интерпретируя «=» как «относится к», а ¬ как «не». Булева переменная x может принимать только два значения, 0 или 1, и ни одно из них не подходит. Набор предложений порождает парадокс, если кодирующая его система уравнений не имеет решения. Настоящий вопрос заключается в том, как интерпретировать «нет решения». Существует несколько подходов, и все они противоречивы, см. Paradoxs of Self-Reference в SEP .
Один из способов — вообще не интерпретировать его, а полностью запретить противоречивые теории с помощью синтаксиса. Математические и логические теории делают все возможное, чтобы убедиться, что парадоксальные «наборы предложений» всегда являются синтаксической ошибкой. Именно это заставляет доказательства от противного работать в них. Ничего похожего на Лжеца нельзя выразить, например, на языке теории множеств или в Principia Рассела, там проблема определена как не существующая.
Другой подход состоит в том, чтобы объявить, что в Лжеце все-таки есть скрытая предпосылка. Мы неявно предполагаем, что предложение либо истинно, либо ложно, что оно имеет истинностное значение. Эквационная интерпретация показывает нам, что это допущение ложно, и мы должны признать, что некоторые предложения не имеют значения истинности. Мы уже принимаем это на естественном языке, "подобная луна медленно" не является ни правдой, ни ложью, это тарабарщина, и "электрон - зеленое достоинство" тоже бессмысленно, хотя грамматически правильно. Таким образом, есть разные способы быть тарабарщиной, и предложение Лжеца и его кузены являются «логической тарабарщиной», все же ни истинной, ни ложной.
Самая популярная версия логики и семантики, в которой некоторые синтаксически правильные предложения не имеют истинностного значения, была разработана Крипке и называется логикой разрыва истинностного значения . В дополнение к истинному и ложному оно вводит третье истинностное значение: неопределенное. Но такая логика создает много технических сложностей при оценке истинностных значений составных выражений и при работе с ними, поэтому она редко используется в математике или приложениях.
(1) Не «предложения», а только высказывания могут быть истинными или ложными. Машины могут генерировать предложения, но только говорящие могут делать утверждения, и сделать утверждение означает неявно попросить обратить на него внимание и не опровергать его без указания причины, что неявно обязывает говорящего не делать никаких других утверждений. что явно или неявно ему противоречит.
(2) Ссылка на слово «этот» в утверждении «Это утверждение ложно» является неопределенной, так что ничто не обязывает собеседника предполагать, что говорящий имеет в виду, что это утверждение относится к самому себе, и поэтому имеет право спросить — Какое заявление вы имеете в виду?
(3) Чтобы объяснить своему собеседнику, к какому утверждению относится «это утверждение», говорящий должен сказать: «Это утверждение — «Это утверждение ложно», — ложно», что заключает его в скобки таким образом, что удаляет логическая проблема, потому что говорящий больше не утверждает ничего парадоксального, и поскольку предложение в квадратных скобках больше никем не утверждается как утверждение, а просто цитируется, мы не имеем права говорящего предполагать, что оно самореференциально.
(4) Тот же принцип применяется и в другой версии: «Следующее утверждение ложно. Предыдущее утверждение верно». Здесь референции выражений «следующий» и «предыдущий» логически неопределенны, поэтому не может быть уверенности в том, что они относятся друг к другу. В конце концов, если эти предложения записать, другие предложения могут быть интерполированы, что устранит логическую проблему.
(5) В заключение, если мы не обязаны воспринимать утверждение как самореферентное, то мы не можем быть обязаны серьезно относиться к любым проблемам, которые могут возникнуть из-за того, что оно таково.
Нет общего правила. Мой любимый пример: что происходит, когда непреодолимая сила сталкивается с неподвижным объектом?
На самом деле это инверсия и повторение аристотелевского определения силы, а исходное определение гораздо важнее в истории мысли, чем броская перефразировка выше.
На самом деле можно провести линию между определением Аристотеля и Ньютона, а затем и Эйнштейна; в то время как парадоксальное утверждение просто сидит как изолированный фрагмент мысли, скрученный в захватывающих и угрожающих мыслям, парадоксальных терминах, которые ничего не достигают по существу.
вирмайор
innisfree
innisfree
вирмайор
Ронни Ройстон
хэллиале
Пол Росс
innisfree
Конифолд
пользователь20253
Ной Швебер
пользователь20253
пользователь20253
хэллиале
пользователь20253
пользователь20253
пользователь20253
пользователь20253
хэллиале
пользователь20253