Формализация аргументации в элементарной диалектической логике (ЭДЛ) — это попытка описать живой, диалогический процесс совместного рассуждения, где ключевую роль играет не только логика, но и взаимодействие субъектов, а также продуктивное противоречие. В отличие от традиционной формальной логики (ТФЛ), которая запрещает противоречия, ЭДЛ их легализует: противоречие здесь — не ошибка, а источник развития мысли и точка входа в диалог.

Основные аспекты формализации
1. Расширение структуры мысли. В ТФЛ основными формами считаются только суждения (утверждения и отрицания). В ЭДЛ к ним добавляются вопросы, оценки и императивы (требования, просьбы). Это позволяет моделировать не просто дедуктивный вывод, а динамику диалога, где мысли переходят друг в друга.

2. Явное введение субъекта рассуждения. В ТФЛ субъект как носитель знания исключён из логической структуры. В ЭДЛ структура высказывания расширяется до S(s - p), где S — гносеологический субъект (интерпретатор), s — предмет рассуждения, p — содержание. Это даёт возможность рассматривать позиции разных участников дискуссии и признавать, что два противоречащих высказывания (Ai и не-Aj) могут быть одновременно обоснованными с точки зрения разных субъектов.

3. Работа с противоречием как с началом диалога. В ТФЛ противоречие (А & не-А) — это тупик, так как одно из высказываний обязательно ложно. В ЭДЛ противоречие (Ai & не-Aj) — это отношение двух высказываний от разных субъектов, которое порождает проблему и становится стимулом для совместного поиска её решения. Формализация здесь состоит в том, чтобы описать правила, как из такого противоречия выводить новое знание через взаимную аргументацию и контраргументацию.

4. Канон (правила развёртывания мысли). ЭДЛ предлагает канон — набор правил, регулирующих, как должна разворачиваться мысль в диалоге. Например:

В один момент времени каждый участник генерирует только одну форму мысли (вопрос, оценку, императив или суждение).
Вопрос должен быть либо оценён, либо уточнён встречным вопросом, либо на него дан прямой ответ, либо он может быть «проимперирован» (то есть снят с повестки).
Аналогичные правила существуют для оценок и императивов.

5. Локальный критерий истинности. В ТФЛ есть чёткие критерии (истинность, логическая корректность вывода). В ЭДЛ локальным критерием считается критика: утверждение выдерживает проверку, если выдерживает критику оппонента.

Ограничения формализации в ЭДЛ
Важно отметить, что формализация в ЭДЛ остаётся на эскизном уровне. Хотя есть правила и символьная запись (вроде S(s - p)), они не выстраиваются в столь же строгую систему с чёткими правилами вывода, как в классической логике.

Понятно, что такой строгий вывод возможен при отсутствии противоречия и использовании лишь истинностных форм высказываний.

Вывод в ЭДЛ строится иначе — на принципах продуктивности решения противоречия, а не строгости. Вывод считается состоявшимся, если между участниками дискуссии достигается конструктивный консенсус и исходная проблема решена.

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

--
Михаил Петрович Грачев.
Верхневолжье, 26 июня 2026г.