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

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

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

Примерно так же, как и В. Ф. Асмус, высказываются и другие советские логики (см.: [Строгович, 1949, с. 15–16; Войшвилло, 1955, с. 5–9; Ахманов, 1955, с. 46] и др.). Признавая на словах существование «обобщенного содержания», от которого якобы должна зависеть структура знаковой формы, они вместе с тем, с одной стороны, не делают никаких шагов для определения типов этого содержания, а с другой — по-прежнему характеризуют логические формулы как имеющие по сути всеобщее приложение.

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

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

Уже в древнегреческой логике были обнаружены такие умозаключения, которые никак не укладывались в схемы аристотелевой силлогистики. Например: «В равно С, А равно В, след. А равно С» или «Петр жил позже Алексея, Алексей жил позже Михаила, след. Петр жил позже Михаила». Сюда же относили умозаключения типа «А причина В, В причина С, след. А причина С». Характерно, что уже стоики называли их «не дающими вывод по методу» [Лукасевич, 1959, с. 51]. Попыток представить эти умозаключения в такой форме, которая соответствовала бы схемам аристотелевой логики, было исключительно много, однако ни одна из них не удалась.[57]

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

Представители логики отношений понимали, что их теория охватывает новые области мышления,[58] но им в то же время казалось, что это расширение и эта спецификация предмета последние и что теперь в новой логической теории охвачены все возможные виды предложений и умозаключений.[59] Однако на деле это оказалось совсем не так, и процесс выделения новых разделов логики, соответствующих мышлению с особыми видами «техники», на выделении логики отношений не закончился. В частности, в самое последнее время (1953–1960) А. А. Зиновьев исследовал особенности строения знаний о связях и построил простейшее логическое исчисление соответствующих предложений [Зиновьев, 1959 а, 1960 b, с]

Таким образом, оказывается, что в самой логике существуют по меньшей мере три различные теории (если не считать логики высказываний) — логика Аристотеля, логика отношений и логика связей. Каждая из них фиксирует особую технику мышления, которая оказывается справедливой и полноценной только в определенных узких областях: логика Аристотеля — в области атрибутивных знаний [1958 b*], логика отношений — в области знаний об отношениях, логическая теория А. А. Зиновьева — в области знаний о связях. Уже одно это служит достаточным доказательством того, что логика Аристотеля отнюдь не является всеобщей логической теорией.

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

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

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

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

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