2. Субъективная диалектика.

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

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

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

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

Выход состоит в ограничении сферы действия логического отрицания областью истинных оценочных суждений. Например, если некоторое суждение А признается истинным, то его формально-логическим отрицанием будет признание его ложным. Одно и то же суждение не может быть одновременно и истинным и ложным. Формально-логический принцип противоречия в том и заключается, что само признание истинности и ложности одного и того же суждения неверно, т. е. конъюнкция суждения и его формально-логического отрицания ложна и признание этой конъюнкции истинной означает непоследовательность мышления. Закон исключенного третьего формулируется как положение о том, что истинно либо данное суждение, либо его отрицание, третьего не дано, и поэтому сама его формула означает признание того, что всякое суждение либо только истинно, либо только ложно. Признание того, что какое-то суждение и истинно, и ложно, означает противоречивость мышления.

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

Покажем последнее на примере отображения мышлением противоречия простого механического движения. Его можно отразить двумя суждениями: «Данное движущееся тело в данный момент времени находится в данном месте» и «Данное движущееся тело в тот же момент времени не находится в этом месте». Традиционно считается, что эти суждения логически отрицают друг друга и потому не могут быть признаны одновременно истинными в силу требования формально-логической непротиворечивости мышления.

Положим, что первое суждение — «Данное движущееся тело в данный момент времени находится в данном месте» — истинно. Тогда его логическим отрицанием будет не второе суждение, а иное высказывание, именно:

«Неверно, что данное движущееся тело в данный момент времени находится в данном месте». Оба этих высказывания не могут быть одновременно и истинными и ложными; признав первое высказывание истинным, в силу требований формально-логической непротиворечивости мышления мы обязаны второе признать ложным. Но высказывание: «Неверно, что данное движущееся тело в данный момент времени находится в данном месте» — отнюдь не эквивалентно высказыванию:

«Данное движущееся тело в данный момент времени не находится в данном месте» — и не исключает его истинности в полном согласии с диалектикой и с действительностью. Итак, уточнение смысла формально-логического отрицания и соответственно формально-логических законов противоречия и исключенного третьего обнаруживает отсутствие несовместимости требований правильно понятой формальной логики и диалектики.