"Языковое мышление" и методы его анализа

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

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

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

Принцип параллелизма - теоретическое основание формальной логики

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

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

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

Действительным объектом при исследовании языкового мышления всегда является взаимосвязь, или структура (рис. 28) в целом.

Рис. 28

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

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

Но эти определения крайне разнородны. Поэтому, чтобы объединить их, приходится создавать искусственные, непохожие на действительные, связи и непомерно усложнять строение актов отражения вообще и мысли в частности.

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

Кроме того, единство и связь разделенного таким образом [языкового мышления] постоянно дают о себе знать, заставляя искать способ связи их, тем самым - действительную структуру языкового мышления. Но принцип параллелизма, от которого не решаются отказаться, делает все эти попытки безнадежными.

Аналогичное противоречие существует и в методе логического исследования.

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

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

Попытки «снять» это противоречие между описанием и реальными процессами мышления могли идти и шли по двум основным линиям.

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

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

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

2.2 Следствия принципа параллелизма в логике

Понятия формальной логики описывают не языковое мышление в целом, а одну лишь его знаковую форму, да и ту неполно

Выше мы уже сказали, что действительным объектом рассмотрения при исследовании языкового мышления может быть только вся взаимосвязь или структура (см. рис. 28).

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

1) знаковая форма исследуется и берется как элемент структуры языкового мышления, то есть в своих функциональных свойствах; свойства эти приписываются языковому мышлению в целом;

2) знаковая форма, как и в предыдущем случае, исследуется в структуре языкового мышления и берется со стороны своих функциональных свойств; но свойства, выделенные таким образом, приписываются знаковой форме не как элементу структуры, а как особому изолированному явлению, то есть фактически - как материалу знаковой формы;

3) знаковая форма рассматривается сама по себе как изолированное объективное явление, а свойства, выделенные таким образом, рассматриваются как характеризующие языковое мышление в целом;

4) исследуется все языковое мышление в целом, а выделенные свойства приписываются знаковой форме.

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

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

«…Так как силлогизм предполагает грамматические функции, напрасно рассматриваемые в качестве функций мысли, то автор Правил мог написать: «Эта доктрина должна быть перенесена из философии в риторику»» - характерное для этой линии замечание [Серрюс, 1948: 146].

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

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

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

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

Правда, он появился совсем не в результате проникновения в действительную природу языкового мышления и не в результате понимания действительного значения и смысла принципа параллелизма, а как продукт довольно странной, на первый взгляд, эволюции самуй формальной логики. Основные этапы этой эволюции - «алгебра логики» Дж. Буля и Э. Шрёдера, «математическая логика» Г. Фреге, Дж. Пеано, Ч. Пирса и, наконец, «Принципы математики» Б. Рассела и А. Уайтхеда.

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

Когда Дж. Буль выразил силлогистические умозаключения в новых символах, заимствованных из алгебры, он думал, что описывает процессы мышления. На деле же он только иначе обозначил смысловые элементы знаковой формы и их отношения. Само по себе это нововведение не имело никакого значения, даже с точки зрения придания необходимой строгости символической системе: схемы силлогистики того времени были достаточно точны и совершенно однозначны. Но то, в сущности своей совершенно побочное, обстоятельство, что новые символы были заимствованы из алгебры, сломало барьер, отделявший логику от математики, и подготовило почву для самых разнообразных аналогий и сопоставлений и, в конечном счете, - для их совместного рассмотрения.

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

Таким образом, незаметно изменялись задачи, предмет и методы анализа. Математики, принявшие на себя задачу разработки логики, строили все новые и новые «строгие» и «точные» языки, совершенно подобные языкам математики. Логика начала выступать как самое «широкое» математическое исчисление, лежащее в основании всех других. Для завершения всего этого процесса смены позиции не хватало только одного шага: объявить, что задача построения таких языков не ограничивается рамками одной лишь математики, а должна быть распространена на все науки. И этот шаг был сделан логическим эмпиризмом. [В результате этого шага] методы «математической» логики стали методами и основанием всей логики и даже философии науки. Онтологическая точка зрения частной науки сменила традиционно гносеологическую точку зрения логики. Но для осознания это изменение позиции оказалось исключительно плодотворным, так как перед рефлектирующим познанием впервые выступили в чистом виде действительная позиция и метод работы конкретного ученого. Осознание логического исследования превратилось в логическое сознание конкретно-научного исследования. И в этом смысле в конечном счете выиграла и сама логика. В теоретическом осознании метода работы этот переворот проявил себя в борьбе против «психологизма», в теории феноменологии Э. Гуссерля, в тезисе «логика - синтаксис языка».

