Избранные труды
Шрифт:
Конец страницы 21
Начало страницы 22
и логика интересуется истинными предложениями о логических отношениях. Характеристика логики с помощью оборотов, содержащих такие выражения, как «правильное мышление», «обоснованное убеждение» и т.д. в такой же мере правильна и не плодотворна, как определение понятий, что ботаника — учение о правильном мышлении о растениях, что теоретическая политэкономия — учение о правильном мышлении о закономерностях хозяйства. Во всех случаях излишнее указание на правильное мышление надо опустить. Чтобы заниматься наукой, нужно постоянно думать, но это не означает, что мышление есть объект всех научных исследований; оно является объектом исключительно эмпирически-психологического исследования, но не логических, ботанических и политэкономических» [Сагпяр, 1958, с. 31, 32]. Не менее решительно высказывается по этому вопросу и Я.Лукасевич [Лукасевич, 1959,
Даже эти крайние формулировки являются, с нашей точки зрения, более правильными, нежели противоположное утверждение, что формальная логика изучала и изучает мышление. Повторим: формальная логика в силу возможностей своего метода, а затем и в силу особенностей своей модели всегда, по существу, исследовала и описывала не языковое мышление в целом, а лишь его знаковую форму, и поэтому движение, выраженное тезисом: «Логика есть синтаксис и семантика языка», если оставить в стороне детали, в общем правильно отражает действительное положение дел, настоящий предмет и настоящие возможности традиционной формальной логики.
Повторяя этот тезис, мы хотим тотчас же, во избежание превратных толкований, специально отметить, что, с нашей точки зрения, это положение правильно как констатация сложившегося положения дел; но оно неправильно и даже вредно, поскольку выдает существующую неблагополучную практику за норму, ограниченность существующего метода исследования возводит в ранг достоинства и, вместо того чтобы искать и разрабатывать новый метод, стремится увековечить существующее положение дел. Но не на этом мы делаем сейчас ударение; нам важно подчеркнуть, что сложившаяся практика логического исследования, действительный предмет формальной логики и ее действительные возможности были в конце концов отчетливо осознаны.
3. Таким образом, фактический предмет исследования формальной логики — знаковая форма. Но зададим себе вопрос: в каком направлении и как ее можно исследовать? С точки зрения уже выработанного нами понимания, исследовать знаковую форму можно по существу только в системе языкового мышления (или, если быть более точными, только в системе еще более сложного структурного целого, включающего, кроме связей отражения, также связи коммуникации, связи знаков с практическими, предметными действиями и т.п.). Если же мы возьмем знаковую форму отдельно от этой структуры и вне ее функций замещения,
Конец страницы 22
Начало страницы 23
сообщения и сигнализации, то она перестанет быть тем, что она есть, — формой и вообще языковым выражением. Вне этих функций, независимо от них в ней по существу ничего и нет. И это вполне понятно, так как служить этим функциям — ее единственное назначение. Знаковая форма не имеет своей жизни вне и помимо этих структур, она живет и существует лишь как их элемент, и поэтому только как такой элемент может быть предметом исследования. Другими словами: чтобы обоснованно пользоваться выработанной в формальной логике моделью языкового мышления, нужно ограничить предмет исследования одной лишь знаковой формой. Но знаковая форма сама по себе, взятая вне структуры языкового мышления в целом, не может быть самостоятельным предметом исследования. В этом заключается основное противоречие формальной логики.
4. Итак, исследовать знаковую форму можно только как элемент структуры языкового мышления в целом (или еще более сложной структуры поведения). Но это значит, что в ходе этого исследования нужно выделять и анализировать связи, в которых существует знаковая форма, функции, порожденные этими связями, или «значения», а также содержание, выражаемое в форме. В общем и целом в практике интуитивного, нестрогого исследования знаковую форму всегда так и брали: ее «понимали» и вместе с тем осознавали, что она что-то замещает, выражает и к чему-то, следовательно, должна быть отнесена. Именно понимание знаковой формы давало возможность расчленять ее на отдельные значащие элементы, находить связи между ними, реконструировать ее структуры и т.п. И это был учет содержания и значений формы. Но учет не объективный, не в виде сознательной исследовательской процедуры, направленной на содержание и значения как на отчужденные предметы рассмотрения, а субъективный, осуществляющийся посредством обычного тривиального «понимания» заданных текстов. Дело происходило таким образом, что исследователь мышления — логик, психолог или лингвист — сначала осуществлял процесс мышления просто как мыслящий человек, понимая заданный текст, а затем, используя результаты этого понимания, он начинал анализировать строение понятой знаковой формы собственно научными, «сугубо объективными» методами; но «понимание» было уже включено во все это. Такой исследователь не ставил вопрос, какой понимает текст и как на основе этого понимания производит смысловое расчленение формы; он брал эту расчлененность как данное, в качестве исходного пункта своей собственной специфической работы. Но именно непроанализированная, производимая в процессе понимания часть исследовательской работы была связана с выходом за пределы знаковой формы. Наоборот, та часть исследовательского процесса, которая сознательно анализировалась и фиксировалась, была связана непосредственно с одной лишь знаковой формой. Вследствие
Конец страницы 23
Начало страницы 24
этого основное противоречие формальной логики, с одной стороны, отодвигалось, как бы переносилось в план самого метода анализа и описания знаковой формы, а с другой — маскировалось, лишенное своего объективного выражения. Это второе обстоятельство привело к тому, что основное противоречие метода формальной логики долгое время оставалось скрытым.
5. Осознание его пришло только в начале XX столетия в контексте иных проблем, связанных прежде всего с работой по обоснованию математики. Многие логики и лингвисты, следуя за математиками, стали доказывать, что структура знаковых выражений может быть выявлена без обращения к их содержанию и значениям — «чисто формальным методом». Таким путем они надеялись привести метод в соответствие с предметом исследования. В логике эта точка зрения дала начало теориям «синтаксиса языка», в лингвистике — так называемому «структурализму».
«Мы должны указать, — писал Р.Карнап, — что все логические вопросы выразимы формально и поэтому могут формулироваться как синтаксические вопросы. Согласно принятому мнению в логическом исследовании, кроме формального рассмотрения, относящегося только к последовательности и (синтаксическому) виду символов языковых выражений, существует еще содержательное рассмотрение, которое задает не только вопрос о виде формы, но также и о значении и смысле. Согласно этому мнению формальные проблемы образуют в лучшем случае небольшую часть всей области логических проблем. В противоположность этому мнению наши соображения о всеобщем синтаксисе показывают, что формальный метод, если он проводится достаточно широко, охватывает все логические проблемы, в том числе и так называемые содержательные, или проблемы смысла (поскольку они являются точно логическими, а не психологическими проблемами)» [Carnap, 1934, с. 207] (см. также [Carnap, 1946, с. 4-5, 10]).
Но на деле подобный взгляд — не что иное, как иллюзия.
Звуковой язык или язык жестов, взятые сами по себе, практически вообще не допускают анализа чисто формальными методами. А графический язык всегда предстает перед исследователем, желающим применить «формальный» метод, фактически уже расчлененным. Но если даже мы предположим, что так называемый чисто формальный метод анализа может быть приложен к любому языку без всяких затруднений, то и тогда должны будем сказать, что с его помощью нельзя выявить отдельные значащие единицы сложных языковых выражений, т.е. знаки в собственном смысле этого слова; в лучшем случае он позволяет выявлять мельчайшие единицы «материала» формы, которые совсем не
Конец страницы 24
Начало страницы 25
обязательно должны иметь «объективное» содержательное значение (как, например, буквы словесного графического языка, фонемы и т.п.).
Кроме того, такой подход к анализу языковых выражений с самого начала исключает всякую возможность выявления и объяснения явлений синонимии и омонимии — факт, который уже в достаточной мере обнаружил себя. И это вполне естественно, так как в материале знаков, знаковой форме, если рассматривать ее саму по себе, нет ничего специфического для знака и знаковой формы. Там нет ни связей между значками, ни объединений значков. Там вообще нет ни единиц, ни мельчайших элементов. Все это «существует» и может быть выделено только потому, что на деле материал языка есть форма отражения определенного содержания. Но это значит, что все характеристики материала языка могут учитываться и вводиться только тогда, когда мы рассматриваем этот материал как знаковую форму, т.е. во взаимосвязи с содержанием. Но именно этого не понимают теоретики формального метода.