Избранные труды

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

Конец страницы 33

Начало страницы 34

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

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

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

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

Суть гипотезы состоит в предположении, что мышление является как бы «двухплоскостным» движением, т.е. одновременным движением в «плоскостях» обозначаемого или содержания и обозначающего или

_________________________________

* Источник: [1962 а]

Конец страницы 34

Начало страницы 35

знаковой формы. Это предположение подтверждается уже некоторыми общими интуитивными представлениями: когда какой-либо человек строит свое рассуждение, то он основывается на «усмотрении» определенных элементов и связей в объективной действительности и одновременно выражает их в определенных последовательностях знаков. Точно так же понимание языковых рассуждений другого человека невозможно без «мысленного обращения» к области действительности и своеобразной «реконструкции» тех элементов и связей из этой области, которые обозначены в соответствующих языковых выражениях. Специальный анализ показывает, что аналогичное положение существует и в тех случаях, когда мы имеем дело, казалось бы, с чисто словесными, чисто знаковыми рассуждениями [1958 b*, V]. Поэтому, исследуя мышление, логик, психолог, лингвист должны представлять его в двухплоскостных схемах вида:

и обязательно каким-то путем вводить и определять строение плоскости содержания [ 1957 а *; 1957 b; 1961 b ].

4. В традиционной логике, начиная с Аристотеля и кончая самыми последними «математическими» направлениями, эта реконструкция осуществляется на основе «принципа параллелизма содержания и формы», т.е. на основе предположения, что 1) каждому элементу знаковой формы языковых выражений соответствует строго определенный субстанциальный элемент содержания и 2) способ связи элементов содержания в точности соответствует способу связи элементов знаковой формы [ 1960 с *, HI; 1961 а].

5. Этот принцип полностью предопределил метод и предмет традиционной логики, превратив ее в логику формальную.