Формализация диалектической логики

   Формализация диалектической логики (исходная позиция)

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

А & ~А = ложно,      (1)

где
    [A] - суждение;
    [&] - конъюнкция;
    [~] - отрицание.

Ввожу субъект рассуждения и получаю непротиворечивую форму записи противоречия:

Ai & ~Aj = истинно,      (2)

где
    [i] и [j] - индексация субъектов рассуждений.

Когда-то Лапенков спрашивал: "А что? Диалектическую логику формализовали?" Нет и нет ещё. Диалектическая логика по-прежнему остается содержательной гипотезой: диалектическая логика - это традиционная формальная логика с инкорпарированным в рассуждение противоречием. То есть заведомо путанное рассуждение? И, в первую очередь, ложное высказывание (суждение):

 А ∙ Ā = 0,                      (3)

где
    [A] - утверждение;
    [Ā] - отрицание;
    [∙] - знак конъюнкции;
    [0] - истинностное значение "ложно".

А что требуется? Для введения противоречия в рассуждение требуется, чтобы конъюнкция  утверждения и отрицания была истинной:

А ∙ Ā = 1,                      (4)

Формула (3) выражает закон запрещенного противоречия, формула (4) - это закон разрешенного противоречия. Всё достаточно просто! Осталось лишь согласовать между собой  два исключающих друг друга закона.

Может ли это сделать паранепротиворечивая логика, которая позволяет локализовать противоречие и не дает из противоречия вывести всё что угодно?

--