Это обстоятельство последнее время приходится специально оговаривать по той простой причине, что имя «логики» (и даже «единственно современной» и «единственно научной» логики) нередко фигурирует в титулах книг и статей, посвященных совсем иному предмету — анализу «языка науки» и правилам оперирования этим языком в ходе решения некоторых специальных задач.
Соответственно речь тут идет о противоречии в мышлении, о противоречии в процессе развития понятий — о противоречии как о важнейшей категории действительного — развивающегося — мышления и науки о нем — логики.
Тем самым мы оставляем пока в стороне сугубо специальный вопрос о формах выражения этого противоречия в «языке науки», в научной терминологии, а также — о допустимости или недопустимости противоречия в ходе «исчисления высказываний», в цепочках математических выкладок и все связанные с этим специальные проблемы — проблемы, заслуживающие всяческого уважения и самого пристального исследования, но — другие.
В логике, о которой мы ведем речь, рассматриваются не специфические формы выражения процесса мышления в языке, а формы самого мышления. Последние, разумеется, обретают свое выражение также и в языке, но не видеть принципиального различия между тем и другим было бы грубейшей и непростительной — особенно для логики — ошибкой. Знак равенства между ними ставить нельзя, — если, конечно, не исходить из той философской предпосылки, согласно которой «язык» есть та единственная форма, в которой осуществляется, «эксплицируется» — а потому и исследуется в научной логике — мышление. Тогда — да, тогда формы языка и есть единственно реальные формы мышления. Но предпосылка эта — как давно и хорошо известно — чревата печальными последствиями для науки и мышления, и в частности угрозой вырождения логики (как науки, выявляющей объективные — всеобщие и необходимые — законы и формы мышления) в систему чисто субъективных — по произволу устанавливаемых и лишь конвенционально утверждаемых в качестве «всеобщих правил» — правил оперирования со знаками языка…
Гегель давно и беспощадно разделался с этим предрассудком (впрочем, не до конца, посчитав «язык» если и не единственной, то первой и изначальной формой «проявления силы мысли»), подорвав его престиж простым вопросом: а кто сказал, что мышление проявляет себя, обнаруживается только в речи, только в цепочках слов-знаков? А разве в своих поступках, в актах формирования вещей, в их делании человек не обнаруживает себя как мыслящее существо? Вопрос, пожалуй, чисто риторический. Поэтому со времен Гегеля «логические» формы и законы и понимаются не только как схемы операций со словами, но и как схемы действий с вещами, как формы мышления, одинаково хорошо «обнаруживающие» себя и в словах, и в делах человеческих. А не только в словах, как то до сих пор думают неопозитивисты.
Но именно поэтому-то логика и есть наука о тех формах, в рамках которых мышление осуществляется не только в языке, не только в актах говорения или графического изображения этого говорения, но и в целенаправленных («умных») действиях человека. Притом общественного человека, а не индивида.
Эти формы мышления логика и обязана исследовать во всей их независимости от специфических форм их выражения в языке, а особенно — в «языке науки» с его правилами, специально приспособленными для чисто формальных операций, осуществляемых над знаками, и только над знаками.
Если под «мышлением» (как предметом логики) разуметь только эти чисто формальные операции, проделываемые в стихии языка, — операции «исчисления высказываний» по образу и подобию математических выкладок, — то, разумеется, противоречие априори приходится расценивать как нечто нетерпимое, недопустимое и запретное. Само собой понятно, что противоречие — и даже простая неоднозначность — в определении и употреблении знаков-символов сразу же лишает формальное исчисление всех его добродетелей и какого бы то ни было смысла, ибо с одинаковой легкостью приводит к «неправильному» выводу.
Но ведь в том-то все и дело, что между чисто формальными процедурами, единственным предметом которых остается знак, символ, и мышлением, предметом которого является деятельность во всем многообразии ее проявлений, знака равенства ни в коем случае ставить нельзя Это, как говорят в Одессе, две большие разницы.
Соответственно приходится строжайшим образом различать правила формального вывода («исчисления» — знаков, высказываний и т. д.) и законами мышления «вообще», ибо «исчисление» — это лишь одно, при том сугубо специальное, применение способности мыслить к весьма и весьма специальному предмету — к знаку-символу и к соотношениям знаков-символов. И такой предмет у мышления есть.