По замечанию Дэвидсона,

Нейрат, Карнап и Гемпель были правы, отказываясь от поиска основного вида очевидности, на котором может покоиться наше знание о мире. Такая очевидность не является ни доступной, ни необходимой. Однако они, возможно, не сумели оценить, почему она не необходима. Она не необходима, потому что каузальные отношения между нашими полаганиями, речью и миром также дают интерпретацию нашего языка и наших полаганий561.

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

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

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

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

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

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

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

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

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

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

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