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

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

--

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Диалог о несостоятельности диалетеизма Грэма Приста

— Возражение диалетеизму. Очередное заблуждение диалетеизма, а так же логика А.А.Ивина, состоит в следующем: диалетеизм и логика оценок Ивина — это сведение оценки исключительно к философской дисциплине аксиологии. Но оценка может быть ещё онтологической, гносеологической и непосредственно логической оценкой. Оценки истинно, ложно, неопределенно именно логические и никак не аксиологические. И дословная формулировка лжеца логическая, а не аксиологическая.

ЭДЛ в противоположность диалетеизму Грэма Приста

Не является ли ЭДЛ повторением диалетеизма Грэма Приста? — Нет.

Элементарная диалектическая логика (ЭДЛ) и концепция диалетеизма Грэма Приста по поводу истинных противоречий представляют собой два разных подхода к пониманию противоречий в мышлении, хотя оба связаны с переосмыслением роли противоречий в логике и философии.

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

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