терминов системы. Примитивы должны при этом пониматься как уже являющиеся предметом преднамеренного использования или интерпретации; если их использование или интерпретация не очевидны, то они могут быть обеспечены неформальным объяснением, в строгом смысле не являющемся частью системы.
Термин выбирается в качестве элементарного не потому, что он является неопределяемым; скорее, он является неопределяемым в силу того, что он был выбран как элементарный... Вообще термины, принятые в качестве элементарных в одной системе, вполне могут поддаваться определению в какой-либо другой системе. Не существует ни абсолютных элементарных терминов, ни такого их выбора, который был бы единственно правильным358.
Так, например, неформализованная область может состоять из предложений, описывающих человеческие отношения родства, а конструктивная система в этом случае будет состоять в точных определениях всех предикатов родства в терминах примитивов (например,
Здесь возникают минимум три проблемы.
1. Трудность найти выражения как основных истин логики, так и фактов и законов здравого смысла и науки в терминах номинализма, в котором все предикаты являются предикатами индивидов и никакая абстракция не рассматривается как значение (meaning) квантифицированной переменной. Эту трудность, по мнению Гудмена, можно преодолеть путем введения некоторых образцов номиналистских переводов и правил, с помощью которых можно сделать другие требуемые переводы. Такие образцы и правила Гудмен и Куайн приводили в уже упоминавшейся статье; какую именно систему Гудмен пытается строить в свете этих более ранних идей, мы скоро увидим.
2. Трудность, относящаяся в особенности к дедуктивным этапам философской конструкции – трудность выяснения понятия «сходства по смыслу» без рискованного выхода за пределы понятного мира экстенсионалов в хаотический мир интенсионалов. Обращение к Платоновым идеям исключается природой проблемы; во всяком случае, нет способа обнаружить, когда два термина представляют одну и ту же идею. Полагаться на понятие мысленной идеи или образа столь же бесполезно, так как мы не знаем, что мы можем и чего не можем вообразить, а многие предикаты не имеют соответствующего ментального образа. Попытки объяснить сходство по смыслу в терминах понятий и возможностей также тщетны, так как мыслимы разного рода противоречивые понятия, а понятие возможности заведомо отличается своей неточностью. В то же время усилия объяснить сходство по смыслу непосредственно в терминах экстенсионалов соответствующих понятий не достигают цели, так как многие коэкстенсиональные термины не сходны по смыслу. Так, например, термины «кентавр» и «единорог» имеют один и тот же нулевой экстенсионал, но не один и тот же смысл. Тем не менее есть способ их различить, так как, хотя понятия единорога и кентавра коэкстенсиональны, понятия ноги единорога и ноги кентавра имеют различные экстенсионалы – точно так же, как и понятия изображения или описания единорога и кентавра. Обобщая, можно сформулировать критерий различия по смыслу в экстенсиональных терминах следующим образом: для любых двух слов, отличающихся по смыслу, различны либо их экстенсионалы, либо экстенсионалы некоторых однотипных сложных выражений, содержащих эти слова. Но у этого определения имеется одно нежелательное следствие: '
3. Еще одна более серьезная трудность, затрагивающая прежде всего эмпирические стадии философской конструкции, связана с контрфактическими условными высказываниями. Такие высказывания, как «если бы этот кусок масла был нагрет до 150° по Фаренгейту, то он бы растаял», «если бы этой спичкой чиркнули, то она бы загорелась», неизменно истинны, но истинны также и все другие высказывания, в которых ложны и антецедент, и консеквент. Разумная формулировка научных выводов зависит от того, найдем ли мы надежный способ отличать условные предложения, дающие достаточное основание для фактических выводов, от предложений, истинных просто в силу ложности их антецедентов. Здесь возникают две основные проблемы: проблема определения относящихся к делу условий, или указания, какие предложения следует считать, в конъюнкции с антецедентом, дополнительными основаниями для вывода консеквента, и проблема определения законов, на которых основан вывод. В перспективе не видно никакого удовлетворительного решения первой проблемы, поскольку любые предложения, используемые для характеристики требуемых условий, по-видимому, сами содержат контрфактические предложения, что приводит, следовательно, к бесконечному регрессу. Проблема определения законов даже более серьезна, потому что, в то время как неотъемлемое свойство закона, по-видимому, состоит в том, что он должен быть подтвержден до проверки всех его конкретных случаев, мы еще не знаем, как можно распознать такую подтверждаемость.
Теперь мы можем охарактеризовать конструктивную систему, которую Гудмен пытается создать в рамках им самим наложенных ограничений и в свете трудностей, которые он осознает.
Конструктивная система, предназначенная для того, чтобы сделать структуру знания понятной, может быть построена либо на физикалистских, либо на феноменалистических основаниях. Тип системы, выбранный Гудменом – феноменалистический.
Против феноменализма в таком контексте также возможен ряд возражений.
1. Феноменалистическая программа, в отличие от физикалистской, незавершима. Контраргумент здесь состоит в том, что понятность для системы гораздо важнее, чем законченность.
2. Элементы, в которых в действительности дан опыт, являются наблюдениями физических объектов. Контраргумент: в силу вмешательства процесса описания на самом деле никто не знает, какие элементы даны в действительности.
3. Наиболее важное возражение против номинализма заключается в том, что целям обычного исследования науки лучше служит физикалистская система. Контраргумент: фактически попытка построить науку только в терминах языка предметов сталкивается по крайней мере с такими же трудностями, что и попытка построить ее на языке ощущений.
Не требуя какого-либо существенного приоритета для феменалистической системы, можно сказать, что такая система достаточно обосновывается тем, что она дает упорядоченное и связное описание своего предмета в терминах воспринимаемых индивидов (таким образом, это очередная демонстрация имманентной связи конструктивизма и когерентизма). Она в состоянии также дать конечную онтологию, соответствующую нашей способности восприятия и построения, которая поддается столь же интерсубъективным обсуждению и проверке, как и онтология любой другой системы.
Феноменалистические системы можно отличать друг от друга двумя различными способами. С одной стороны, они содержат платонизм, который допускает неиндивидуальные сущности, и номинализм, не допускающий этого, а с другой стороны, реализм, который допускает абстрактные объекты (non-particulars) в качестве индивидов, и партикуляризм, который не допускает этого. Таким образом, феноменалистические системы могут быть платонистскими и реалистическими, или номиналистическими и реалистическими, или платонистскими и партикуляристскими, или минималистскими и партикуляристскими. «Логическое построение мира» Карнапа, которое служит классическим примером общего вида конструкции, обещающей хорошие результаты, является платонистской партикуляристской системой, но она не дает удовлетворительного объяснения сходств, которые связывают воедино различные явления – например, цвет. Вид системы, который предпочитает Гудмен – это реалистско-номиналистическая разновидность, допускающая качественные неконкретные индивиды, хотя и исключает все неиндивиды. Ведущие принципы этой системы допускают, однако, приспобление к другим основаниям и могут быть переведены, например, на язык платонизма, который признает неиндивиды.
Конструктивная система требует в качестве своих существенных инструментов определений, логического порядка и исходных терминов. Определения не должны быть основаны на синонимии, которую фактически
