В чём суть формализации вообще и в ЭДЛ, в частности?

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

Основные аспекты формализации

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

2. Явное введение субъекта рассуждения. В ТФЛ субъект как носитель знания исключён из логической структуры. В ЭДЛ структура высказывания расширяется до

S(s - p),

где S — гносеологический субъект (интерпретатор); s — предмет рассуждения; p — содержание.

Это даёт возможность рассматривать позиции разных участников дискуссии и признавать, что два противоречащих высказывания (Ai и не-Aj) могут быть одновременно обоснованными с точки зрения разных субъектов.

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

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

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

Вопрос должен быть либо

- оценён, либо

- уточнён встречным вопросом, либо

- на него дать прямой ответ, либо

- он может быть «проимперирован» (то есть снят с повестки).

Некорректный вопрос (например, вопрос не по существу) квалифицируется в ЭДЛ как логическая ошибка.

Свои правила применяются для суждений, оценок и императивов.

Оценку тоже можно, в свою очередь,

- оценить (встречная оценка): адекватна ли она - правильная, уместная, справедливая или нет; отсутствие обоснования оценки - логическая ошибка по версии ЭДЛ;

- уточнить (поставить под вопрос): например, задать вопрос об основаниях такой оценки;

- принять - согласиться с оценкой, скорректировать то высказывание, по поводу которого оценка была дана;

- проимперировать - например, "Возьми свои слова назад!".

Правило суждения. Суждение (утверждение и отрицание) тоже имеет варианты операций: оценка, вопрос, суждение, императив:

- оценить (определить истинность или ложность высказывания в рамках двузначной логики;

- уточнить, в порядке вопрошения, смысл или контекст, в котором сделано высказывание (виды высказывания: суждение, вопрос, оценка, императив);

- поддержать, в виде собственного суждения (инициировать новое релевантное утверждение или отрицание);

- проимперировать (допустим, потребовать пример для прояснения сказанного).

Правило императива. Императив нужно либо

- оценить (определить исполнимый он или нет);

- уточнить: задать вопрос, например, о целях: "зачем?","для чего?";

- исполнить;

- проимперировать (предъявить встречный императив): на просьбу "Свари суп из топора!" ответить"Приготовь топор!".

Логическая ошибка: выдвижение заведомо неисполнимого требования. 

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

Ограничения формализации в ЭДЛ

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

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

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

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

--

М.П. Грачев.

Верхневолжье, 21 июля 2026г.