вопрос можно сформулировать так:

какими критериями мы должны руководствоваться для того, чтобы иметь возможность судить о том, правильно или неправильно употреблен термин?

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

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

Например, Н. Гудмен так рассматривает предложение: «Если этой спичкой чиркнуть, то она зажжется»:

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

Гудмен далее перечисляет еще и еще условия, и приходит к заключению:

Мы в конце обнаруживаем, что находимся в бесконечном вращении по кругу... Другими словами, чтобы прийти к правильному выводу, надо все дальше и дальше обеспечивать тылы. Строго говоря, мы можем сделать окончательный вывод только на основе недоказанных посылок; проблема условных предложений оказывается неразрешимой.

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

К самостоятельным факторам, устанавливающим правильность нереальных условий, можно отнести объем существующих у людей знаний и вывод, получаемый из более обширного по объему закона, для которого рассматриваемый случай является частным. Однако объем существующих у людей знаний предстает некоторой абстракцией, связанной с познавательной и креативной практикой, и как объем может в наиболее общем виде определен как область возможности общего знания, общего для всех членов языкового сообщества в том отношении, что оно потенциально доступно, открыто для постижения каждым из членов языкового сообщества в результате определенного познавательного процесса. Так, Д. Льюис показал, что контрфактические высказывания ведут себя иначе, чем обычные условные высказывания с материальной импликацией608. Если имеет место (p > q) и (q > r), то отсюда следует, что (p > r). Однако из истинности высказываний 'если бы имело место p, то q' и 'если бы имело место q, то r' не следует истинность высказывания 'если бы имело место p, то r'. Различие между условными и контрфактическими высказываниями указывает на эпистемологическую и онтологическую значимость собственно языковых правил, сложившихся в результате историко-культурного процесса функционирования языка (т.е. «социальных и культурных факторов», о которых Льюис писал в связи с конвенцией). В самом деле, еще одним источником придания уверенности выводам из обычных силлогизмов (или из более сложных типов рассуждений, включая реальные и нереальные условия) предстает жесткое следование правилам языка, используемого для аргументации. Аккумулированный в языке опыт человечества может убедить отдельного человека или группу людей в правильности языковых построений, если они будут сформулированы в соответствии с правилами логики и языковых действий. Языковые конструкции, опирающиеся как на жизненный опыт, так и на правила логики, живут и самостоятельно, по своим собственным законам. С их помощью можно построить мощные теории, в которых обнаруживаются совершенно неизвестные из прежнего опыта вещи.

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

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

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

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

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

Исходящая из таких посылок общая теория референции, охватывающая все референциальные функции, основана на единой символической операции, посредством которой один предмет представляет (“stands for”) другой.

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

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

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