Формальная логика (включая сюда и математическую) никогда не ставила вопрос о какой-либо дополнительной формализации указанных умозаключений, никогда не пыталась таким путем включить их в рамки логики. Да это и не имело бы никакого смысла, так как схемы и правила подобных «умозаключений» и так твердо определены и установлены другими науками — математикой, химией и др. — и не нуждаются ни в какой дополнительной логической формализации. Однако это обстоятельство совершенно не снимает того факта, что в подобных умозаключениях осуществляются определенные процессы мышления и что эти процессы имеют свою особую технику, которую надо отразить в специальных логических понятиях[60]>.
К этому надо добавить, что как логика Аристотеля, так и все позднейшие направления выделяли из всей массы разнообразных рассуждений только те, которые совершаются по строгим формальным правилам, и отбрасывали как не подлежащие изучению все так называемые «описания» — описания предметов, их взаимодействия, изменений, описания действий человека, в частности познавательных действий исследователя и т. п., т. е. все, если можно так сказать, «не-необходимые» рассуждения. Между тем подобные языковые рассуждения не бывают резко отделены от «необходимых», и в частности силлогистических, умозаключений. Наоборот, они, как правило, органически связаны с последними, являются необходимой составной частью всякого рассуждения и исследования, а часто — например, в элементарной геометрии — даже и доказательства; это описания преобразований различных фигур, новых построений и т. п.
Таким образом, действительность языкового мышления оказывается неизмеримо большей, чем это фиксируется в настоящее время в теориях логики, и эта действительность должна быть отражена не в одной и не в трех, а в целом ряде различающихся между собой логических теорий, каждая из которых имеет строго определенную область применения. В сравнении со всей этой действительностью языкового мышления область применения логики Аристотеля оказывается исключительно узкой и незначительной; это всего-навсего область атрибутивных знаний [1960 с*. I; 1958 b*]
Но если существует целый ряд различных «логик», каждая из которых выражает особую «технику» мышления (т. е. особое строение языковых форм мыслей и правил оперирования с ними) и в силу этого применима только в строго определенной узкой области языкового мышления, то это значит, что существует объективная, вытекающая из природы самого мышления зависимость между его знаковыми формами и отражаемым в них содержанием.
