Запись - mp_gratchev

Аватар пользователя mp_gratchev

Является ли ЭДЛ бестолковой концепцией?

Участник дискуссии об Элементарной диалектической логике вопрошает:

"Никак не могу понять, каким образом *** ваша бестолковая теория волшебным образом превратится в систему?"

Итак,
Является ли теория ЭДЛ бестолковой и если "да", то в чём ее бестолковость?

Ну, хотя бы взять де бестолковый критерий истинности ЭДЛ — «способность утверждения выдержать критику».

Пусть будет, хотя бы вопрос:

Что в ЭДЛ означает локальный критерий истинности "К р и т и к а": способность утверждения «выдержать критику»?

Аватар пользователя mp_gratchev

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

Элементарная диалектическая логика как развернутая теоретическая система
(проектное задание на разработку ЭДЛ)

Проект Элементарной диалектической логики (ЭДЛ) задуман как развёрнутая теоретическая система — попытка создать модель «естественного» человеческого рассуждения, которая учитывала бы не только формальную строгость, но и живую динамику диалога, противоречия и разные типы высказываний.

Это не замена формальной логике, а её расширение для задач, где важна совместная работа над проблемой.
 

Как устроена система

Аватар пользователя mp_gratchev

ЭДЛ-техника рассуждения

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

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

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

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

Аватар пользователя mp_gratchev

В чем состоит концептуальное и техническое отличие вывода логики ЭДЛ от традиционной формальной логики

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

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

Аватар пользователя mp_gratchev

Концепции Запада сопредельные логике ЭДЛ

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

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

Аватар пользователя mp_gratchev

Логика. Без противоречий или с продуктивным противоречием в структуре рассуждений

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

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

--

Аватар пользователя mp_gratchev

Критика — локальный критерий истинности в ЭДЛ

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

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

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

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

Аватар пользователя mp_gratchev

Формализация элементов ЭДЛ в кибернетических диалоговых системах И.П. Кузнецова (1976)

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

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

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

Аватар пользователя mp_gratchev

Две модели рассуждения: Традиционная формальная логика и ЭДЛ

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

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

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

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

Аватар пользователя mp_gratchev

«Три диалога между Гиласом и Филонусом» с позиций ЭДЛ

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

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

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

RSS-материал