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