По-видимому, Л. Витгенштейн был первым, кто дал в XX столетии толчок к движению, выраженному в последнем тезисе. В предисловии к «Логико-философскому трактату» он писал: «Книга обращается к философским проблемам и показывает - как я полагаю, - что постановка этих проблем покоится на непонимании нашего языка. Весь Смысл книги можно охватить приблизительно такими словами: то, что можно сказать, можно сказать ясно, а о том, о чем нельзя говорить, дулжно хранить молчание» [Витгенштейн, 2005: 14]. Но Витгенштейн еще не исключал полностью мышления, а лишь стремился «поставить ему границу». Он определял мышление как выражение положения дел в языке, и в этом плане исследование языка было в определенной мере и исследованием мышления, но не всего, а лишь одной какой-то его части или, точнее, грани - не «содержания», а «формы смысла». Он писал:

«3.11. Мы используем в Пропозиции чувственно воспринимаемые Знаки (звуковые или письменные) в качестве Проекции возможной Ситуации.

Проекционный метод представляет собой продумывание Смысла Пропозиции. <…>

3.13. Пропозиции принадлежит то, что принадлежит Проекции; но не проецируемое.

Стало быть, Возможность проецируемого, но не оно само.

Стало быть, в Пропозиции не содержится Смысл, скорее, Возможность его проявления. <…>

В Пропозиции содержится Форма ее Смысла, но не его содержания» [Витгенштейн, 2005: 57-59].

Далее:

«4. Мысль - это Пропозиция, обладающая Смыслом. <…>

4.002. <…> Речь маскирует мысль. И так, что по внешней форме этой маскировки нельзя заключить о форме замаскированной мысли; поскольку внешняя форма маскировки восве не имеет целью выявить форму тела. <…>

4.0031. Вся философия - это «критика речи» (правда, не в маутнерианском смысле). Заслуга Рассела в том, что он показал, что логическая Форма Пропозиции не нуждается в том, чтобы быть реальной Формой.

4.01. Пропозиция - это Картина Реальности.

Пропозиция - модель Реальности, какой мы ее себе мыслим» [Витгенштейн, 2005: 86-88].

И, наконец, в предисловии:

«…Книга проводит границу мышлению, или, скорее, не мышлению, а проявлению мыслей. Ибо, чтобы провести границу мышлению, мы должны были бы быть в состоянии мыслить по обе стороны этой границы (мы должны были бы, тем самым, быть в состоянии мыслить о том, о чем мыслить нельзя).

Стало быть, граница может быть проведена лишь внутри языка. То, что лежит по ту сторону границы, будет просто лишено Смысла» [Витгенштейн, 2005: 14].

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

«Мы должны указать, - писал Р. Карнап в «Логическом синтаксисе языка», - что все логические вопросы выразимы формально и поэтому могут формулироваться как синтаксические вопросы. Согласно принятому мнению, в логическом исследовании кроме формального рассмотрения, относящегося только к последовательности и (синтаксическому) виду символов языковых выражений, существует еще содержательное рассмотрение, которое задает вопрос не только о виде формы, но также и о значении и смысле. Согласно этому мнению, формальные проблемы образуют в лучшем случае небольшую часть всей области логических проблем. В противоположность этому мнению, наши соображения о всеобщем синтаксисе показывают, что формальный метод, если он проводится достаточно широко, охватывает все логические проблемы, в том числе так называемые содержательные, или проблемы смысла (поскольку они точно являются логическими, а не психологическими проблемами). Если мы, следовательно, говорим, что логика науки будет не чем иным, как синтаксисом научного языка, то это не нужно понимать как предложение признавать в качестве единственно научных логических проблем только определенную часть проблем прошлой логики науки (как она формулировалась в ранее названных работах). Выдвигаемое мнение заключается скорее в том, что все проблемы прежней логики науки, поскольку они точно формулируются, выступают в качестве синтаксических проблем» [Carnap, 1934:??]. Необходимо заметить, что в этом отрывке все положения о предмете как собственно логики, так и логики науки теснейшим образом переплетены с соображениями о методе логического исследования и, можно даже сказать, зависят от последних и определяются ими. Но мы совершенно сознательно оставляем их в тени - это предмет обсуждения следующего параграфа - и хотим, чтобы читатель обратил внимание только на то, что относится непосредственно к предмету логики.

