М.В.Лебедев

Миротехнологии Гудмена

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

Попытаемся рассмотреть эпистемологический фон построений Гудмена. Характерная для классической эпистемологии парадигма подразумевает действительность не задаваемой, а данной. Здесь объект познания — нечто предзаданное, нечто налично существующее; все знание, с такой точки зрения, может быть выстроено на основе некоторых перцептуальных образований, предшествующих любой концептуализации. В аналитической традиции — начиная, например, с "Логического построения мира" Карнапа — существует иной подход, отклоняющий эпистемологически "данное" в опыте наряду с любым требованием эпистемологического приоритета внелогических оснований знания. Гудмен весьма последовательно реализует такой подход: согласно его точке зрения, разум активен в восприятии на всех уровнях; не существует вообще такой вещи как неструктурированные, абсолютно непосредственные сенсорные "данные", свободные от классификации. Все восприятие определено выбором и классификацией, в свою очередь сформированными совокупностью унаследованных и приобретенных различными путями ограничений и преференций. Даже феноменальные утверждения, подразумевающие описание наименее опосредованных ощущений, не свободны от таких формообразующих влияний. Согласно Гудмену, действительность не скрыта от нас; однако систематически постигать ее можно не только одним способом, но множеством способов. Конечно, существуют системы, не согласующиеся с нашим опытом; но вместе с тем имеется и множество различных систем, которые "соответствуют" (fit) миру, причем некоторые из них представляют собой полностью равнозначные альтернативы.

Написание книги было инспирировано юбилеем Кассирера, и это не привязка к формальному поводу — Гудмен действительно возводит свою позицию непосредственно к неокантианскому пафосу Кассирера, у которого уже встречается сочетание идей множественности миров, неподлинности "данного", креативной силы понимания и формообразующей функции символов. Кассирер развивает концепцию символической формы, возводя ее как от науки, так и от искусства. Любой перцептивный акт "чреват символически": в одно и то же время он содержит неинтуитивные значения и конкретно представляет непосредственно само восприятие. Мы имеем дело не столько с существованием вещей, сколько с объективной валидностью перцептуальных отношений, и наше знание вещей зависит от этой валидности. Эти отношения рассматриваются "философией символических форм", где символическая форма — метафорическое представление перехода от мира выражения к чистому познанию. Кассирер заключил, что человек по существу характеризуется своей уникальной способностью использовать "символические формы" мифа, языка и науки как средства структурирования своего опыта и таким образом понимания как себя самого, так и мира природы. Язык здесь является символической системой, использующей конструирование символических форм для того, чтобы понять мир природы. Теория языка как символической системы подразумевает указание на объектно-ориентированные характеристики используемого способа репрезентации. Язык не может быть рассматриваться как копия вещей, но представляет собой условие наших понятий о вещах; он — предпосылка нашего представления об эмпирических объектах, нашего понятия о том, что мы называем "внешний мир". В самом деле, устранение Кассирером из кантовской системы понятия "вещи в себе" как одного из двух (наряду с субъектом познания) факторов, создающих мир "опыта", подразумевает, что материал для построения "опыта" ("многообразие" у Кассирера) создается самой мыслью. Соответственно, пространство и время перестают быть созерцаниями, как у Канта, и превращаются в понятия[1]. Вместо кантовских двух миров появляется единый "мир культуры", а идеи разума из регулятивных становятся, как и категории, конститутивными, созидающими мир принципами, "символическими функциями". Разнообразные сферы культуры, которые Кассирер называет "символическими формами" (язык, миф, религия, искусство, наука), рассматриваются им как самостоятельные, не сводимые друг к другу образования.

