Избранные труды - [27]

Формальная логика (включая сюда и математическую) никогда не ставила вопрос о какой-либо дополнительной формализации указанных умозаключений, никогда не пыталась таким путем включить их в рамки логики. Да это и не имело бы никакого смысла, так как схемы и правила подобных «умозаключений» и так твердо определены и установлены другими науками — математикой, химией и др. — и не нуждаются ни в какой дополнительной логической формализации. Однако это обстоятельство совершенно не снимает того факта, что в подобных умозаключениях осуществляются определенные процессы мышления и что эти процессы имеют свою особую технику, которую надо отразить в специальных логических понятиях[60]^.

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

Таким образом, действительность языкового мышления оказывается неизмеримо большей, чем это фиксируется в настоящее время в теориях логики, и эта действительность должна быть отражена не в одной и не в трех, а в целом ряде различающихся между собой логических теорий, каждая из которых имеет строго определенную область применения. В сравнении со всей этой действительностью языкового мышления область применения логики Аристотеля оказывается исключительно узкой и незначительной; это всего-навсего область атрибутивных знаний [1960 с*. I; 1958 b*]

Но если существует целый ряд различных «логик», каждая из которых выражает особую «технику» мышления (т. е. особое строение языковых форм мыслей и правил оперирования с ними) и в силу этого применима только в строго определенной узкой области языкового мышления, то это значит, что существует объективная, вытекающая из природы самого мышления зависимость между его знаковыми формами и отражаемым в них содержанием.

3. Но эта зависимость не фиксируется и никогда сознательно не фиксировалась в понятиях формальной логики. Наоборот, как мы видели выше, в логике формулируется и защищается противоположный тезис о независимости логических формул, описывающих строение знаковой формы мышления, от содержания мышления. И такая позиция имеет свои основания: она довольно точно характеризует объективную структуру и функции существующих логических формул. Показать, как сложилось это расхождение между реальным положением дел и логическими понятиями, — задача следующей статьи.

О различии исходных понятий «формальной» и «содержательной» логик [61]

1. В последнее время в самых различных сферах общественного производства и науки выдвигается на передний план задача исследовать процессы мышления. Это необходимо для развития методологии научного исследования, разработки эффективных методов обучения (общего и профессионального), создания машин, моделирующих человеческий функции и т. п. [Швырев, 1960, с. 69]. Не будет преувеличением сказать, что уже в ближайшие десятилетия мышление станет одним из важнейших предметов научного исследования и технического моделирования [1961 b] Томсон, 1958, с. 161].

2. Мышление рассматривают с разных сторон логика, психология языкознание. Однако успехи этих наук в выявлении структуры и механизмов мышления нельзя считать удовлетворительными: они находятся в явной диспропорции с теми требованиями, которые в настоящее время предъявляет к этим наукам практика. В частности, автоматизация некоторых специальных процессов умственного труда, осуществляемая кибернетикой (например, машинный перевод, механизация поисков информмации и т. п.), а также построение модели «мыслящей» машины наталкиваются не столько на технические проблемы, сколько на трудности понимания природы и механизмов самого мышления [Кибернетический сб., 1960]. Формальная логика, как известно, достигла значительных успехов в построении формальных языков; они находят широкое применение в технике, но не имеют, как это признают многие видные логики, непосредственного отношения к анализу мышления [Лукасевич, 1959; Саrnaр, 1958, с. 30–32]. Отсюда возникает актуальная задача рассмотреть методологические основы этих наук и выяснить причины, тормозящие их продвижение в исследовании мышления [1961 а; Садовский, 1961].

3. Этот анализ мы начнем с того, что выдвинем гипотезу о строении мышления, которая, на наш взгляд, позволяет разрешить те антиномии, которые обнаружились в ходе развития предшествующих теорий мышления; она, таким образом, является в каком-то смысле