В другой своей работе Карнап высказывался еще определеннее и резче: «Для того чтобы исследовать, действительно ли заключение следует из определенных посылок, действительно ли доказуемы данные предложения, логики не устанавливают никаких гипотез о мышлении людей, которые затем экспериментально проверяются, но они анализируют исключительно данные предложения и их отношения. Однако если обратиться к замечаниям, которые делают сами логики в отношении сущности и цели своей науки, то мы найдем - по крайней мере, в учебниках по традиционной логике - нередко совсем иное. Логика характеризуется как «учение о мышлении», как «искусство мышления», логические принципы рассматриваются как законы мышления и принципы мышления. Такие и подобные им формулировки, ориентированные на мышление и суждение, имеют субъективную природу. Такого рода противоречие, когда теоретик исследует проблемы объективного характера, но описывает свою исследовательскую деятельность с помощью субъективистских психологических выражений, таких, например, как «мышление», называется психологизмом. В настоящее время большинство теоретиков в области дедуктивной логики освободились от психологизма. В основном это заслуга Готлоба Фреге и Эдмунда Гуссерля, что была подчеркнута необходимость ясного различения эмпирически-психологических и неэмпирически-логических проблем и указаны те ошибки, к которым мог привести психологизм.

Наряду с примитивным психологизмом, который, к примеру, истолковывает логическое следование как определенный вид мыслительной необходимости…, существует еще умеренная и утонченная форма психологизма. Иногда логики соглашаются с тем, что они не занимаются процессами мышления, суждения, умозаключения, ибо в противном случае их наука была бы ветвью эмпирической психологии, и ее законы нужно было бы проверять статистическими исследованиями навыков мышления, суждений и умозаключений. Тем не менее они полагают, что должна существовать какая-то тесная связь между логикой и мышлением, и говорят поэтому, что логика занимается правильным, или разумным, мышлением. Высказывание о существовании логического следования описывается тогда примерно так: «Если кто-либо имеет достаточное основание быть убежденным в посылке И, тогда эти же основания делают возможным его убежденность в заключении К». Ослабленный таким образом психологизм потерял, однако, все содержание, и употребление таких выражений, как «убеждаться», «мыслить», стало излишним. Данное выше описание следования сообщает не более, чем описание в непсихологических терминах, именно «если И истинно, то и К с необходимостью истинно», причем «с необходимостью» сообщает то же самое, что и «во всяком возможном случае, безотносительно к тому, что действительно имеет место». Высказывания об «обоснованном» мышлении и убежденности сами в основе выводимы только из подобных формулировок и поэтому имеют вторичную природу. Как в ботанике формулируются истинные предложения о растениях, так и логика интересуется истинными предложениями о логических отношениях. Характеристика логики с помощью оборотов, содержащих такие выражения, как «правильное мышление», «обоснованное убеждение» и т.д., в такой же мере правильно и неплодотворно, как определение понятий, что ботаника - учение о правильном мышлении о растениях, а теоретическая политэкономия - учение о правильном мышлении о закономерностях хозяйства. Во всех случаях излишнее указание на правильное мышление надо опустить. Чтобы заниматься наукой, нужно постоянно думать, но это не означает, что мышление есть объект всех научных исследований; оно является объектом исключительно эмпирически-психологических исследований, но не логических, ботанических и политэкономических» [Carnap, 1958: 31-32].

Не менее решительно высказывается по этому вопросу и Я. Лукасевич.

«…Неверно, что логика - наука о законах мышления. Исследовать, как мы действительно мыслим или как мы должны мыслить, - не предмет логики, - пишет он. - Первая задача принадлежит психологии, вторая относится к области практического искусства, наподобие мнемоники. Логика имеет дело с мышлением не более чем математика. Вы, конечно, должны думать, когда вам нужно сделать вывод или построить доказательство, так же как вы должны думать, когда вам надо решить математическую проблему. Но при этом законы логики к вашим мыслям имеют отношение не в большей мере, чем законы математики. То, что называется «психологизмом» в логике, - признак упадка логики в современной философии. И за этот упадок Аристотель не несет ответственности. Во всей «Первой аналитике», где дается систематическое изложение теории силлогизма, нет ни одного психологического термина. Аристотель с интуитивной уверенностью знает, что принадлежит к логике, и среди затронутых им логических проблем не встречается ни одной, связанной с таким психическим явлением, как мышление» [Лукасевич, 1959: 48-49].

