
Ai & не Aj = 1
Понятия:
`противоречие ТФЛ`
`противоречие ЭФЛ`
(тут, вероятно, опечатка. Везде ЭДЛ, а тут бац, и ЭФЛ.)
закон непротиворечия
закон противоречия (позволения)
Введение субъектов с индексацией устраняет противоречие между ними.
Чего? Противоречие между субъектами не устраняется никак.
Переубедить субъекта невозможно. Ни введением в него чего-либо (индекса, паяльника, не важно), ни навешиванием ярлыков (индексацией).
И между классами противоречия тоже не устраняется.
1 июля 1965 года в СССР введён шестизначный почтовый индекс постановлением Министерства связи, исчезли ли противоречия между районами?
LLM:«присвоение индексов не уничтожило территориальные, социальные, политические противоречия — они просто стали размеченными.»
То есть, индексация не помогает.
Только по-дарвиновски, как завещал великий Ленин или запрещённый Гитлер
(УК РФ Статья 357. Геноцид, от двенадцати до двадцати лет, пожизненно и смертная казнь,
УК РФ Статья 105. Убийство, от шести до пятнадцати лет, пожизненно и смертная казнь)
В общем, это некорректно сформированное высказывание. У слова "введение" не хватает заполнения "валентости" - введение куда? зачем? как? для чего?
LLM: «введение индексов делает различными высказывания (A_i ≠ A_j) ... технический трюк — он снимает синтаксическую коллизию, но не решает семантический конфликт между позициями.»
Общим остается "нельзя противоречить самому себе в публичном дискурсе":
Ai&неAi=0 _(3)
Aj&неAj=0 _(4)
Переубедить субъекта возможно.
Для этого надо разъяснить ему его заблуждения.
Но не в логике ЭДЛ, потому что в ней есть лишний, ненужный запрет.
По логике ЭДЛ после переубеждения субъект должен молчать, потому что иначе он начнёт противоречить раннему себе.
Такой подход был у древних брахманов с бирмы, и очень плохо, что автор ЭДЛ не продвинулся вперёд с тех пор.
Комментарии
//Как же быть вот с этим:
Формализация противоречия в ТФЛ:
А&неА=0 _(1)
Формализация противоречия в ЭДЛ:
Ai&неAj=1 _(2)
?//
Вот именно. Казалось бы, имеем противоречие ТФЛ и ЭДЛ: закон непротиворечия VS. закон противоречия (позволения). Но введение субъектов с индексацией противоречие между ними устраняет.
//Аим. Чего [устраняет]? Противоречие между субъектами не устраняется никак.//
Строкой выше речь идёт о противоречии между ЭДЛ и ТФЛ.
И не между субъектами, а между высказываниями субъектов.
Что значит индексация устраняет?
Имеем,
Условием статуса противоречия для высказываний выступает требование быть противоречием "в одном и том же отношении" .
Для ТФЛ неважно, внутреннее это противоречие одной логической системы или внешнее противоречие между разными системами. Противоречие во обоих случаях принимает логическое значение "ложно".
И здесь в ТФЛ обнаруживается дыра в отношении субъектов, высказывающих противоречащие суждения. Строго говоря, в этой ситуации утверждение "А", обоснованное с позиции одного субъекта, и утверждение "неА", обоснованное с позиций другого субъекта, это самостоятельные высказывания А и В. К ним применима вся таблица истинности конъюнкции высказываний. В том числе, когда А истинно и В истинно.
А именно, субъект Si исходит из истинности "А"; субъект Sj исходит из истинности "неА", выступающего как "В", или "неАj".
Таким образом,
введение в структуру высказывания индексированного субъекта высказывания позволяет обосновать истинность конъюнкции противоречащих высказываний.
--