Субъект рассуждений

Субъект рассуждений - лицо или группа лиц, генерирующие высказывания в совместном рассуждении.

Вводя в  диалектическую логику субъект рассуждений, вместе с этим обходим запрет формальной логики на противоречие.

            А & ~А = ложно,      (1)
    где
    [A] - суждение
    [&] - конъюнкция;
    [~] - отрицание.
Ввожу субъект рассуждения для утверждения (+А):

            Аi = истинно       (2)

То есть утверждение Ai истинно в логической системе субъекта Si.
Далее, субъект рассуждения для отрицания (-А):

            ~Аj = истинно       (3)

или

   Ãj = истинно       (4)

 То есть отрицание Ãj истинно в локальной логической системе субъекта Sj. Соответственно, получаю непротиворечивую форму записи противоречия:

            Ai  & Ãj = 1,      (5)
    где
    [i] и [j] - индексация высказываний (утверждений и отрицаний) с учётом субъектов рассуждений.

Вот эту непротиворечивую форму записи противоречия теперь нужно переварить и обсудить.

С позиций субъекта Si в логической системе Li его утверждение Аi истинно, а противоположное утверждение (Ãj) остается ложным, как и положено в ТФЛ. Симметрично, с позиций субъекта Sj в логической системе Lj его утверждение Ãj истинно, а противоположное утверждение (Ai) ложное.

В дискуссии, которая описывается логикой ЭДЛ взаимодействуют по меньше мере две локально истинные логические системы Li и Lj, имеем в составе L_общ:

                         L_общ = Li + Lj                    (6)

В целом L_общ характеризует проблему (возникновение, функционирование, разрешение): в ней нет заведомо истинностных суждений. Что не мешает участникам дискуссии по своему оценивать высказывания собеседника.

--