И несколько дальше, продолжая эту же мысль, Лукасевич добавляет: «…Логика Аристотеля - это теория отношений А, Е, J и O в сфере общих терминов. Очевидно, что такая теория имеет с нашим мышлением не больше общего, чем, например, теория отношений «больше» и «меньше» в области чисел» [Лукасевич, 1959: 50].

Даже эта крайняя формулировка является, с нашей точки зрения, более правильной, нежели противоположные утверждения, что формальная логика изучала и изучает мышление. Повторим: формальная логика в силу возможностей своего метода всегда исследовала и описывала не языковое мышление в целом, а лишь его знаковую форму, и поэтому движение, выраженное тезисом «логика есть синтаксис и семантика», - если оставить в стороне детали, - в общем правильно отражает действительное положение дел, настоящий предмет и настоящие возможности традиционной, формальной логики.

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

Отказ от исследования мышления в логике, как мы видели, постоянно связывается с борьбой против так называемого «психологизма». Но суть психологизма состоит совсем не в том, что мы разбирали выше, она связана с другими сторонами проблемы. Логика изучает объективные, независимые от субъекта явления, а мышление есть субъективное человеческое переживание; поэтому оно может быть предметом только психологии - таковы, собственно, тезисы борьбы против «психологизма».

Ошибка всех так называемых «антипсихологистов» - в совершенно неправильном понимании природы мыслительной деятельности, правда, это понимание навязано им психологией. Разбор этой ошибки - совершенно особый вопрос, не связанный с тем, которым мы сейчас занимаемся, и совершенно особая линия в осознании предмета логики; мы будем подробно обсуждать ее в разделе о мыслительной деятельности (см. §§…).

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

Другой аспект того же вопроса - и мы должны его здесь рассмотреть - это сам способ, каким выделялась и анализировалась знаковая форма.

С точки зрения уже выработанного нами понимания языкового мышления, исследовать знаковую форму можно только в системе взаимосвязи (см. рис. 28), как элемент ее, и притом - особый элемент, замещающий или выражающий другой элемент этой взаимосвязи, объективное содержание. Если же мы возьмем знаковую форму отдельно от этой структуры и вне функции замещения или выражения, то она перестанет быть тем, что она есть, - формой и вообще языковым выражением. Чтобы исследовать знаковую форму именно как форму, ее нужно рассматривать как выражение или проявление чего-то другого, [а именно:] содержания. В общем и целом в практике обыденного мышления и в практике интуитивного, нестрогого исследования знаковую форму всегда так и брали: ее «понимали» и вместе с тем «осознавали», что она что-то замещает, выражает и к чему-то, следовательно, должна быть отнесена. Понимание знаковой формы давало возможность расчленять ее на отдельные значащие элементы, находить связи между ними, реконструировать ее структуру и т.п. Но в осознании самих способов исследования этот процесс (и, в частности, та его часть, которую мы назвали «пониманием») выступал далеко неадекватным образом.

Прежде всего, как мы уже не раз говорили, формальная логика так и не пришла к пониманию того, что же в конце концов представляет собой содержание языкового мышления, и вплоть до самого последнего времени не чувствовала необходимости изображать единицы содержания в логических схемах и формулах. Теперь формулы математической логики вида (х) Р > (х) Q или (х) Р > (у) Q и фиксируют наличие такого содержания или «обозначаемого», сам факт его существования, но при этом совершенно не ставится вопрос о возможных различиях в содержании: предполагается, что эти различия уже выражены в различиях знаковой формы и их незачем фиксировать и изображать еще раз. Здесь проявляется все тот же принцип параллелизма: различие в содержании, как и вообще его строение, может быть только таким, какое мы «видим» в форме. Естественно, что при таком понимании и изображении это содержание не играет и не может играть никакой роли в определении способов оперирования со знаковой формой (подробно мы будем обсуждать эту сторону дела ниже).

Но если содержание, его единицы не вводились сознательно в схему и формулы логики, то тем самым уничтожалась всякая возможность рассматривать знаковую форму, во взаимосвязи отражения, как замещение или выражение объективного содержания. Знаковая форма выступала, по существу, как бессодержательная.

