Из диалога с Андреем Хановым
__________________________________

Имеем, диалектической силлогизм:

"Не за что зацепиться? Пройди мимо!
Не прошёл. Значит что-то в предмете зацепило".
http://philosophystorm.ru/v-chem-sostoit-kontseptualnoe-i-tekhnicheskoe-...

Как получилось заключение из вопроса и императива? Ведь они не истинные и не ложные?

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

Концептуальные отличия

Сергей Борчиков пишет:

//Сергей Борчиков, 10 Сентябрь, 2026 - 13:54, ссылка
http://philosophystorm.ru/logika-bez-protivorechii-ili-s-produktivnym-pr...

Логику определяют как науку о правильных рассуждениях.

То есть она нормативная наука: исследует естественное мышление и задает правила рассуждений без противоречий в высказываниях или с продуктивным противоречием в структуре рассуждений.

--

Суть локального критерия истинности. Если тезис выдерживает испытание критикой, то признается истинным в данной дискуссии.

Aphanas. Мыслить критически - значит мыслить логически

Антитезис. Мыслить критически — значит мыслить диалогически.

В поддержку тезиса. Всякое рассуждение можно представить как структуру, состоящую из посылок (того, что мы принимаем как данное или предполагаем) и вывода (того, что из этих посылок следует).

В монографии «Кибернетические диалоговые системы» Москва: Наука, 1976 И.П.Кузнецов как раз в рамках диалога рассматривает формализацию вопросов, суждений, оценок, императивов — категорий логики ЭДЛ.

Автор исследует сложную задачу: как построить кибернетические системы, способные вести разумный диалог с человеком. Эта тема относится к области искусственного интеллекта.

Кузнецов выделяет ряд ключевых сложностей, с которыми сталкиваются разработчики таких систем:

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

Итак, предназначена ли ЭДЛ для аксиоматического вывода теорем?

ЭДЛ (элементарная диалектическая логика) не предназначена для вывода теорем в классическом формально‑логическом смысле.

В чём разница?
В формальных логических системах (вроде исчисления высказываний или предикатов) вывод теорем — это строго алгоритмизируемая процедура: есть аксиомы, чёткие правила вывода, и из посылок дедуктивно получают новые истинные формулы. Цель — доказать теорему как формально верное утверждение.

КЛАССИКА ДИАЛОГА КАК ЛОГИЧЕСКОЙ ФОРМЫ СОВМЕСТНЫХ РАССУЖДЕНИЙ (ЭДЛ АНАЛИЗ)

 «Три диалога между Гиласом и Филонусом» Джорджа Беркли — прекрасный материал для анализа с позиций элементарной диалектической логики (ЭДЛ). ЭДЛ помогает увидеть в этом тексте не просто спор двух персонажей, а динамичный процесс совместного поиска истины, где противоречие становится двигателем мысли.

Что именно подсвечивает ЭДЛ?

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

Здесь мы видим классическую пару противоположностей: движущийся водный поток и относительно неподвижные берега (грунты, слагающие русло). В их взаимодействии рождается противоречие:

С одной стороны, поток стремится двигаться, обладает энергией и пытается «проложить» себе путь — он размывает, подтачивает берега (это эрозия).
С другой стороны, берега оказывают сопротивление: их состав, прочность, форма препятствуют такому размыву.