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

5. Осознание его пришло только в начале XX столетия в контексте иных проблем, связанных прежде всего с работой по обоснованию математики. Многие логики и лингвисты, следуя за математиками, стали доказывать, что структура знаковых выражений может быть выявлена без обращения к их содержанию и значениям — «чисто формальным методом». Таким путем они надеялись привести метод в соответствие с предметом исследования. В логике эта точка зрения дала начало теориям «синтаксиса языка», в лингвистике — так называемому «структурализму».

«Мы должны указать, — писал Р. Карнап, — что все логические вопросы выразимы формально и поэтому могут формулироваться как синтаксические вопросы. Согласно принятому мнению в логическом исследовании, кроме формального рассмотрения, относящегося только к последовательности и (синтаксическому) виду символов языковых выражений, существует еще содержательное рассмотрение, которое задает не только вопрос о виде формы, но также и о значении и смысле. Согласно этому мнению формальные проблемы образуют в лучшем случае небольшую часть всей области логических проблем. В противоположность этому мнению наши соображения о всеобщем синтаксисе показывают, что формальный метод, если он проводится достаточно широко, охватывает все логические проблемы, в том числе и так называемые содержательные, или проблемы смысла (поскольку они являются точно логическими, а не психологическими проблемами)» [Carnap, 1934, с. 207] (см. также [Carnap, 1946, с. 4–5, 10]).

Но на деле подобный взгляд — не что иное, как иллюзия.

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

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

Здесь необходимо также сказать, что авторы формального метода анализа как в логике, так и в лингвистике не смогли последовательно осуществить свою программу и полностью абстрагироваться от анализа значений языковых выражений. Этим объясняется, в частности, переход Р. Карнапа и других логиков на позиции «семантики», имевший место в конце 30-х и начале 40-х годов. Но это было весьма робкое и половинчатое движение. Формальный анализ не отвергался и не заменялся, а лишь дополнялся анализом «означающей функции языка» [Саrnар, 1946, V]. Поэтому такое движение может рассматриваться только как симптом неблагополучного положения дел, а не как решение проблемы. Несколько позднее подобное же движение началось и в структуральной лингвистике. В докладе на VIII Международном конгрессе лингвистов (1951) Л. Ельмслев выдвинул задачу исследования значения структурными методами [Hielmslev, 1957].

Нужно еще отметить, что идея «чисто формального метода» получила поддержку и распространение благодаря тому, что в весьма влиятельных течениях формальной логики XX в. была перевернута сама задача научной работы: не описание реального языка или языков, а построение искусственного символического языка — вот что стало для них предметом логики. В этой связи стали говорить о «формализованном» языке и исследовании «методом формализации языка». Таким (очень искусственным) путем «предмет» был приведен в соответствие с пониманием метода, но при этом выпало само исследование как языкового мышления, так и собственно языка. И можно считать, что в последнее десятилетие этот факт был уже отчетливо понят [Wittgenstein, 1953; Chomsky, 1955].

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

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

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

Другим важным следствием принципа параллелизма, следствием, хотя и опосредствованным, является то, что знаковая форма мышления рассматривается в формальной логике всегда как независимая от содержания. Наиболее четко и последовательно эта позиция выражается в положении о всеобщей применимости формул логики. Его можно найти в подавляющем большинстве логических работ. В античной и средневековой логике, в период Возрождения и в XVII в. это положение фиксировало одну из сторон логического понимания мышления; у Канта и после него оно стало не просто одним из принципов теории, но принципом, характеризующим специфику всего «формально-логического». Можно сказать даже резче: после Канта это положение стало боевым лозунгом всей формальной логики (включая сюда, по существу дела, и современную математическую логику), определяющим ее область и возможные направления развития.

Подавляющее большинство логиков выдвигает и защищает этот тезис совершенно открыто. Мы не будем приводить здесь положений самого И. Канта [Кант, 1907, с. 61–63; 1915, Введение, § 1], но приведем весьма характерные высказывания более поздних исследователей — неокантианца XIX в. В. Виндельбанда и позитивиста XX в. Р. Карнапа: «…Нам предстоит прежде всего изолировать в абстракции и представить в их непосредственной очевидности те формы [55] мышления, от которых зависит осуществление целей истины в познавательном процессе и знании. Эту часть исследования мы называем формальной или чистой логикой, поскольку при этом необходимо отвлечься от всякой связи с каким-либо определенным содержанием познания (но, понятно, — не от связи с содержанием вообще, что невозможно). Найденные таким образом формы действительны для всякого вида направленного к достижению истины мышления — для донаучного так же, как и для научного, — и так как при этом нет еще речи об особых предметах, то, следовательно, дело идет о той истине, которую мы именно поэтому и назвали формальной» [Виндельбанд, 1913, с. 70–71].

55

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

«Начиная с Аристотеля, задача дедуктивной логики состоит в том, чтобы исследовать определенные отношения между предложениями или высказываниями, которые выражаются в предложениях. Эти отношения названы логическими отношениями. С современной точки зрения для этих отношений решающими являются два признака: 1) Они независимы от всех реальных фактов (т. е. формальны в традиционном словоупотреблении). Для того чтобы принять решение относительно этих отношений, необходимо знать лишь истинности (Wahrheitswert) предложений, а не их значения (Bedeutung)…» [Саrnaр, 1958, с. 30].