Но на деле подобный взгляд — не что иное, как иллюзия.
Звуковой язык или язык жестов, взятые сами по себе, практически вообще не допускают анализа чисто формальными методами. А графический язык всегда предстает перед исследователем, желающим применить «формальный» метод, фактически уже расчлененным. Но если даже мы предположим, что так называемый чисто формальный метод анализа может быть приложен к любому языку без всяких затруднений, то и тогда должны будем сказать, что с его помощью нельзя выявить отдельные значащие единицы сложных языковых выражений, т. е. знаки в собственном смысле этого слова; в лучшем случае он позволяет выявлять мельчайшие единицы «материала» формы, которые совсем не обязательно должны иметь «объективное» содержательное значение (как, например, буквы словесного графического языка, фонемы и т. п.).
Кроме того, такой подход к анализу языковых выражений с самого начала исключает всякую возможность выявления и объяснения явлений синонимии и омонимии — факт, который уже в достаточной мере обнаружил себя. И это вполне естественно, так как в материале знаков, знаковой форме, если рассматривать ее саму по себе, нет ничего специфического для знака и знаковой формы. Там нет ни связей между значками, ни объединений значков. Там вообще нет ни единиц, ни мельчайших элементов. Все это «существует» и может быть выделено только потому, что на деле материал языка есть форма отражения определенного содержания. Но это значит, что все характеристики материала языка могут учитываться и вводиться только тогда, когда мы рассматриваем этот материал как знаковую форму, т. е. во взаимосвязи с содержанием. Но именно этого не понимают теоретики формального метода.
Здесь необходимо также сказать, что авторы формального метода анализа как в логике, так и в лингвистике не смогли последовательно осуществить свою программу и полностью абстрагироваться от анализа значений языковых выражений. Этим объясняется, в частности, переход Р. Карнапа и других логиков на позиции «семантики», имевший место в конце 30-х и начале 40-х годов. Но это было весьма робкое и половинчатое движение. Формальный анализ не отвергался и не заменялся, а лишь дополнялся анализом «означающей функции языка» [Саrnар, 1946, V]. Поэтому такое движение может рассматриваться только как симптом неблагополучного положения дел, а не как решение проблемы. Несколько позднее подобное же движение началось и в структуральной лингвистике. В докладе на VIII Международном конгрессе лингвистов (1951) Л. Ельмслев выдвинул задачу исследования значения структурными методами [Hielmslev, 1957].
Нужно еще отметить, что идея «чисто формального метода» получила поддержку и распространение благодаря тому, что в весьма влиятельных течениях формальной логики XX в. была перевернута сама задача научной работы: не описание реального языка или языков, а построение искусственного символического языка — вот что стало для них предметом логики. В этой связи стали говорить о «формализованном» языке и исследовании «методом формализации языка». Таким (очень искусственным) путем «предмет» был приведен в соответствие с пониманием метода, но при этом выпало само исследование как языкового мышления, так и собственно языка. И можно считать, что в последнее десятилетие этот факт был уже отчетливо понят [Wittgenstein, 1953; Chomsky, 1955].
Таким образом, понимание метода анализа знаковой формы, выработанное в последних теориях формальной логики, явно не соответствует как природе и строению самой знаковой формы, так и возможному реальному методу ее анализа. Основное противоречие метода формальной логики остается неразрешенным; и оно вообще, по-видимому, не может быть разрешено, если пытаться сохранить в качестве предмета логики одну лишь знаковую форму: знаковая форма языкового мышления по природе своей вообще не может быть самостоятельным предметом научного исследования.
1. В предыдущих разделах было показано, что исходным принципом, лежащим в основании всей формальной логики и определяющим ее предмет и метод исследования, является «принцип параллелизма формы и содержания» (I и II). Было выяснено, в частности, что вследствие следования этому принципу фактическим предметом исследования в формальной логике оказывается одна лишь знаковая форма языкового мышления (III).
Другим важным следствием принципа параллелизма, следствием, хотя и опосредствованным, является то, что знаковая форма мышления рассматривается в формальной логике всегда как независимая от содержания. Наиболее четко и последовательно эта позиция выражается в положении о всеобщей применимости формул логики. Его можно найти в подавляющем большинстве логических работ. В античной и средневековой логике, в период Возрождения и в XVII в. это положение фиксировало одну из сторон логического понимания мышления; у Канта и после него оно стало не просто одним из принципов теории, но принципом, характеризующим специфику всего «формально-логического». Можно сказать даже резче: после Канта это положение стало боевым лозунгом всей формальной логики (включая сюда, по существу дела, и современную математическую логику), определяющим ее область и возможные направления развития.
Подавляющее большинство логиков выдвигает и защищает этот тезис совершенно открыто. Мы не будем приводить здесь положений самого И. Канта [Кант, 1907, с. 61–63; 1915, Введение, § 1], но приведем весьма характерные высказывания более поздних исследователей — неокантианца XIX в. В. Виндельбанда и позитивиста XX в. Р. Карнапа: «…Нам предстоит прежде всего изолировать в абстракции и представить в их непосредственной очевидности те формы[55] мышления, от которых зависит осуществление целей истины в познавательном процессе и знании. Эту часть исследования мы называем формальной или чистой логикой, поскольку при этом необходимо отвлечься от всякой связи с каким-либо определенным содержанием познания (но, понятно, — не от связи с содержанием вообще, что невозможно). Найденные таким образом формы действительны для всякого вида направленного к достижению истины мышления — для донаучного так же, как и для научного, — и так как при этом нет еще речи об особых предметах, то, следовательно, дело идет о той истине, которую мы именно поэтому и назвали формальной» [Виндельбанд, 1913, с. 70–71].
«Начиная с Аристотеля, задача дедуктивной логики состоит в том, чтобы исследовать определенные отношения между предложениями или высказываниями, которые выражаются в предложениях. Эти отношения названы логическими отношениями. С современной точки зрения для этих отношений решающими являются два признака: 1) Они независимы от всех реальных фактов (т. е. формальны в традиционном словоупотреблении). Для того чтобы принять решение относительно этих отношений, необходимо знать лишь истинности (Wahrheitswert) предложений, а не их значения (Bedeutung)…» [Саrnaр, 1958, с. 30].
Аналогичным образом высказываются и «собственно математики»: Л. Кутюра [Кутюра, 1913, с. 7], А. Тарский [Тарский, 1948, с. 47]). Д. Гильберт и В. Аккерман [Гильберт, Аккерман, 1947, с. 21] и др. Мы приводим лишь одну, совершенно определенную формулировку, принадлежащую П. К. Рашевскому: «…Формальная логика потому и носит эпитет «формальная», что она учит нас формам умозаключений, правильных независимо от того, о чем именно мы рассуждаем» [Рашевский, 1960, с. 82].
Другие логики формулируют этот принцип не так откровенно, со всевозможными оговорками, однако фактически и они целиком и полностью стоят на его почве. Приведем исключительно характерное в этом отношении место из книги В. Ф. Асмуса:
«…Одни и те же логические формы и одни и те же логические действия, или операции, встречаются в самых различных науках, охватывающих самое различное содержание.
Логики-идеалисты делают неправильный вывод из этого факта. Заметив — и совершенно справедливо, — что одними и теми же логическими формами, например формами умозаключения или доказательства, может охватываться самый различный материал, принадлежащий различным областям действительности и различным областям знания, логики эти делают отсюда вывод, будто формы мышления, изучаемые логикой, совершенно не зависят от содержания того, что при помощи этих форм мыслится.
55
Здесь и в дальнейшем надо все время иметь в виду, что в традиционной терминологии «логическая форма», или просто «форма», означает то, что мы называем строением знаковой формы мышления и схемами преобразования ее. Во всех приводимых ниже текстах она употребляется именно в этом смысле.