Формализация противоречия в ЭДЛ

Аватар пользователя Аим
Систематизация и связи
Диалектика
mp_gratchev, 1 Январь, 2026 - 19:32, ссылка

Ai & не Aj = 1

 

Понятия:

`противоречие ТФЛ`

`противоречие ЭФЛ`
(тут, вероятно, опечатка. Везде ЭДЛ, а тут бац, и ЭФЛ.)

 

закон непротиворечия

закон противоречия (позволения)

Введение субъектов с индексацией устраняет противоречие между ними.

Чего? Противоречие между субъектами не устраняется никак.

Переубедить субъекта невозможно. Ни введением в него чего-либо (индекса, паяльника, не важно), ни навешиванием ярлыков (индексацией).

И между классами противоречия тоже не устраняется.
1 июля 1965 года в СССР введён шестизначный почтовый индекс постановлением Министерства связи, исчезли ли противоречия между районами?
LLM:«присвоение индексов не уничтожило территориальные, социальные, политические противоречия — они просто стали размеченными.»
То есть, индексация не помогает.

Только по-дарвиновски, как завещал великий Ленин или запрещённый Гитлер
(УК РФ Статья 357. Геноцид, от двенадцати до двадцати лет, пожизненно и смертная казнь,
УК РФ Статья 105. Убийство, от шести до пятнадцати лет, пожизненно и смертная казнь)

В общем, это некорректно сформированное высказывание. У слова "введение" не хватает заполнения "валентости" - введение куда? зачем? как? для чего?

LLM: «введение индексов делает различными высказывания (A_i ≠ A_j) ... технический трюк — он снимает синтаксическую коллизию, но не решает семантический конфликт между позициями.»

Общим остается "нельзя противоречить самому себе в публичном дискурсе":
Ai&неAi=0 _(3)
Aj&неAj=0 _(4)

Переубедить субъекта возможно.

Для этого надо разъяснить ему его заблуждения.

Но не в логике ЭДЛ, потому что в ней есть лишний, ненужный запрет.

По логике ЭДЛ после переубеждения субъект должен молчать, потому что иначе он начнёт противоречить раннему себе.

Такой подход был у древних брахманов с бирмы, и очень плохо, что автор ЭДЛ не продвинулся вперёд с тех пор.

Комментарии

Аватар пользователя mp_gratchev

//Как же быть вот с этим:
Формализация противоречия в ТФЛ:
А&неА=0 _(1)
Формализация противоречия в ЭДЛ:
Ai&неAj=1 _(2)
?//

Вот именно. Казалось бы, имеем противоречие ТФЛ и ЭДЛ: закон непротиворечия VS. закон противоречия (позволения). Но введение субъектов с индексацией противоречие между ними устраняет.

//Аим. Чего [устраняет]? Противоречие между субъектами не устраняется никак.//

Строкой выше речь идёт о противоречии между ЭДЛ и ТФЛ.

И не между субъектами, а между высказываниями субъектов.

Что значит индексация устраняет?

Имеем,

Условием статуса противоречия для высказываний выступает требование быть противоречием "в одном и том же отношении" .

Для ТФЛ неважно, внутреннее это противоречие одной логической системы или внешнее противоречие между разными системами. Противоречие во обоих случаях принимает логическое значение "ложно".

И здесь в ТФЛ обнаруживается дыра в отношении субъектов, высказывающих противоречащие суждения. Строго говоря, в этой ситуации утверждение "А", обоснованное с позиции одного субъекта, и утверждение "неА", обоснованное с позиций другого субъекта, это самостоятельные высказывания А и В. К ним применима вся таблица истинности конъюнкции высказываний. В том числе, когда А истинно и В истинно.

А именно, субъект Si исходит из истинности "А"; субъект Sj исходит из истинности "неА", выступающего как "В", или "неАj".

Таким образом,

введение в структуру высказывания индексированного субъекта высказывания позволяет обосновать истинность конъюнкции противоречащих высказываний.

--