Логика как рациональная модель рационально-иррационального естественного мышления отвлекается от многих его характеристик. Остаются немногие параметры, и те подвергаются ограничению. Если я что-то и ограничиваю, то это касается основных форм мысли. Вообще-то, ограничение вещь нормальная. Так, традиционная формальная логика ограничена тремя основными формами мысли: понятие, суждение, умозаключение. И это правильно в свете тех задач, которые она решает (исходные посылки согласованы, задача состоит в перенесении истинности с посылок на заключение).

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

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

1.1. В отношении количества участников совместного рассуждения. Это не принципиально. Два участника рассматриваются для простоты мысленного эксперимента. В общем случае, элементарная диалектическая логика не двух-, а полисубъектная.

1.2. В отношении деления средств на внешние и внутренние. Тут другое. Хотя, опять же не принципиально, придут ли иррациональные "фантазии, догадки, сновидения" от двух i и j или от многих k, l, m ... и т.д.

Ведь, что такое субъект рассуждений в рациональной логической системе? - Это компонент структуры высказывания, чей денотат (т.е. реал, который обозначается 'субъектом рассуждений') - иррационален.

В самом деле. Перечисленные выше иррациональные вещи действительно внешние, в том числе внешние и для двух i и j. Скажем, в традиционной формальной логике логическое значение имеют только высказывания в виде суждений (утверждений, отрицаний). В элементарной диалектической логике добавляются высказывания в виде вопросов, оценок, императивов.

Например, "поэтические фантазии", "фантазии о философском камне", "догадки", "ожидание чуда", "сновидения" будут внешними для любой логической системы. Более того, в логической системе они не рассматриваются, поскольку там значимы только логические компоненты.

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

Каковы здесь последствия для логической системы элементарной диалектической логики? Последствия просты: заранее нельзя предугадать, что последует за вопросом - встречный вопрос, ответ в виде суждения или предварительная оценка вопроса. Такая ситуация с каждой взаимной репликой участников совместного рассуждения. Какое решение принял субъект рассуждений, узнаем постфактум. Большего и не надо. Ведь последующему логическому анализу подвергается состоявшийся текст.

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

--
М.П. Грачев.