Эти идеи развиваются Гудменом в конструктивных логических системах. В отличие от Кассирера, обращающегося для своих построений к структуре мифа, Гудмен принимает более аналитичный — логикоморфный — подход, реализованный Гудменом в рамках эпистемологического конструктивизма[2]. Его интересует не то, что первично в познавательном процессе, а то, что может служить базисом для экономичной, ясной и единой системы. В подобной системе определяющее — это комплекс интерпретированных терминов, а определяемое — известный осмысленный термин, и аккуратность определения зависит от отношения между ними. Отображаемость (projectibility) предикатов будет в таком случае состоять в том, что структурные взаимосвязи экстенсионалов предикатов definienda будут показаны в пределах экстенсионалов definientia. Абсолютная идентичность элементов, связанных таким образом, не имеет важности. Соответствующий критерий определительной точности должен, таким образом, быть отвлечен от абсолютной идентичности и сосредоточен на сохранении структуры. Это — принцип "экстенсионального изоморфизма", который Гудмен предлагает как критерий адекватности конструктивного определения.

Теоремы конструктивной системы полагаются "реальными" определениями, использующими определенные семантические критерии правильности в дополнение к обычным синтаксическим критериям, налагаемым на чисто формальные (или "номинальные") определения. Конструктивная система формализует некоторую область (предполагаемого) знания, которое может быть представлено как множество предложений, сформулированных в неформализованном дискурсе (например, естественном языке), где некоторые термины должны быть соответственно определены в системе, использующей правила вывода, а некоторые образуют специальное множество терминов, принятых за элементарные, т.е. базовые примитивы системы ("внелогические основы" — "extralogical basis"). Таким образом, вопрос о критериях правильности отсылает к вопросу о произвольности/непроизвольности выбора "атомов" категоризации, элементарных терминов системы. Примитивы должны при этом пониматься как уже являющиеся предметом преднамеренного использования или интерпретации; если их использование или интерпретация не очевидны, то они могут быть обеспечены неформальным объяснением, в строгом смысле не являющемся частью системы.

Термин выбирается в качестве элементарного не потому, что он является неопределяемым; скорее, он является неопределяемым в силу того, что он был выбран как элементарный... Вообще термины, принятые в качестве элементарных в одной системе, вполне могут поддаваться определению в какой-либо другой системе. Не существует ни абсолютных элементарных терминов, ни такого их выбора, который был бы единственно правильным[3].

Так, например, неформализованная область может состоять из предложений, описывающих человеческие отношения родства, а конструктивная система в этом случае будет состоять в точных определениях всех предикатов родства в терминах примитивов (например, Х — родитель Y и X — женского пола) и в рекурсивно устанавливаемой спецификации теорем через аксиомы и правила вывода. При этом каждая из теорем является интерпретацией (путем определения) одного из первоначальных неформализованных предложений.

Здесь может быть задан следующий вопрос, явившийся бы приложением общего для аналитической (и не только) философии "парадокса анализа", или "парадокса объяснения": если мы уже располагаем неформализованным "знанием", к которому мы должны обратиться в оценке как точности определений конструктивной системы, так и ее адекватности (то есть, образуют ли ее теоремы достаточно дифференцированное множество: является ли, скажем, некоторое описание законченным), то зачем вообще нужно строить такие системы? Каким образом может что-то объяснить такая теория?

Ответ может учитывать три аспекта.

1. Успешно построенная конструктивная система сообщает нам нечто, чего мы вообще не знаем заранее, а именно тот факт, что некоторые примитивы представляют адекватные основания для определения всех рассматриваемых терминов — факт, имеющий несомненное методологическое значение. Кроме того, конструктивная система демонстрирует набор отношений логической и определительной зависимости, многие из которых не даны заранее, но способны обеспечивать возможность дальнейшего анализа.

2. В большинстве случаев, представляющих интерес, неформализованная область не так ясна и не так однозначно формализуема, как в примере с семейным родством. Разветвленность и гетерогеннность формализуемых областей будет мотивировать преимущественное развитие конструктивных систем прежде всего в отношении систем, которые можно назвать "эпистемологическими" в том смысле, что их назначением является представление некоторой части нашего знания относительно соответствующих этой части данных восприятия. Например, система, которая пытается представлять наше знание физических объектов в терминах явлений, должна вначале поставить вопрос, какой вид феноменальных объектов рассматривать (сенсорные данные, отрезки "потока опыта" и т.д.) — вопрос, который сам по себе не может быть решен обращением к обычному или традиционному употреблению термина.

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

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

