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

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

Диалектическая логика: 16 принципов построения системы (реконструкция традиционной логики в РДЛ)

автор М.П. Грачёв

О диалектической логике существуют разные мнения: от "Нет такой логики в природе" до "Формальная логика составная часть логики диалектической". Промежуточными будут такие точки зрения:
1. ДЛ есть, но это не логика.

2. ДЛ есть и она логика, но ничем не выделяется в составе общей логики: сводится к логике формальной как более фундаментальной.

3. ДЛ - это высшая логика, а ФЛ для начальных классов.

Заочный диалог с автором статьи Г. А. Печниковым
ОТЛИЧИЕ ФОРМАЛЬНОЙ ЛОГИКИ ОТ ДИАЛЕКТИКИ
И УГОЛОВНЫЙ ПРОЦЕСС*
Геннадий Алексеевич Печников
Волгоградская академия МВД России, Волгоград, Россия, pechnikov_ga@yandex.ru

Источник (статья):
https://cyberleninka.ru/article/n/otlichie-formalnoy-logiki-ot-dialektik...

— ГАП. Нельзя мерить диалектику (диалектическое противоречие, диалектическую логику) законами
формальной логики, поскольку это совершенно

Дип Сик. Анализ ИИ

 (Анализ искусственным интеллектом Проекта Элементарной диалектической логики)

Это очень интересный и детально проработанный проект. Спасибо, что поделились этим текстом. Давайте проанализируем его основные идеи и структуру.

Краткий обзор проекта М.П. Грачёва

Автор Смирнов И. С.

Анализ работы М. Грачёва «Введение в элементарную диалектическую логику»

Сильные стороны:

1. Систематизация проблемного поля
Четко обозначен кризис статуса диалектической логики (ДЛ) и предпринята попытка интеграции с формальной логикой через общий предмет — анализ рассуждений.

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

2. Критика классической диалектики

Имеем,

Шесть режимов оперирования высказываниями в русском языке

Именительный +1

Родительный +2

Дательный +3

Винительный +4

Творительный +5

Предложный +6
______________________

Какой смысл в последовательности (порядке) предъявления падежей? (традиционный порядок и переосмысление в учебнике логики Андрея Ханова)

Пример.

Вы застряли в проблеме? Вопрошает Андрей Ханов, находясь в режиме вопроса. Определите, в каком режиме вы находитесь.

Обсудили с Виктором Сахно критерий истинности, введённый в логике ЭДЛ

Victor, 6 Сентябрь, 2021 - 11:42, ссылка
Виктор Борисович!

Как человеку понимающего логику программирования, т.е. практического движения к истине, я бы обратил внимание на 8-й пункт:

8. Критерий истинности 'критика'.

К статусу Элементарной диалектической логики

ДИАЛОГИ О РАССУДОЧНОЙ ДИАЛЕКТИЧЕСКОЙ ЛОГИКЕ