Способ, каким противоречие положено в основание диалектической логики

— Моисеев В.И.: «Противоречие каким-то образом лежит в основании этой логики. Такие противоречия могли называть «диалектическими противоречиями», или «антиномиями», и так или иначе диалектическая логика как-то должна работать с такого рода противоречиями».
Источник: http://www.vyacheslav-moiseev.narod.ru/Logics/PhilosLogics/LTheory.doc

Это основание называется "взаимодействие". Противоречие - это отношение противоположностей, находящихся в контрадикторной или контрарной связи. Если такая связь актуализирована, то получим формально-логическое противоречие. Если к тому же противоположности вступают во взаимодействие, то получим диалектико-логическое противоречие.

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

Таким признаком является разрешимость (снятие) противоречия. И для этого есть соответствующая диалектическая процедура (аргументирование 'про-' и 'контра-'). Из разрешенного (снятого) противоречия узнаем об истинности одной противоположности и ошибочности другой. Или об истинности чего-то третьего.

Говорить о противоречии-ошибке не совсем корректно. Пусть, имеем противоречие

                    А & не-А             (1)

Регистрация противоречия - это констатация истинного противоречия. Противоречие имеет место быть и поэтому оно не ошибка. Правильнее, всё-таки, говорить об ошибочности члена противоречия, какой-то одной из сторон противоречия (одной из противоположностей).

— Моисеев В.И.: «Я уже писал об этой проблеме в своей книге «Логика всеединства», обозначив этот критерий термином критерий логической демаркации. Говорить о построении диалектической логики можно будет лишь после того, когда так или иначе будет сформулирован критерий логической демаркации, что позволит отличить ошибки от антиномий и построить в некотором смысле непротиворечивую логику противоречий».

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

                    А_R & (не-А)_F             (2)

Здесь противоречие записано непротиворечиво, поскольку формальная логика индифферентна к записи противоречия в форме (2) и не имеет значение Вася высказывает противоречащие суждения (противоречит сам себе) или Васе противоречит Петя. Для формальной логики важен сам факт актуализации противоречия высказываний.

Тогда как в диалектической логике это принципиальный момент, кто кому возражает. К числу особенностей формулы (2) следует также отнести её истинностную неопределенность. То есть, имеется противоречие, но кто прав выяснится лишь из последующей дискуссии.

Михаил П. Грачев.