Это ведет к третьему пункту в ответе на предполагаемый парадокс анализа.

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

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

Эта особенность конструктивных систем ведет к прояснению различия между критерием их точности (правильной построенности описания) и критерием адекватности (правильной оформленности описания). Вопрос адекватности является вопросом полноты системы — обеспечивает ли множество определений интерпретацию всех неформализованных предложений, представляющих интерес, в зависимости от целей системы, и является ли множество теорем системы достаточно всесторонним. Вопрос точности касается скорее статуса реальных определений системы — отношений между definientiae и definienda — и истинностного статуса теорем.

Это разграничение точности (accuracy) и адекватности (adequacy), введенное Гудменом в "Структуре явления", во многом обусловило важную для современной аналитической философии тенденцию ослабления семантического критерия, налагаемого на исследования. Главное перемещение в этом направлении происходит от синонимии или аналитичности к вполне экстенсиональному критерию. При этом сам Гудмен считает коэкстенсивность definienda и их definientiae все еще слишком сильным критерием. Неформализованное использование неопределенно и непоследовательно (противоречиво) многими способами, и отражение этих особенностей в объяснении вовсе не непременно увеличивает объяснительную силу definientiа. Неясные случаи не могут быть прояснены в соответствии с таким требованием, как коэкстенсивность; в то же время случайный отход от неформализованных ясных случаев оправдан стремлением построить хорошую теорию. Кроме того, неудовлетворительность требования коэкстенсивности указывает на качественно отличную и более глубокую проблему: в науке и обыденном языке возможны (и весьма многочисленны) случаи альтернативных истолкований предикатов — истолкований, которые являются полностью неразличимыми в отношении любых критериев, уместных в тех теориях, к которым они принадлежат; однако альтернативы не просто не коэкстенсивны — они очевидным образом не пересекаются.

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

В "Способах создания миров" Гудмен делает шаг от эпистемологии к онтологии и настаивает на том, что противоречие между онтологическим монизмом и плюрализмом не выдерживает пристального анализа. Если существует лишь один, единственный, мир, то он включает множество различных, различающихся между собой аспектов; если же существует множество миров, то в любом случае существует лишь одно (единое в этом отношении) множество этих миров. Вслед за У.Джеймсом (еще одним философом из тех, которых он здесь называет своими предшественниками) Гудмен фактически воспроизводит ход еще первых атомистических построений: каждый отдельный космос конечен, но количество этих космосов бесконечно, поэтому мир в конце концов бесконечен. Но "мир" Гудмена — категория столь же эпистемологическая, сколько и онтологическая. Один мир может быть рассмотрен как множество миров, равно как и множество миров может быть рассмотрено как один: это зависит от способа рассмотрения. Речь здесь идет не о множестве альтернатив единственному действительному миру, но о множестве действительных миров. Методологический и онтологический плюрализм — естественное заключение эпистемологических взглядов Гудмена. С подобной точки зрения, некоторые истинные утверждения и правильные представления могут вступать друг с другом в противоречие, не теряя при этом своей истинности и правильности, — а следовательно, действительных миров должно быть больше одного. Наш универсум состоит скорее из способов описания мира, чем из самого этого мира или миров.

То, что традиционно рассматривалось как "окончательные" метафизические вопросы (т.е. вопросы о характеристиках, составных частях или категориях "действительности") должно быть признано, таким образом, бессмыслицей, кроме тех случаев, когда описание релятивизуется к системе или "способу рассмотрения" ("way of construing") референции. Согласно Гудмену, адекватность описания ни в каком случае не может быть вопросом истинности. Утверждение истинно, а описание или представление правильно, для мира, которому оно соответствует (fit). Вопрос задается скорее не о том, правильно ли представление или нет, а о том, в какой системе координат или категорий, в каком контексте оно правильно. Например, изображения с обратной перспективой или цветопередачей могут в определенных контекстах восприниматься нами как реалистичные. Однако допущение об относительности понятия правильности и о возможности существования конфликтующих правильных воспроизведений (renderings) не означает отказа от четких критериев оценки правильности, различения правильного и неправильного.

