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

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

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

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

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

S(s - p),

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Об оценке подробнее.

Оценка — форма мысли, отображающая рефлексивное отношение субъекта рассуждений к своим и чужим высказываниям, а также к предметам (вещам, объектам, процессам) внешнего и внутреннего мира. 

• Рефлексивность. Оценка — это не просто констатация факта, а размышление субъекта над собственным высказыванием или над тем, что происходит в мире, с целью понять, насколько это соответствует каким-то критериям. 
• Отличие от суждения. В ЭДЛ подчёркивается, что оценка и суждение — разные формы мысли. Суждение объектно (утверждает что-то о предмете), а оценка метаобъектна — она направлена на само высказывание, на рефлексию над ним. Структурно оценка часто выглядит как предикат без явного внутреннего субъекта — субъект как бы вынесен за скобки, он внешний по отношению к самому оценочному высказыванию. 
• Адекватность вместо истинности. Ключевой момент: оценку нельзя оценить в терминах «истинно / ложно». Характеристическим значением оценки выступает её адекватность — насколько она соответствует каким-то критериям (фактам, нормам, мнению другого субъекта и т.п.). 
• Иерархия оценок. Важная особенность ЭДЛ в том, что оценки сами могут становиться предметом дальнейшей оценки. То есть мы можем оценивать оценку оценки и так далее. 
• Место в системе форм мысли. В ЭДЛ оценка — одна из четырёх основных форм мысли (наряду с суждением и вопросом, а также императивом). Они дополняют традиционную формальную логику, которая работает в основном с суждениями. Диалог в ЭДЛ строится как взаимодействие этих форм.

Метаобъектность оценки. Рассел в письме к Фреге пишет: " Пусть w есть предикат [быть предикатом, который не приложим к самому себе]. Приложим ли предикат w к самому себе? Из любого ответа на этот вопрос вытекает его противоположность. Поэтому мы должны заключить, что w не есть предикат. Точно так же не существует класса (как  целостного образования) тех классов, которые как целостные образования - не содержат самих себя" (Фреге.  )

Оценка как раз есть такой Расселов предикат, который не приложим сам к себе.

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

Отсюда должны заключить, что "ложно" не есть дескрипция "суждение", которое можно обозначить в терминах истинно/ложно.

Общий вывод: оценка и суждение две самостоятельные, автономные формы мысли со своими собственными характеристическими логическими значениями. Суждение: истинно/ложно. Оценка: адекватная/неадекватная.

Если говорю "Истинно, что Волга впадает в Байкал", то оценка "истинно" не просто ложная - она неадекватная. 

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

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

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

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

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

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

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

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

- исполнить;

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

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

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

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

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

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

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

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

--

М.П. Грачев.

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