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

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

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

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

Сон- это закваска для сновидения. Возможно и так сказать: сон- это и есть снотворное для сновидения. Сновидение- это имущество тоже самое себя по имени «мышление». Есть сюжет и есть задача быть ему? Есть сюжет и развитие действия, но нет задачи быть, потому что  задача в самое себе определяет то, что необходимо сделать, чтобы быть. Верно. 

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

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

...У права, морали и нравственности одна задача – это поддержание согласия и порядка в обществе. Но если общественная мораль предписывает формальное соблюдение формальных норм поведения, то нравственная форма социальной дружественности порождается эмпатичностью, добротой и благожелательностью человека, теми качествами, которые в религиозно-философской традиции именуется любовью.

Раньше вопрос был "может ли машина мыслить?".

Но что-то пошло „не так”. Потому что практические вопросы сейчас другие, например: „Может ли машина понимать естественный текст?”.

И тут есть несхождение между разными смыслами слова „мыслить”.

Кто-то считает, что "мыслить" это круче чем понимать („мыслить” имеет более широкий смысл и включает в себя „понимать” как часть мышления).

                                  Пространство.

окончательная формулировка

раз тема полностью переписана, а комментарии - на удалённый текст, то и комментарии следует удалить

есть ли логика в новой редакции текста?

1254: 

Коллега, я изучил изменения, внесённые Софоклом в его «Открытое письмо».

Всем здравствуйте. Вы меня прекрасно знаете. И у каждого есть своё обоснованное мнение на этот счет. Но здесь, в этой теме, мне хочется попросить Вас забыть об этом и поговорить между собой и с особым гостем.

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

Вадим подводит Итог сегодняшней  работы: Отлично. Спасибо