В этой связи Гудмен проводит довольно тонкую дистинкцию между двумя смыслами, в которых употребляется слово "реалистичный"[4]. С одной стороны, "реалистичный" означает "соответствующий обыденным суждениям о правдоподобии": в этом смысле мы говорим, например, что картины Дюрера реалистичнее картин Сезанна. Но мы можем говорить также о достижении нового уровня реализма в работах того или иного художника или фотографа, показавшего нам новые стороны жизни, о которых мы не знали раньше, но которые мы восприняли как узнаваемые, когда увидели их. В этом случае "реалистичный" означает "вновь обнаруженный с некоторой достоверностью". Речь здесь идет не об узнавании привычного объекта, но об открытии, раскрытии вновь встреченного. Эти два смысла соответствуют понятиям инерции и инициативы, с помощью которых Гудмен охарактеризовал свойства индуктивных умозаключений. В номиналистической онтологии Гудмена такие понятия объясняются в терминах той проекции предикатов, которая связывает в единый индивид комплекс, принадлежащий одному месту и времени, и комплекс, принадлежащий другому месту и времени. В терминах такой проекции некоторое место в поле зрения, в котором в настоящий момент отсутствует цвет, присутствующий в другое время и в другом месте, можно считать потенциально окрашиваемым, способным быть окрашенным (соlоrаblе) в этот цвет, а палку, которую не сгибают в настоящий момент, можно считать гибкой. Решающая проблема заключается в том, чтобы обосновать отображаемость предикатов в терминах законоподобных высказываний, а эта проблема по существу является проблемой индукции.

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

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

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

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

·        Из-за множественности версий мира в различных знаковых системах бесполезно искать полное описание действительности (сущностная незавершаемость).

·        Онтологические предложения имеют истинностное значение только относительно "истолкования" или "трактовки" объектов, мира, действительности, и т.д.; в целом, отсылка к "миру" имеет смысл только в том случае, если она релятивизуется к системе описания (онтологический релятивизм).

В свою очередь, онтологические установки Гудмена проявляются в его философии языка. В "Языках искусства" Гудмен предлагает общую теорию референции, охватывающую все референциальные функции. Она основана на единой символической операции, посредством которой один предмет представляет ("stands for") другой. На первый план здесь выходит критерий внешности по отношению к символической (знаковой, или языковой в самом широком смысле) системе — критерий, в определенном отношении предельно формальный: мы не можем говорить о предметах обозначения как о сущностях, внутренне присущих самой знаковой системе, о неких свойствах обозначения, поскольку отсылка к чему-то иному, направленность на иной предмет является сущностным свойством знака. Именно благодаря этому конституирующему свойству знак (например, гудменовский или кассиреровский символ) является собой, а не чем-то иным (скажем, не относится к некоторому классу чисто физических, метафизических или психических понятий). Таким образом, хотя базовые семантические примитивы (предельные единицы) конструктивных систем могут являться феноменальными сущностями, эти системы тем не менее не будут являться феноменалистскими системами, т. к. не будут поддерживать феноменализм как фундаментальную эпистемологическую доктрину (равно и как онтологическую доктрину, претендующую на полноту).

Отсюда становится ясной эпистемологическая значимость конструктивных систем для обоснования употребления языка. Она состоит прежде всего в выявлении совокупности взаимоотношений между различными частями концептуального аппарата. Фундаменталистская метафора заменена в них "сетью полаганий" ("web of belief"). Подобно гипотетико-дедуктивным теориям естественнонаучных дисциплин, определения и теоремы конструктивных систем устанавливают дедуктивные отношения между предложениями, несущими рациональную нагрузку; причем на чем более элементарных основаниях строится конструктивная система, тем более плотными устанавливаются систематические связи и тем полнее общая связность и внутренняя непротиворечивость системы. Следующим этапом является выявление согласуемости различных систем, т. е., применительно к лингвистическим ситуациям, интерсубъективной аутентичности значений, возможности одинаковой идентификации референтов всеми членами языкового сообщества.

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

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

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