Здесь требуются пояснения. Термины «содержательное» и «бессодержательное» могут употребляться и употребляются обычно в двух различных смыслах. Во-первых, для утверждения (и, соответственно, отрицания) того факта, что какое-то определенное явление обозначает или выражает какое-то другое явление. Первое называется в этом случае формой, а второе - содержанием. Сказать в этом смысле о каком-либо явлении, что оно бессодержательно, значит сказать, что оно ничего не обозначает, не выражает, ни к чему не отнесено, что оно не является элементом структуры вида (рис. 29):

содержание - форма

Рис. 29

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

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

Но если в структуре (см. рис. 22) мы отбросим элемент «объективное содержание», то останется особое образование (рис. 30)

Рис. 30

[Это образование] хотя и не содержит непосредственно элемента, изображающего объективное содержание, которое замещается или выражается в знаковой форме, но тем не менее содержит компоненты, указывающие на существование такого элемента и на необходимость его сознательного учета; указанием этим является наличие того, что называют значением, того, что мы изображаем в виде черты-связи. Поэтому, если брать знаковую форму таким образом, то есть в единстве со связью-значением, то нельзя уже говорить, что она берется и рассматривается как бессодержательная. Правда, при таком изображении мы не знаем, что, собственно, представляет собой содержание - и это недостаток такого анализа и способа изображения, - но все же мы можем фиксировать все необходимые различия в содержании в виде различий значения. Таким образом, можно рассматривать знаковую форму содержательно и в то же время вне непосредственной связи с содержанием. Но тогда ее нужно характеризовать посредством связи значения. Это второй способ описания знаковой формы, сохраняющий ее специфические признаки. Образование (см. рис. 30) будет в этом случае тем, что мы называем «языком» и «знаком».

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

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

Мы не можем здесь вдаваться в подробное обсуждение вопроса и приводить примеры (заметим, что их может заменить материал, изложенный в первой главе работы). Сошлемся лишь на обсуждение проблемы идентификации знаков, в которой принимали участие А. Чёрч, А. Тарский, У. Куайн и др. Подавляющее большинство исследователей при этом сводили знак к его материалу. Критика этой точки зрения дана в докладе Х. Перельмана на ХІІ Международном философском конгрессе [Relazioni introduttive, 1960; 127-130].

Различие между знаком и его материалом, тем не менее, естественно, всегда чувствовалось. Понимали также, что это интуитивно схватываемое различие объясняется наличием у знака «значения». Но найти методы положительного исследования значения до сих пор не удалось. Поэтому в логике, так же как и в других науках о языковом мышлении, «язык» и «знак» продолжали сводить к их материалу.

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

«Непрерывное высказывание в языке, например, речь, книга или флажковая депеша, может быть разложено на все более и более мелкие части. Так, речь может быть разделена на предложения, каждое предложение - на слова, каждое слово - на фонемы. Книга или письмо могут быть разделены на (письменные) предложения, каждое предложение - на (письменные) слова, каждое слово - на буквы алфавита. Где мы остановим анализ - это в некоторой степени условность, зависящая от цели нашего исследования…

…Под выражением языка мы понимаем любую конечную последовательность знаков в этом языке, независимо от того, имеет она значение или нет», - писал Р. Карнап во «Введении в семантику» (мы совершенно сознательно цитируем работы этого второго периода его исследований, чтобы снять возможные поверхностные ссылки на изменение его взглядов после 1936 года). И далее: «Исследование, метод, понятие, касающиеся выражений языка, называются формальными, если в их применении делается ссылка не на десигнаты выражений, а только лишь на форму этих выражений, то есть на вид знаков, которые встречаются в выражении, и на порядок, в котором они встречаются. Поэтому то, что описывается формальным путем, относится к синтаксису» [Carnap, 1946: 4-5, 10].

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

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

Кроме того, в основе всех приемов чисто формального метода анализа лежит предположение, что структуры знаковых выражений обладают своеобразной «аддитивностью», то есть что «значимость», или «ценность», сложных языковых выражений представляет собой как бы суммы «значимостей», «ценностей» тех более простых образований, из которых они составлены (cм. по этому поводу, к примеру: [Витгенштейн, 1959; Hjelmslev, 1953; Ельмслев, 1950/51: 61]), а это, как показывает печальный опыт неопозитивистского «анализа логики науки» (см. по этому поводу, к примеру: [Швырев, 1960]), не соответствует действительности. В частности, такой подход к анализу языковых выражений с самого начала исключает всякую возможность выявления и объяснения явлений синонимии и омонимии - факт, который уже в достаточной мере обнаружил себя.

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