VIl О правильности передачи
К оглавлению1 2 3 4 5 6 7 81. Конфликтующие миры
Учитывая наличие множественных, иногда непримиримых и даже непримиряемых теорий и описаний, признанных как допустимые альтернативы, наши представления об истине должны быть пересмотрены. Поскольку наши взгляды на создание миров выходят далеко за пределы теорий, описаний, утверждений, за пределы языка и даже за пределы обозначения, включают версии и способы видения, как метафорические, так и буквальные, изобразительные и музыкальные наряду с вербальными, экземплификацию и экспрессию наряду с описываем и изображением, постольку различие между истинным и ложным далеко не достаточно для маркировки общего различия между правильными и неправильными версиями. Какой стандарт правильности является тогда аналогом истины, например, для беспредметных произведений, которые представляют миры экземплификацией или экспрессией? К этим неприступным вопросам надо подойти осмотрительно.
В названии этой главы и "передача", и "правильность" должны быть приняты в довольно общем смысле. Под "передачей" я понимаю не только то, что делает чертежник, но и все способы создания и представления миров — в научных теориях, произведениях искусства и версиях всех видов. Я выбираю этот термин, чтобы не создать впечатления, будто я обсуждаю моральную или этическую правильность. Под "правильностью" я понимаю, наряду с истиной, стандарты приемлемости, которые иногда дополняют истину или даже конкурируют с ней там, где она применима, или заменяют истину для недекларативных представлений.
Хотя моя главная тема здесь — эти другие стандарты, я должен начать с первых и посмотреть на истину поближе. Большинство из нас давно усвоили такие фундаментальные принципы как то, что истины никогда действительно находятся в противоречии, что все истинные версии истинны в единственном действительном мире и что очевидные разногласия среди истин указывают лишь на различия в принятых структурах или конвенциях. Хотя большинство из нас позже научились также не доверять фундаментальным принципам, усвоенным ранее, я боюсь, что мое замечание выше о противоречивых истинах и множественных действительных мирах может быть пропущено как чисто риторическое. Это не так; и даже ценой некоторого повтора я должен прояснить это более последовательным изложением некоторых замечаний, уже часто появлявшихся на этих страницах. Нам понадобится надежное основание для сравнения, когда мы перейдем к главной задаче этой главы.
Для всех, кроме ярых сторонников абсолютизма, альтернативные и видимо противоречивые версии часто представляют хорошие и равные истинностные требования. Мы едва ли можем принимать противоречивые утверждения за истинные в одном и том же мире без того, чтобы признать все утверждения, какие бы то ни было (так как из любого противоречия следуют все утверждения) истинными в одном и том же мире, а мир сам по себе — невозможным. Таким образом, мы должны либо отклонить одну из двух видимо противоречивых версий как ложную, либо принять их за истинные в различных мирах, либо найти, если мы можем это сделать, другой способ их согласования.
В некоторых случаях очевидно противоречивые истины могут быть согласованы устранением двусмысленности того или иного вида. Иногда, например, предложения кажутся несовместимыми только потому, что они эллиптичны, и если их расширить эксплицитным включением прежних имплицитных ограничений, то оказывается, что они явно говорят о разных вещах или разных частях вещей. Утверждения, заявляющие, что все солдаты вооружены луками и стрелами и что ни один солдат так не вооружен, оба истинны — для солдат различных эр; утверждения, что Парфенон не поврежден и что он разрушен, оба истинны — для различных временных частей здания, а утверждение, что яблоко бело и что оно является красным, оба истинны — для различных пространственных частей яблока. Предложения, находящиеся в разногласиях друг с другом, лучше ладят, когда сохраняют дистанцию. В каждом из этих случаев два диапазона применения без труда объединяются в узнаваемый род или предмет, а эти два утверждения истинны в различных частях или подклассах одного и того же мира.
Но примирение не всегда может быть достигнуто так легко. Рассмотрим снова описания движения (или отсутствия движения) земли. На первый взгляд, два утверждения
(1) Земля всегда покоится
(2) Земля танцует партию Петрушки
конфликтуют, поскольку из каждого следует отрицание другого. И они, кажется, заключают об одной и той же Земле. Все же каждое из них истинно — в пределах соответствующей системы.
Теперь нам, конечно, скажут, что эти последние четыре слова указывают выход: эти утверждения эллиптичны, а когда они расширены эксплицитной релятивизацией — например,
(3) В Птолемеевой системе Земля всегда покоится
(4) В некоторой системе Стравинского-Фокина Земля танцует партию Петрушки,
то они, как видно, являются полностью совместимыми. Но этот аргумент работает слишком хорошо. Чтобы увидеть, почему (3) и (4) никак не могут быть приняты за более полные формулировки (1) и (2) — или даже за одни из более полных формулировок (1) и (2) — заметим, что в то время как по крайней мере одно из противоречивых утверждений
(5) Спартанские цари имели два голоса
(6) Спартанские цари имели только один голос
является ложным, оба нижеследующие истинны:
(7) Согласно Геродоту, спартанские цари имели два голоса
(8) Согласно Фукидиду, спартанские цари имели только один голос.
Ясно, что (7) и (8), в отличие от (5) и (6), дают совершенно уклончивые ответы о том, сколько голосов имели спартанские цари. Делает ли кто-то утверждение и истинно ли это утверждение — это разные вопросы. Таким же образом (3) и (4), в отличие от (1) и (2), полностью уклончивы относительно движения Земли; они не сообщают нам, как она движется и движется ли вообще, пока к каждому утверждению не будет добавлен пункт, раскрывающий, чтó именно в рассматриваемой системе считается истинным. Но если это сделано, то, конечно, (1) и (2) подтверждены сами по себе, и никакое решение конфликта не достигнуто. Кажущийся мощным и универсальным инструмент релятивизации к системе или версии, таким образом, не достигает цели.
Возможно, тем не менее, мы сможем согласовать предложения вида (1) и (2) релятивизацией к элементам или каркасам референции скорее, чем к системам или версиям. Здесь легче рассмотреть более простой пример. Одинаково истинные противоречивые предложения относительно ежедневного движения Земли и Солнца
(9) Земля вращается, в то время как Солнце неподвижно
(10) Земля неподвижна, в то время как Солнце обращается вокруг нее
могли бы интерпретироваться как означающие
(11) Земля вращается относительно Солнца
(12) Солнце обращается относительно Земли,
которые истинны и непротиворечивы.
Однако следует заметить, что (11) не говорит, как (9), что Земля вращается, а (12) не говорит, как (10), что земля неподвижна. Из того, что объект движется относительно другого, не следует, что первый перемещается или что второй неподвижен. Действительно, при соответствующей формуле f, (11) и (12) равно ведут к единому утверждению
(13) Пространственные отношения между Землей и Солнцем изменяются со временем согласно формуле f;
и это не приписывает ни движения, ни покоя ни Земле, ни Солнцу, но полностью совместимо не только с (9) и (10) но также и с утверждением, что Земля какое-то время вращается, а затем останавливается, в то время как Солнце перемещается вокруг нее. Согласование (9) и (10) здесь произведено отменой признаков, ответственных за их разногласие; (11), (12), (13) обходятся без движения в любом смысле, в каком мы могли бы спросить, действительно ли данный объект движется или нет, или как он движется.
На этой стадии мы можем сказать "Тем лучше! Такие вопросы очевидно пусты так или иначе". С другой стороны, мы испытаем серьезные затруднения, если нам надо не сказать, движется ли данный объект или как он движется, а ограничиться описанием изменений в относительной позиции. Система координат практически необходима в большинстве контекстов. Астроном при проведении наблюдений может работать с нейтральным утверждением вида (13) не в большей степени, чем мы можем использовать карту, чтобы найти дорогу в городе, не зная, где мы находимся. Если нет никакого различия в том, что описывают (9) и (10), то все же, кажется, есть существенное различие в том, как они описывают это. При дальнейшем размышлении мы скажем, что 'пустые' вопросы скорее являются 'внешними' вопросами в противопоставлении 'внутренним', что они принадлежат дискурсу, противопоставленному фактам, принадлежат конвенции, противопоставленной содержанию. Но тогда мы, скорее всего, усомнимся, можем ли мы опираться в чем бы то ни было на такие печально известные сомнительные дихотомии. Однако давайте временно остановимся на этом и рассмотрим другой случай.
Предположим пока, что вселенная нашего дискурса ограничена квадратной долей плоскости, с двумя парами границ, маркированных как "вертикальные" и "горизонтальные". Если мы предполагаем, что имеются точки, независимо от того, что они могут быть, то два предложения
(14) Каждая точки состоит из вертикальной и горизонтальной линий
(15) Ни одна точка не состоит из линий или чего-либо еще
конфликтуют, но одинаково истинны в соответствующих системах. Мы знаем, что простая релятивизация к системе, как в (3) и (4), является показным способом решения конфликта. Истина обсуждаемого утверждения, сделанного каждой системой, должна также быть подтверждена, и если системы, соответственно, производят утверждения (14) и (15), как и есть, то конфликт остается.
Может быть, мы тогда можем согласовать (14) и (15), ограничивая их диапазоны применения? Если в нашем пространстве присутствуют только линии и комбинации линий, тогда (14), но не (15), может быть истинно, а если там есть только точки, то (15), но не (14) может быть истинно. Проблема тем не менее состоит в том, что если там есть и линии, и точки, то все равно (14) и (15) не могут оба быть истинны, хотя ни одно из них не выделено как ложное. Если (14) и (15) — альтернативные истины, то они являются таковыми в пределах различных царств, и эти царства не могут быть объединены в одно, где оба утверждения были бы истинны. Этот случай, таким образом, радикально отличен от тех, где видимо противоречивые утверждения о цвете предмета или снаряжении солдат могут быть согласованы ограничением их пределов различными частями предмета или различными солдатами, поскольку (14) и (15) не могут без натяжки быть рассмотрены как применимые к различным точкам или к различным частям точки. Вместе они говорят, что каждая точка состоит из линий, но что ни одна точка не состоит из них. Хотя (14) может быть истинно в нашем типовом пространстве, принятом за состоящее исключительно из линий, а (15) истинно в том пространстве, которое принято за состоящее исключительно из точек, все же оба не могут быть истинны в том пространстве, или любой его области, которое принято за состоящее из точек и линий. Там, где мы имеем более всесторонние системы или версии, которые находятся в противоречии так же, как и (14) и (15), их царства, таким образом, будут менее охотно расценены как находящиеся в пределах одного мира, чем как два различных мира, и даже — поскольку они сопротивляются мирному объединению — как конфликтующие миры.
2. Конвенция и содержание
Поскольку это заключение вряд ли повсеместно встретит теплый прием, поищем какой-нибудь способ уладить конфликт между (14) и (15), не ограничивая их антагонистическими мирами. Наши предыдущие усилия по согласованию путем релятивизации к системе были, возможно, не столько неверно направлены, сколько слишком простодушны. Мы должны не только предположить, что правильность рассматриваемых систем подтверждена по умолчанию, но и более близко исследовать, что утверждают (14) и (15) в пределах этих систем.
Если, как я показал раньше, критерий правильности таких систем состоит в том, что они устанавливают всеохватывающую корреляцию, удовлетворяющую некоторым условиям экстенсионального изоморфизма, то наши два утверждения могут быть заменены на
(16) В правильной рассматриваемой системе каждая точка коррелирует с комбинацией вертикальной и горизонтальной линий.
(17) В (другой) правильной рассматриваемой системе никакая точка не коррелирует с комбинацией любых других элементов;
и они полностью совместимы друг с другом. Они не говорят ничего о том, что составляет точку; каждое говорит только о том, что составляет то, что коррелирует с точкой в правильной рассматриваемой системе. Кроме того, поскольку изоморфизм ни гарантирует, ни устраняет идентичность (хотя сам гарантируется ей), постольку (16) не содержит никакого обязательства, положительного или отрицательного, о чем бы то ни было, кроме линий и комбинаций линий, в то время как (17) не содержит никакого обязательства о чем бы то ни было, кроме точек. Таким образом, эти утверждения, которые, в отличие от (14) и (15) вместе не требуют, что точки составлены из линий и не составлены из линий, могут оба быть истинны в мире, содержащем и линии, и точки — и, действительно, только в нем одном.
Очевидно, так же, как при переходе от (9) и (10) к (11) и (12), мы упустили нечто при переходе от (14) и (15) к (16) и (17). В обоих случаях мы произвели согласование, обойдясь без признаков, ответственных за разногласие. В одном мы отвлеклись от движения и удовлетворились изменениями расстояния со временем; в другом мы отвлеклись от состава и удовлетворились корреляцией. Мы отменили контртребования (14) и (15) и отступили к нейтральным утверждениям.
И мы чувствуем, что что-то упустили. Является ли точка атомарной или составной, и если составной, то что она включает — это сильно зависит от основания и средств композиции, принятых в этой системе. Не является ли это просто вопросом выбора, подобно системе координат для движения, в то время как изоморфизм корреляции, подобно изменению в расстоянии со временем — вопрос факта? Большинство из нас время от времени ведут такие разговоры, иногда как раз перед или как раз после осуждения или отрицания самого различия между конвенцией и содержанием. Что скажем об это мы?
В любом случае, если состав точек из линий или линий из точек носит конвенциональный скорее, чем фактический характер, то сами точки и линии — не в меньшей степени. Утверждения, подобные (16) и (17), нейтральны не только относительно того, что составляет точки, линии или области, но также и относительно того, чем они являются. Если мы говорим, что наше типовое пространство — комбинация точек или линий, или областей, или комбинации комбинаций точек или линий, или областей, или комбинации всех их вместе, или единая куча, то, поскольку ничто из этого не идентично со всем остальным, мы даем одно из бесчисленных альтернативных противоречивых описаний того, чем является это пространство. Таким же образом мы можем расценивать разногласия как относящиеся не к фактам, но к различиям в конвенциях — по поводу линий, точек, областей и способов комбинации — принятых в организации или описании пространства. Чем тогда является нейтральный факт или вещь, описанные в этих различных терминах? Это не пространство ни как (a) неразделенное целое, ни (b) как комбинация всего, что вовлечено в эти несколько теорий, поскольку (a) и (b) — всего лишь два из различных способов его организации. Но что именно так организовано? Когда мы снимаем, как слои конвенции, все различия среди способов его описания, то что остается? Очищая луковицу, мы добрались до ее пустой сердцевины.
Когда мы расширяем нашу компетенцию, чтобы включить в нее не только наше типовое пространство, но и вообще все пространство, и все остальное тоже, то разнообразие контрастирующих версий чрезвычайно умножается, и далее согласование достигается подобными же средствами. Вернемся к нашему примеру видимого движения:
(18) Точка движется через экран
(19) Ни одна точка так не движется.
Если мы предполагаем, что царства стимулов и зрения полностью разделены, то эти утверждения могут быть согласованы сегрегацией, как в случае противопоставления цветовых описаний, приложимых к различным частям предмета. Но если, как это более обычно, мы расцениваем стимульную версию и визуальную версию, которым эти утверждения соответственно принадлежат, как покрывающие одну и ту же территорию различными способами, как разные сообщения об общем мире, то в этом общем мире будут отсутствовать и видимые точки, и невидимые стимулы. Вспомним утверждение (13) об изменении расстояния со временем: хотя оно нейтрально относительно противостоящих описаний движения Земли в (9) и (10), оно имеет разногласия с перцептуальными версиями, которые не допускают такие физические предметы как Земля. Физические предметы и события и перцептуальные явления ведут себя так же, как точки, линии, области и пространство.
Короче говоря, если мы отвлечемся от всех признаков, ответственных за разногласия между истинами, у нас не останется ничего, кроме версий без вещей или фактов, или миров. Как могли бы сказать Гераклит или Гегель,существование миров, по всей видимости, зависит от конфликта. С другой стороны, если мы считаем любые две истины расходящимися в оценке фактов, и таким образом признаем их истинными в разных мирах, то не ясны основания для преуменьшения значения других конфликтов между истинами, как всего лишь различий в манере изложения. Если мы скажем, например, что противоречивые утверждения применимы к одному и тому же миру только поскольку, поскольку они заключают об одних и тех же вещах, то тем самым мы резонно сделаем (9) и (10) утверждениями об одном и том же мире, но в большинстве случаев это мало поможет. Говорят ли, например, (14) и (15) об одних и тех же точках? Действительно ли экран, через который движется точка, тот же самый, что и тот, через который никакая точка не движется? Является ли увиденный стол тем же, что и скопление молекул? Подобные вопросы подробно обсуждались в философской литературе, и я подозреваю, что ответ на них — твердое да и твердое нет. Реалист будет сопротивляться заключению о том, что мир не существует; идеалист будет сопротивляться заключению о том, что все противоречивые версии описывают различные миры. Что касается меня, я нахожу эти представления одинаково восхитительными и одинаково прискорбными — поскольку, в конце концов, различие между ними вполне конвенционально!
Практически, конечно, мы проводим границу везде, где хотим, и меняем ее так часто, как того требуют наши цели. На уровне теории мы порхаем из крайности в крайность так же беспечно, как физик между теориями частиц и полей. Когда многословное представление угрожает растворить все в ничто, мы настаиваем, что все истинные версии описывают миры. Когда чувство права на жизнь угрожает перенаселенностью миров, мы называем все это разговорами. Другими словами, у философа, как у волокиты, всегда либо никого, либо слишком много.
Кстати, признание множественных миров или истинных версий предлагает безвредные интерпретации необходимости и возможности. Утверждение необходимо истинно во вселенной миров или истинных версий, если истинно во всех них, необходимо ложно, если истинно ни в одном из них, и контингентно или возможно, если истинно в некоторых. Повторение было бы рассмотрено в терминах вселенных вселенных: утверждение с необходимостью необходимо истинно в такой супервселенной, если оно с необходимостью необходимо истинно во всех составляющих ее вселенных, и т.д. Аналоги теорем модального исчисления здесь легко выводимы. Но едва ли такая теория удовлетворит энергичного защитника возможных миров больше, чем ключевая вода удовлетворит алкоголика.
3. Испытания и истина
Наши предшествующие заключения, наблюдения или подозрения влияют на подход к истине по крайней мере тремя способами: стандартная, хотя и неинформативная формула истины требует модификации в другую, не более информативную; другие соображения, кроме истины, принимают дополнительную важность в выборе среди утверждений или версий, а трудная проблема отношения между истиной и ее проверкой может быть немного смягчена.
Прежде всего (это наименее важно), известное выражение "'Снег бел' истинно тогда и только тогда, когда снег бел" должно быть пересмотрено в пользу чего-либо вроде "'Снег бел' истинно в данном мире тогда и только тогда, когда в этом мире снег бел", что, в свою очередь, если различия между истинными версиями не могут твердо отличаемы от различий между мирами, означает лишь "'Снег бел' истинно согласно истинной версии тогда и только тогда, когда снег бел согласно этой версии".
Во-вторых, конфликт истин эффективно напоминает нам, что истина не может быть единственным соображением в выборе среди утверждений или версий. Как мы видели ранее, даже там, где нет никакого конфликта, истины далеко не достаточно. Некоторые истины тривиальны, иррелевантны, неразборчивы или избыточны; слишком широки, слишком узки, слишком скучны, слишком причудливы, слишком сложны или же взяты из другой версии, чем рассматриваемая, как если бы охранник, получивший приказ стрелять в любого из пленников, кто пошевелится, немедленно перестрелял бы их всех, пояснив, что они быстро перемещались вокруг оси Земли и вокруг Солнца.
Далее, для нас не более типично выбирать некоторые утверждения как истинные и затем, применяя другие критерии, выбирать среди них, чем выбирать некоторые утверждения как релевантные, пригодные к использованию и затем рассматривать, какие из них являются истинными. Скорее мы начинаем с исключения утверждений, первоначально расцененных или как ложные, хотя, возможно, в других отношениях правильные, или как неправильные, хотя, возможно, истинные, и продолжаем с этого момента. Такая теория не отрицает, что истина — необходимое условие, но лишает ее определенного превосходства.
Но, конечно, при выборе утверждения истина является не более необходимым, чем достаточным соображением. В нашем выборе мы часто предпочитаем утверждение, которое является более близким к правильности в других отношениях, тому утверждению, которое является более близким к истине; но, более того, там, где истина слишком привередлива, слишком неуравновешенна или неудобно сочетается с другими принципами, мы можем выбирать ближайшую податливую и разъясняющую ложь. Большинство научных законов имеют такой вид: не прилежные отчеты о детальных данных, но радикальные прокрустовы упрощения.
Столь непочтительное представление научных законов часто отвергается на том основании, что они суть лишь неявные утверждения приближения — например, знак "=" в "v = p + t", должен читаться не как "равняется", но как "приблизительно равняется". Таким образом сохраняются святость и превосходство истины. Но говорим ли мы, что такой закон есть приближение к истине или истинное приближение — имеет очень мало значения. Важно здесь то, что приближения предпочитаются тому, что может быть расценено или как истина, или как более точная истина.
До сих пор я принимал другие критерии правильности за дополнительные к истине, и даже время от времени боролся с этим. Но служат ли некоторые из этих других соображений также, или даже скорее, тестами истинности? В конце концов, при оценке истины мы должны использовать некоторую проверку, и такие признаки, как полезность и когерентность — видные кандидаты на эту роль. То, что мы можем легко привести очевидные примеры бесполезных запутанных истин и полезной четкой лжи, показывает, самое большее, то, что тесты являются скорее подтверждающими, чем решающими. Хорошие тесты и не должны быть решающими; притягиваемость магнитом — хорошая, но не заключительная проверка железа. Не должны мы также и объяснять, почему полезность или когерентность, или некоторый другой признак указывает на истину. Мы можем использовать магнитное притяжение как испытание на железо, вовсе не понимая связи между притяжением и составом железа; все, что нам нужно — это удовлетвориться разумно надежной корреляцией между ними. Если притяжение принято как тест прежде, чем мы узнаем состав железа, то рассматриваемая корреляция является корреляцией между притяжением и либо результатами других испытаний, либо предшествующей классификацией предметов на железные и не железные. Почти то же можно сказать об истине: в отсутствие всякой определенной и информативной характеристики мы применяем различные тесты, результаты которых мы сравниваем друг с другом и с грубой и частичной предшествующей классификацией утверждений на истинные и ложные. Может быть, истина, подобно интеллекту, является лишь тем, что проверяют испытания, а лучшая теория того, чем является истина — возможно, 'операционная', в терминах тестов и процедур, используемых при ее оценке.
Философы хотели бы тем не менее достичь характеристики истины столь же определенной, как научное определение железа, и некоторые со значительной изобретательностью приводили аргументы в пользу идентификации истины с тем или другим доступным признаком.
Одна из известных попыток такого рода — предложенная прагматистами интерпретация истины в терминах полезности. Тезис о том, что истинные утверждения — это те, которые позволяют нам предсказывать природу, управлять ей или побеждать ее, имеет немалую привлекательность, но должны быть объяснены некоторые заметные несоответствия между полезностью и истиной. Полезность, в отличие от истины — вопрос степени, но это, вероятно, можно уладить, принимая полезность за измерение близости к истине скорее, чем непосредственно за критерий истины. Полезность, в отличие от истины, относительна к цели, но это может показаться не столь серьезным, когда истина признается, как на предшествующих страницах, скорее относительной, чем абсолютной. Но относительность к цели никаким очевидным способом не действует заодно с относительностью к миру или версии; поскольку среди альтернативных истинных версий или утверждений одни не могут быть значительно полезны для многих целей, другие почти ни для каких целей и в действительности гораздо менее полезны. чем некоторые ложные версии или утверждения. Здесь может быть выдвинут основной аргумент: с истиной может быть идентифицирована полезность для одной первичной цели — приобретения знания. Но тогда прагматический тезис кажется исчерпанным по мере того, как он одерживает победу: тезис, что истины лучше всего удовлетворяют цели приобретения истин, столь же бессодержателен, сколь и очевиден.
Попытки рассматривать истину в терминах уверенного полагания или правдоподобия (credibility), как некоторой кодификации полагания — в терминах начального правдоподобия вместе с выводом, подтверждением, вероятностью, и т.д. — оказываются перед очевидным возражением, состоящим в том, что наиболее вероятные утверждения часто оказываются ложными, а наименее вероятные — истинными. Правдоподобие, таким образом, не предстает мерой даже близости к истине. Но это препятствие не так уж непреодолимо. Рассмотрим понятие постоянства — принимаемого здесь означающим вечную длительность после некоторого данного времени. Хотя мы никогда не можем установить постоянство предмета или материала, мы можем установить протяженность в различных степенях, не доходя до постоянства. Аналогичным образом, хотя мы никогда не можем установить полное и постоянное правдоподобие, мы можем установить силу и протяженность правдоподобия в различных степенях, не доходящих до этого полного правдоподобия. Идентифицируем ли мы тогда недосягаемое полное и постоянное правдоподобие с недосягаемой истиной? На контраргумент, что мы можем иметь полное и постоянное ложное полагание — т.е. на возражение, что полностью и постоянно правдоподобное может и не быть истинным — возможный ответ таков: до тех пор, пока полагание или правдоподобие действительно полно и постоянно, любое расхождение с истиной вообще не имеет для нас значения. Тогда, если имеется любое такое расхождение, то тем хуже для истины: оно пересматривается в пользу полного и постоянного правдоподобия. Но, как указал мне Хартри Филд, полное и постоянное правдоподобие едва ли может быть принято за необходимое условие истины, так как дизъюнкция может быть постоянно и полностью правдоподобна даже при том, что ни один из ее компонентов не таков.
Боóльшим уважением, чем полезность или правдоподобие, в качестве определения истины пользуется когерентность, интерпретируемая различными способами, но всегда требующая непротиворечивости. Проблемы здесь также были огромны. Но классическое и пугающее возражение, заключающееся в том, что для любой когерентной мировой версии имеются одинаково когерентные конфликтующие версии, ослабевает, когда мы готовы принять обе конфликтующие версии как истинные. Трудность установления корреляции между внутренней когерентностью и внешним соответствием уменьшается, когда самое различие между 'внутренним' и 'внешним' ставится под вопрос. По мере того, как ослабевает различие между конвенцией и содержанием — между тем, что говорится, и тем, как это говорится, соответствие между версией и миром теряет свою независимость от таких признаков версий как когерентность. Конечно, когерентность, как бы она ни была определена, скорее не достаточна для истины, а действует совместно с суждениями начального правдоподобия в наших усилиях определить истину. Но по крайней мере — и это третье из соображений, упомянутых в начале раздела — когерентность и другие так называемые внутренние признаки версий более не отвергаются как критерии проверки истины.
Итак, достаточно этого беглого представления истины и ее отношений с компаньонами и конкурентами. Теперь рассмотрим некоторые ясные случаи, где мы со значительным доверием и постоянством судим о правильности того, что не является ни истиной, ни ложью.
4. Правдивость и валидность
Среди наиболее явных и четких стандартов правильности — стандарты валидности дедуктивного аргумента. Валидность, конечно, отлична от истины в том, что посылки и выводы валидного (имеющего силу) аргумента могут быть ложны. Валидность состоит в соответствии с правилами вывода — правилами, которые кодируют дедуктивную практику в принятии или отклонении определенных выводов. Хотя дедуктивная валидность и отличается от истины, все же в целом она не независима от нее, но так связывает утверждения, что имеющий силу вывод из истинных посылок дает истинные заключения. Действительно, первичная функция имеющего силу вывода должна связать истины с истинами. Кроме того, валидность — не единственное требование к правильному дедуктивному аргументу. Дедуктивный аргумент правилен в более полном смысле только тогда, когда посылки истинны, а выводы имеют силу. Таким образом, правильность дедуктивного аргумента, привлекая валидность, все же близко связана с истиной.
Теперь рассмотрим индуктивную валидность. Здесь также не требуется ни истины посылок, ни истины заключения; индуктивная, как и дедуктивная валидность состоит из соответствия с принципами, которые кодируют практику. Но индуктивная валидность на один шаг дальше от истины, чем дедуктивная, поскольку имеющий силу индуктивный вывод из истинных посылок не дает истинного заключения.
С другой стороны, в то время как индуктивная правильность, подобно дедуктивной правильности, требует истины посылок также, как и валидности, она также требует большего. Прежде всего, правильный индуктивный аргумент должен быть основан не только на истинных посылках, но и на всех доступных подлинных очевидных свидетельствах. Индуктивный аргумент от положительных случаев гипотезы не является правильным, если отрицательные случаи опущены; все исследованные случаи должны быть приняты во внимание. На дедуктивный аргумент не накладывается никакое параллельное требование — он является правильным, если валидно следует из любых истинных посылок, даже неполных.
Однако индуктивная правильность не полностью характеризуется как индуктивная валидность плюс использование всех исследованных случаев. Если все исследованные случаи были исследованы ранее 1977 года, то аргумент, что все случаи вообще будут исследованы ранее 1977 года, тем не менее индуктивно неправилен; и даже если все исследованные изумруды были зиними, тем не менее индуктивный аргумент в пользу гипотезы, что все изумруды являются зиними, неправилен. Индуктивная правильность требует, чтобы и утверждения очевидности, и гипотеза были представлены в терминах 'подлинных' или 'естественных' родов — или, в моей терминологии, в терминах отображаемых (projectible) предикатов подобно "зеленый" и "синий" скорее, чем в терминах неотображаемых предикаты подобно "зиний" и "селеный". Без такого ограничения всегда могли бы быть найдены правильные индуктивные аргументы, дающие бесчисленные противоречивые заключения: что все изумруды являются зелеными, зиними, золтыми и т.д.
Итак, индуктивная правильность требует, чтобы аргумент вытекал из посылок, состоящих из всех истинных сообщений об исследованных случаях в терминах отображаемых предикатов. Таким образом, индуктивная правильность, при сохранении требования истины посылок, выдвигает и серьезные дополнительные требования. И хотя мы надеемся посредством индуктивного аргумента достичь истины, индуктивная правильность, в отличие от дедуктивной, не гарантирует истину. Дедуктивный аргумент неправилен, а его выводы не валидны, если он приходит к ложному заключению из истинных посылок, но индуктивный аргумент, который валиден и правилен во всех отношениях, может все же прийти к ложному заключению из истинных посылок. Это коренное различие вдохновило некоторые неистовые и бесполезные попытки оправдать индукцию, показав, что правильная индукция будет всегда (или в большинстве случаев) давать истинные заключения. Любое выполнимое обоснование индукции скорее должно показать, что правила вывода кодируют индуктивную практику — то есть осуществить взаимное регулирование между правилами и практикой — и различать отображаемые предикаты или индуктивно правильные категории от других.
Это приводит нас к вопросу о том, что является индуктивно правильными категориями, и таким образом к третьему роду правильности вообще: правильности классификации. Такая правильность еще на один шаг дальше от истины, поскольку, в то время как дедуктивная и индуктивная правильность все еще имеет отношение к утверждениям, имеющим истинностное значение, правильность классификации приложима к категориям или предикатам, или их системам, которые не имеют никакого истинностного значения.
На вопрос о том, что отличает правильные индуктивные категории от других, я могу ответить лишь указанием на суть той попытки ответа, которую я дал в другом месте (FFF: IV). Первичный фактор в отображаемости — привычка; там, где конфликтуют гипотезы, одинаково хорошо фундированные во всех прочих отношениях, решение обычно принимается в пользу той из них, чьи предикаты являются более укоренившимися. Очевидно, здесь должно быть место для маневра, для введения новых порядков, которые создают или учитывают вновь появляющиеся важные связи и различия. Инерция изменяется в соответствии с исследованием и изобретением, несколько ограниченными, в свою очередь, укоренившимися общими 'фоновыми' принципами или метапринципами и так далее. Формулировка правил, основанных на тех факторах, которые в действительности определяют отображаемость или правильную индуктивную классификацию — трудная и запутанная задача. Категории, являющиеся индуктивно правильными, имеют тенденцию совпадать с категориями, правильными для науки вообще, но вариации цели могут отражаться на изменениях релевантных родов.
Иногда выбор между версиями, принимающими различные классификации, подобно выбору среди описаний движения, принимающих различные системы координат, может быть главным образом вопросом удобства. В конце концов, мы можем несколько неуклюже заявить наши обычные индуктивные аргументы заново в терминах подобно "зиний" и "селеный" практически так же, как мы можем перевести гелиоцентрическую систему в геоцентрическую. Мы должны будем только заменить "зеленый" на "зиний, если исследован ранее t,, иначе селеный ", а "синий" на "селеный, если исследован ранее t,, иначе зиний". Однако, согласно существующей практике, сине-зеленая классификация правильна, а зине-селеная классификация неправильна как маркировка направлений, по которым мы делаем наши индуктивные выводы. Плата за использование неправильных категорий — не в большей степени просто вопрос неудобства, чем результат выбора охранником неправильной системы координат причинил просто неудобство пристреленным пленникам. Приказ "Стреляй, если они изменят цвет" был бы столь же фатален, если бы охранник отображал ненормативные цветные предикаты. Индукция по неотображаемым категориям не просто неуклюжа, но неправильна, какое бы индуктивное заключение ни было выведено в результате. Правильность индукции требует правильности проектируемых предикатов, что, в свою очередь, может изменяться с практикой.
Время от времени критики моих работ обвиняют меня в том, что по той или иной теме я делаю "неаргументированные заявления". Один из примеров звучал приблизительно так: "Гудмен неаргументированно заявляет, что ядро представления — обозначение". Это заставило меня задуматься, почему я сделал столь серьезное заявление, не приводя аргументов. Причина в том, что аргумент в любом смысле, использующем вывод из посылок, был бы здесь в высшей степени не к месту. В таком контексте я не столько заявляю полагание или выдвигаю тезис или доктрину, сколько предлагаю классификацию или схему организации, привлекаю внимание к способу расстановки наших сетей, чтобы ухватить то, что может быть существенными сходствами и различиями. Аргумент, предложенный в пользу классификации, схемы, не мог бы быть аргументом в пользу ее истины, так как она не имеет истинностного значения, но аргументом в пользу ее эффективности в создании и понимании миров. Аргумент состоял бы скорее из привлечения внимания к важным параллелям между изобразительным представлением и вербальным обозначением, из указания на неясности и путаницу, которые разъяснены этой ассоциацией, из показа, как эта организация работает с другими аспектами теории символов. Для категориальной системы надо показать не то, что она является истинной, но то, что она может делать. Грубо говоря, в таких случаях требуется скорее не аргументация, а сбыт.
5. Правильное представление
Валидность дедуктивного и индуктивного вывода и отображаемость предикатов в различной степени независимы от истины, но не от языка. Все они являются стандартами, применяемыми к версиям в словах. А как же насчет правильности невербальных версий? Когда, например, является правильным изобразительное представление?
Два известных ответа состоят в том, что представление является правильным в той степени, в которой оно походит на то, что оно изображает, и что представление является правильным, если в действительности оно делает истинное утверждение. Ни один из этих ответов не удовлетворителен.
Недостатки первого ответа, в терминах подобия, были так полно изложены в литературе, что их детальное обсуждение здесь было бы излишним. Правильность представления, подобно правильности описания, изменяется с системой или структурой; вопрос "Является ли эта картина правильной?", таким образом, подобен вопросу "Движется ли Земля?" Картина, нарисованная в обратной или иначе искаженной перспективе, или заменяющая цвета на дополнительные, может быть столь же правильна в данной системе, как картина, которую мы называем реалистической в современной стандартной западной системе представления. Но здесь мы должны помнить, что имеются два различных употребления термина "реалистический". Согласно более частому употреблению, картина реалистична в той степени, что в какой она правильна в усвоенной системе представления; например, в современной западной культуре картина Дюрера более реалистична, чем картина Сезанна. Реалистическое или правильное представление в этом смысле, подобно правильной классификации, требует соблюдения традиции и имеет тенденцию свободно коррелировать с обычными суждениями подобия, которые таким же образом основаны на привычке.
С другой стороны, представление, нереалистичное по этому стандарту, может весьма правильно изображать нечто в другой системе, во многом так же, как Земля может танцевать партию Петрушки в некоторой необычной системе координат. 'Неестественная' структура или система могут быть правильны в некоторых обстоятельствах благодаря своему преобладанию в другой культуре или завоевав признание для каких-либо специальных целей. Когда живописец или фотограф создает или раскрывает нам ранее невидимые аспекты мира, то иногда мы говорим, что он достиг новой степени реализма, обнаруживая и представляя новые аспекты действительности. Представление в правильной, но незнакомой нам системе дает реализм в смысле не привития навыков, а раскрытия. Два смысла "реалистического" отражают факторы инерции и инициативы, которые, как мы видели, соперничают в случае правильности индукции и категоризации.
Проблема с другим ответом на вопрос о правильности представления — ответом в терминах истинности утверждения, предположительно делаемого картиной — состоит в том, что картина не делает никакого утверждения. Изображение огромного желтого поломанного старинного автомобиля, подобно описанию "огромный желтый поломанный старинный автомобиль", не содержит обязательств ни к одному из следующих утверждений:
Огромный желтый поломанный автомобиль — старинный
Огромный желтый старинный автомобиль поломан
Огромный поломанный старинный автомобиль — желтый
Желтый поломанный старинный автомобиль огромен,
или к любому другому. Хотя представление и описание различаются в важных отношениях, ни в том, ни в другом случае правильность не может быть вопросом истины.
Для описательных также как для декларативных версий, конфликт может быть рассмотрен в терминах отрицания: "всегда красный всюду" и "никогда не красный где бы то ни было" конфликтуют, в то время как "зеленый" и "круглый" — нет. Там, где две правильных версии находятся в противоречии и не могут быть согласованы некоторым способом, подобным показанному выше, они являются версиями различных миров, если вообще являются версиями мира. Но как отличить в репрезентационных версиях, где нет никакого явного отрицания, пару правильных изображений различных вещей от пары различных правильных изображений одной и той же вещи? Представляют ли картина Сутина и рисунок Утрилло — одна в густых мазках и изогнутых линиях, показывающая фасад с двумя искривленными окнами, другой в прямых черных линиях, показывающий фасад с дверью и пятью окнами — различные здания или одно и то же здание различными способами? Мы должны здесь иметь в виду, что даже для декларативных версий мы не можем провести никакое ясное и устойчивое общее различие между материей и манерой дискурса. Иногда предложение и его отрицание так или иначе совместимы — например, как обращения к различным частям или периодам мира. Аналогичным образом две движущихся картинки — сфера, вращающаяся по часовой стрелке, и сфера, вращающаяся против часовой стрелки, могут изображать Землю одинаково правильно с различных точек зрения. Показать, что две версии являются версиями одного и того же мира, значит показать, как они соответствуют друг другу. И вопрос о Сутине и Утрилло во многом подобен вопросу, являются ли некоторое скопление молекул и мой стол одним и тем же.
Оставив такие темы, скажем, что утверждение истинно, а описание или представление правильно, для мира, которому оно соответствует (fit). Вымышленная версия, словесная или изобразительная, может при метафорическом истолковании может соответствовать некоторому миру и быть для него верной. Я думаю, что, пытаясь подвести описательную и репрезентационную правильность под истину, мы добьемся меньшего успеха, чем подводя истину наряду с ними под общее понятие правильности соответствия. Это приносит нам, прежде чем мы исследуем далее природу и критерии правильного соответствия, к версиям, которые не являются ни фактическими, ни вымышленными утверждениями, описаниями или представлениями.
6. Показательный образец
Правильность абстрактных визуальных или музыкальных произведений будет обладать такими аспектами как правильность их композиции, и здесь мы рискуем быть обвиненными во вторжении в священное царство красоты вместо того, чтобы ограничиться видами правильности, сопоставимыми с истиной. Любой такой протест послужил бы свидетельтвом отношения, противоположного моему настоянию на непрерывности, единстве и близости искусства, науки и восприятия как отраслей создания миров. Правильность абстрактных произведений или не-денотирующих аспектов не-абстрактных произведений не является ни идентичной истине, ни полностью чуждой ей; и то, и другое — разновидности более общего понятия правильности. Если мы скажем, что красота или эстетическая правильность является истиной или что она несопоставима с истиной, то это будут, как мне кажется, одинаково вводящие в заблуждение лозунги, и я упоминаю здесь о красоте только для того, чтобы исключить ее из дальнейшего рассмотрения.
Мы видели ранее, что произведения или другие символы, которые не объявляют, описывают или представляют что-либо, буквально или метафорически, или даже не подразумевают обозначения чего-либо, могут представлять миры путем экземплификации. Что составляет правильность или неправильность такой экземплификации? Когда правилен образец?
Наиболее очевидно, так же, как предикат или другой ярлык может неправильно применяться к данному предмету — как, скажем, "красный" к зеленому предмету — так и предмет может быть неправильным образцом в том, что он не является даже инстансом ярлыка, не обладает рассматриваемым свойством. Но также нечто может быть инстансом предиката или свойства, не будучи его образцом, как в случае с портновским образчиком, который является инстансом некоторого размера и формы, но не их образцом, так как он не указывает на эти признаки.
Поэтому следующий вопрос — может ли фактический образец признака все еще не быть его правильным образцом. Мы заметили, что даже в том случае, когда все исследованные изумруды зиние, индуктивный аргумент "Все изумруды — зиние" является неправильным, и что даже при том, что пленники двигались, охрана не должна была стрелять в них. Но, хотя это может дать некоторые намеки в подходе к нашему вопросу, здесь еще нет никакого непосредственного ответа.
Говоря обычным языком, мы различаем между свойствами "не быть образцом признака" и "быть образцом, но нетипичным". Портновский образчик, отрезанный от штуки ткани и используемый в качестве образца — не всегда показательный образец. Он может быть слишком мал, чтобы продемонстрировать узор вообще или так вырезан, что покажет составляющий мотив только частично или во вводящем в заблуждение направлении. Пять образцов, показанные на рис. 5, могут все происходить из одной штуки ткани. Каждый содержит то же количество материи, что и остальные, и, конечно, ни один не содержит целый узор, который может состоять из многих длинных полос.
Рис. 5
Все же среди этих пяти нижний правый может быть единственным показательным образцом. Почему это так? Что это означает?
Прежде, чем мы попробуем ответить, рассмотрим несколько отличный случай: образцы смеси семян трав в данной бочке. При желании мы можем применить любой из двух критериев для определения показательности образца смеси: что смесь в образце находится в той же самой пропорции, как и во всей бочке, или что образец был взят показательно в том отношении, что содержание бочки полностью размешалось, части образца взяты с разных уровней и т.д. Хотя объяснение для первого критерия ясно, такие критерии неприменимы во многих случаях, и мы обращаемся к намного сложнее защищаемым критериям, подобно второму. Когда мы знаем пропорцию различных родов семян в бочке, мы можем сделать образец показательным в первом смысле, сохраняя пропорции в образце теми же. Но когда мы берем пробы морской или питьевой воды, мы не можем знать — хотя надеемся — что образцы являются показательными в первом смысле. Мы полагаемся на то, что мы считаем способом взятия показательных образцов, как на основание для предположения, что наша проба точно отражает состав воды в гавани или емкости. Но что определяет такую показательность в осуществлении выборки?
Вопрос — и ответ — приводит к известному кругу. Показательный образец в этом смысле — тот, который может быть правильно отображен на узор или смесь, или другой релевантный признак целого или следующих образцов. Такая показательность или отображаемость, скорее чем требование или гарантия соглашения между произведенным отображением и действительным признаком целого или следующих образцов, зависят от соответствия хорошей практике в интерпретации образцов — и в восхождении от образца к рассматриваемому признаку, и в определении, является ли этот признак отображаемым. Хорошая практика, в свою очередь, зависит от привычки, подвергаясь непрерывному пересмотру под влиянием разочарования и новых изобретений. Когда результаты правильно сделанных предсказаний неверны, неудачу можно списать на невезение или, если такие случаи заметны или распространены, то представления о том, что составляет хорошую практику, могут быть пересмотрены. Некоторое соответствие среди образцов — проверка хорошей практики и показательности образца, но такое соответствие сильно зависит также и от того, какие ярлыки или роды являются релевантными и правильными. Таким образом, здесь так же, как в обычной индукции, важнейшим фактором является новое укоренение предикатов, определяющее, что именно экземплифицируется, правильно ли взят образец, является ли экземплифицируемый признак отображаемым и что составляет соответствие среди образцов. Действительно, отображаемость очевидности отличается от показательности образца прежде всего тем, что очевидные свидетельства и гипотезы суть утверждения, а образцы и то, что они экземплифицируют, могут быть неязыковыми. Таким образом, некоторые образцы и невербальные ярлыки или признаки, экземплифицированные ими или отображаемые из них, в отличие от утверждений очевидности и гипотез, могут принадлежать к таким символьным системам, которые не являются ни денотационными, ни артикулированными.
В случаях с тканью и семенами я говорил о том, что отображение узора или смеси производится на целую штуку ткани или бочку, или емкость; однако обычно мы отображаем их на другие разумно выделенные части: на пакеты семян или отрезы ткани, или питьевые порции воды. И это стоит отметить по нескольким причинам. Во-первых, все такие доли, часто представляющие для нас первичный интерес, могут весьма отличаться от целого в требуемом отношении; например, даже если смесь в бочке находится в соотношении 50 на 50, каждый пакет мог бы содержать семена только одного или только другого рода. Во-вторых, в таком случае не достигнуто соответствие среди образцов, которое предстает, таким образом, более прямым способом проверки показательности образца для нормального отображения. И в-третьих, наше внимание привлечено к виду соответствия, которого требуется достичь среди образцов: не все образчики должны быть одинаковыми до тех пор, пока из них можно сложить тот же самый узор, и не все пакеты семян должны содержать точно ту же смесь, скажем, 50-50, а только должны варьироваться вокруг этого соотношения избранным статистическим способом (как медиана, среднее число или метод) или таким образом, чтобы логическая сумма всех принятых образцов приблизительно давала соотношение 50-50.
Произведения искусства не отрезаны от рулона или вынуты из бочки — они взяты из моря. Они буквально или метафорически экземплифицируют формы, чувства, сближения, контрасты, обнаруженные в мире или встроенные в мир. Признаки целого не определены, и показательность образца зависит не от того, хорошо ли перемешалось содержимое бочки или насколько разнесены места взятия воды, а скорее от координации образцов. Другими словами, правильность композиции, цвета, гармонии — показательность произведения как образца этих признаков — проверена нашим успехом в обнаружении и применении того, что экземплифицируется. Что считать успехом в достижении соответствия — зависит от того, что именно наши привычки, постепенно изменяющиеся перед лицом новых столкновений и новых предложений, принимают за отображаемые роды. Композиция картины Мондриана правильна, если она отображаема на структуру, действенную в наблюдении мира. Когда Дега изобразил женщину, сидящую около края картины и выглядывающую из нее, он бросил вызов традиционным стандартам мизансцены и предложил на примере новый способ видения, организации опыта. Правильность композиции отличается от правильности представления или описания не столько по своей природе или стандартам, сколько по типу символизации и используемому способу референции.
7. Пересмотренная правильность
Итак, истинность утверждений и правильность описаний, представлений, экземплификаций, выражения — композиции, рисунка, дикции, ритма — прежде всего вопрос соответствия с тем, к чему производится та или иная референция, или с другими представлениями, или со способами и методом организации. Различия между соответствием версии миру, мира — версии и версий — друг другу или другим версиям исчезают, когда признана роль версий в создании миров, которым они соответствуют. Знание или понимание рассматриваются как расположение вне приобретения истинного полагании к обнаружению и изобретению соответствия всех видов.
Процедуры и тесты, используемые при поиске правильных версий, располагаются от дедуктивного и индуктивного вывода до выбора показательного образца и соответствия среди образцов. Несмотря на нашу веру в такие тесты, их требования часто могут казаться неясными как средства для определения правильности. Действительно, мы обращаемся скорее не к возможности оправдать наше доверие индуктивному выводу или процедурам взятия показательных образцов, а непосредственно к возможности доверять тому обоснованию, которое может иметься для этих процедур. Выбор "зеленого" скорее чем "зинего" как отображаемого предиката или размешивание содержимого и встряхивание бочки с семенами могут походить на заклинание дождя — ритуал с некоторыми празднуемыми успехами и некоторыми пренебреженными неудачами, который культивируют до тех пор, пока он не окажется слишком пагубным или вызывающим недоверие. Но столь мрачное представление подразумевает дискредитированное требование обоснования как убедительный аргумент, что тест или процедура будет гарантировать или по крайней мере улучшать наши возможности достичь правильных заключений. Мы видели, напротив, что правильность категоризации, которая входит в большинство других множеств правильности — скорее вопрос соответствия с практикой; что без организации, без выбора релевантных родов, производимого развивающейся традицией, нет никакой правильности или неправильности категоризации, никакой валидности или недействительности индуктивного вывода, никакой показательности или непоказательности образца и никакой однородности или неравенства среди образцов. Таким образом, обоснование подобных тестов правильности может состоять прежде всего в показе не того, что они являются надежными, но того, что они являются надежными.
В любом случае, результаты тестов являются временными, в то время как об истине и правильности мы думаем как о вечных. Прохождение многих различных тестов увеличивает приемлемость; но то, что однажды было максимально приемлемо, может позже быть неприемлемо. Полная и постоянная приемлемость, тем не менее, может быть принята как достаточное условие правильности. Такая окончательная приемлемость, хотя и столь же недоступна, как абсолютная правильность, является, однако, объяснимой в терминах тестов и их результатов.
Правильна ли композиция картины и точно ли содержащееся в утверждении описание — это проверяется рассмотрением и повторным рассмотрением картины или утверждения и того, на что они так или иначе указывают, тестирующим его соответствие в различных применениях и с другими структурами и утверждениями. Можно вспомнить интригующее замечание Констебля, подчеркнутое Гомбричем, что живопись — это наука, где картины — эксперименты. Согласие по изначально непроверенным суждениям или среди них и их устойчивость после проверки встречаются довольно редко как для композиций, так и для утверждений Кроме того, правильность композиции и истинность утверждения в равной степени относительны к системы: композиция, которая неправильна в мире Рафаэля, может быть правильной в мире Сера, подобно тому, как описание движения бортпроводницы, которое является неправильным с контрольной вышки, может быть правильным с пассажирского кресла; такая относительность не должна быть принята за субъективность ни в одном из этих случаев. Хваленое требование принятия научным сообществом не выдерживает фундаментальных споров, бушующих почти в каждой науке от психологии до астрофизики. Суждения о Парфеноне и Келской Книге менялись едва ли в меньшем диапазоне, чем суждения законов тяготения. Я не утверждаю, что правильность в искусстве менее субъективна, или даже не более субъективна, чем научная истина, но только предполагаю, что граница между художественным и научным суждением не совпадает с границей между субъективным и объективным и что любое приближение к универсальному согласию о чем-либо существенном является исключительным.
Мои читатели могли ослабить это последнее убеждение, единодушно соглашаясь с предшествующим — довольно извилистым и в двойном смысле пытливым — ходом мысли.
Любая трактовка правильности может, конечно, вызывать спекуляции о ее применимости к моральной правоте; но я охотно оставляю это другим. Однако здесь заслуживает внимания следующее: по крайней мере в существующем контексте, относительность правильности и допустимость противоречивых правильных представлений никоим образом не устраняет строгие стандарты для различения правильного и неправильного.
Я говорю, что утверждение истинно в данном действительном мире (или для данного действительного мира), если это утверждение истинно постольку, поскольку в рассмотрение принимается только этот единственный мир. О других выражениях — "истинный о чем-либо" и "истинный относительно чего-либо" — см. мою статью с Джозефом Уллианом "Истина о Джонсе" (with Joseph Ullian, "Truth About Jones", Journal of Philosophy, Vol. 74 (1977) pp. 317-338).
О различных типах неоднозначности см. статью Исраэла Шеффлера (Israel Scheffler, "Ambiguity: An Inscriptional Approach" in Logic and Art, Rudner and Scheffler, eds. (Bobbs-Merrill, 1972), pp. 251-272), а также его готовящуюся к печати книгу.
Я не касаюсь здесь противоречий, связанных с тем, покоится ли земля в некотором абсолютном смысле или все же перемещается специфическим способом. Читатель, считающий, что ни одно или только одно из (1) и (2) истинно, может подставить свой собственный пример; скажем, он может согласиться, что утверждения "Земля вращается по часовой стрелке" и "Земля вращается против часовой стрелки" оба истинны, с различных точек зрения.
Я намеренно применяю здесь безобидное упрощение, игнорируя всякое другое движение типа ежегодного обращения.
Велико искушение заменить такую фразу, как "относительно Солнца" чем-либо вроде "принимая Солнце за фиксированное". Но что это означает? Возможно, что-то вроде "представление Солнца фиксированной точкой на листе бумаги"; но это значит лишь сказать "представление солнца точкой, фиксированной относительно листа бумаги", и первоначальная проблема возвращается.
Пока я намеренно опускаю относительность к наблюдателю или к структуре расстояния между предметами; но см. раздел 2 ниже.
О противоречии между Карнапом и Куайном см. The Philosophy of Rudolph Carnap, Schilpp, ed. (LaSalle, 1963), pp. 385-406; 915-922.
Cр. SA: I. В данном контексте я использую такие неформальные термины как "составлено из", "комбинация", "содержит" как неопределенные между терминологией индивидуумов и терминологией классов.
Конечно, имеются бесчисленные другие альтернативы, чем (14) и (15), конфликтующие с обоими; точки могут быть рассмотрены как состоящие из противоположных диагоналей или из любых других двух или более линий, имеющих общее пересечение, или рассмотрены различными способами в терминах областей.
Равным образом и (14) и противоположное утверждение (назовем его "14a"), что точки состоят из противолежащих диагоналей, не могут оба быть истинными в царстве всех линий и всех их комбинаций. Царства (14) и (14a) должны быть по-разному ограничены: например, для (14) линиями, параллельными границам, а для (14a) диагоналями. Или все эти линии могут быть допущены для обоих, но комбинации пересекающихся линий ограничены для (14) вертикально-горизонтальными случаями, а для (14a) противолежащими диагоналями. Заметим, кстати, что "царство" не используется здесь в специальном техническом смысле, данном в LA, p. 72.
Этот и последующие абзацы являются ни в коей мере не изложением, карикатурой, защитой или бесцеремонным отстранением обсуждаемых представлений, но лишь напоминанием о некоторых из связанных с ними проблем и возможностей.
Правдоподобие, хотя не идентично с доверием, принимается здесь объясняемой в этих терминах. Мы можем быть не слишком уверены в некоторых утверждениях, которые хорошо подтверждены, и упрямо уверены в других, которые плохо подтверждены; но подтверждение и вероятность — результаты усилий по кодификации и стандартизации наших полаганий. См. далее статью "Смысл и уверенность" ("Sense and Certainty", PP, pp. 60-68); также FFF, pp. 62-65.
Ср. статью Ч.С.Пирса "Фиксация полагания" (C.S.Peirce, "Fixation of Belief" in Collected Papers of Charles Sanders Peirce (Cambridge, Mass., 1931-1958), Vol. V, pp. 223-247); но см. также обсуждение этой статьи Израилем Шеффлером в его книге "Четыре прагматиста" (Israel Scheffler, Four Pragmatists (London, 1974), pp. 60-75).
Примечание к пятому изданию. В настоящем тексте конец первого абзаца был пересмотрен, как и два последние предложения третьего с конца абзаца главы ("Полная и постоянная приемлемость, тем не менее..."). Обсуждение истины и приемлемости было заменено решительно иной трактовкой в книге Нельсона Гудмена и Кэтрин Елгин "Реконцепции", глава X. (Reconceptions by Nelson Goodman and Catherine Z. Elgin (Hackett, 1988), Chapter X).
См. PP, pp. 60-68.
Об этом и других вопросах, которые будут обсуждены в этом разделе, см. далее FFF: III и IV. Кстати, хотя валидность выше идентифицирована с соответствием правилам вывода, иногда даже в моих собственных работах она идентифицируется скорее с общей правильностью, которая включает удовлетворение также и других требований.
Сингулярное утверждение, полученное инстанциацией гипотезы, представляет собой положительный случай (инстанс), когда при рассмотрении оно определяется как истинное, и отрицательный — когда оно определяется как ложное.
См. FFF, p. 97; а также "On Kahane's Confusions", Journal of Philosophy, Vol. 69 (1972), pp. 83-84, и мои комментарии на статью Кучеры — Erkenntnis, Vol. 12 (1978), pp. 282-284.
См., например, многие места в: E. H. Gombrich, Art and Illusion (New York, 1960), а также LA: I.
См. мою заметку "On J. J. Gibson's New Perspective", Leonardo, Vol. 4 (1971), pp. 359-360.
Читателям предшествующих страниц хорошо известно, что ничто из этого не подразумевает ни что некий готовый мир ожидает описания или представления, ни что неправильные также как правильные версии создают миры, которым они соответствует. См. далее раздел 7 ниже.
Поскольку "свойство" обычно близко связывается с "предикатом", я часто использую термин "признак" в надежде, что он может послужить напоминанием о том, что не все ярлыки являются вербальными.
Экземплифицируемые узоры могут сильно варьироваться по специфике, как например, в полоску, в тонкую полоску, в тонкую синюю и белую полоску в четверть дюйма шириной и т.д. Экземплификация, подобно обозначению, может таким образом быть более или менее общей; но принимая во внимание, что общность предиката — вопрос масштаба его применения, общность образца — вопрос масштаба экземплифицируемого признака.
Требования к процедуре меняются при необходимости в различных случаях: для образцов семян скорее должна быть выбрана пропорция типов семян, чем такие другие признаки, как действительный подсчет, а для портновского образчика нужный узор мог бы быть построен обычным сложением повторов на лоскутах.
ОБ артикулированных, или конечно дифференцированных символьных системах в противопоставлении плотным системам см. LA: IV.
Art and Illusion, p. 33 и в других местах.
Понятие "суждение" в том виде, в котором оно используется здесь, должно быть освобождено от исключительной ассоциации с утверждениями; оно включает, например, предчувствие соответствия композиции или решения о нацеливании ударов, принимаемые биллиардистом.
Келская Книга (по названию ирландского города Kells) — средневековый манускрипт четырех Евангелий Вульгаты, считающийся самой красивой книгой в мире. С 17 века хранится в Тринити-колледже в Дублине (прим. пер.).
Любопытно, что такие наблюдения иногда приводятся, чтобы показать, что поскольку наука прогрессирует, а искусство нет, суждения научной истины более объективны, чем суждения художественной правильности. Причина того, что более ранние теории могут быть устареть благодаря появлению более поздних, а более старые работы — нет, часто состоит, как я думаю, в том, что более ранние теории, насколько они обоснованны, поглощаются поздними и становятся заново выводимы из них, в то время как произведения искусства, функционируя как символы, не могут быть поглощены новыми или получены из них. Я не могу здесь войти в детали этого объяснения.
1. Конфликтующие миры
Учитывая наличие множественных, иногда непримиримых и даже непримиряемых теорий и описаний, признанных как допустимые альтернативы, наши представления об истине должны быть пересмотрены. Поскольку наши взгляды на создание миров выходят далеко за пределы теорий, описаний, утверждений, за пределы языка и даже за пределы обозначения, включают версии и способы видения, как метафорические, так и буквальные, изобразительные и музыкальные наряду с вербальными, экземплификацию и экспрессию наряду с описываем и изображением, постольку различие между истинным и ложным далеко не достаточно для маркировки общего различия между правильными и неправильными версиями. Какой стандарт правильности является тогда аналогом истины, например, для беспредметных произведений, которые представляют миры экземплификацией или экспрессией? К этим неприступным вопросам надо подойти осмотрительно.
В названии этой главы и "передача", и "правильность" должны быть приняты в довольно общем смысле. Под "передачей" я понимаю не только то, что делает чертежник, но и все способы создания и представления миров — в научных теориях, произведениях искусства и версиях всех видов. Я выбираю этот термин, чтобы не создать впечатления, будто я обсуждаю моральную или этическую правильность. Под "правильностью" я понимаю, наряду с истиной, стандарты приемлемости, которые иногда дополняют истину или даже конкурируют с ней там, где она применима, или заменяют истину для недекларативных представлений.
Хотя моя главная тема здесь — эти другие стандарты, я должен начать с первых и посмотреть на истину поближе. Большинство из нас давно усвоили такие фундаментальные принципы как то, что истины никогда действительно находятся в противоречии, что все истинные версии истинны в единственном действительном мире и что очевидные разногласия среди истин указывают лишь на различия в принятых структурах или конвенциях. Хотя большинство из нас позже научились также не доверять фундаментальным принципам, усвоенным ранее, я боюсь, что мое замечание выше о противоречивых истинах и множественных действительных мирах может быть пропущено как чисто риторическое. Это не так; и даже ценой некоторого повтора я должен прояснить это более последовательным изложением некоторых замечаний, уже часто появлявшихся на этих страницах. Нам понадобится надежное основание для сравнения, когда мы перейдем к главной задаче этой главы.
Для всех, кроме ярых сторонников абсолютизма, альтернативные и видимо противоречивые версии часто представляют хорошие и равные истинностные требования. Мы едва ли можем принимать противоречивые утверждения за истинные в одном и том же мире без того, чтобы признать все утверждения, какие бы то ни было (так как из любого противоречия следуют все утверждения) истинными в одном и том же мире, а мир сам по себе — невозможным. Таким образом, мы должны либо отклонить одну из двух видимо противоречивых версий как ложную, либо принять их за истинные в различных мирах, либо найти, если мы можем это сделать, другой способ их согласования.
В некоторых случаях очевидно противоречивые истины могут быть согласованы устранением двусмысленности того или иного вида. Иногда, например, предложения кажутся несовместимыми только потому, что они эллиптичны, и если их расширить эксплицитным включением прежних имплицитных ограничений, то оказывается, что они явно говорят о разных вещах или разных частях вещей. Утверждения, заявляющие, что все солдаты вооружены луками и стрелами и что ни один солдат так не вооружен, оба истинны — для солдат различных эр; утверждения, что Парфенон не поврежден и что он разрушен, оба истинны — для различных временных частей здания, а утверждение, что яблоко бело и что оно является красным, оба истинны — для различных пространственных частей яблока. Предложения, находящиеся в разногласиях друг с другом, лучше ладят, когда сохраняют дистанцию. В каждом из этих случаев два диапазона применения без труда объединяются в узнаваемый род или предмет, а эти два утверждения истинны в различных частях или подклассах одного и того же мира.
Но примирение не всегда может быть достигнуто так легко. Рассмотрим снова описания движения (или отсутствия движения) земли. На первый взгляд, два утверждения
(1) Земля всегда покоится
(2) Земля танцует партию Петрушки
конфликтуют, поскольку из каждого следует отрицание другого. И они, кажется, заключают об одной и той же Земле. Все же каждое из них истинно — в пределах соответствующей системы.
Теперь нам, конечно, скажут, что эти последние четыре слова указывают выход: эти утверждения эллиптичны, а когда они расширены эксплицитной релятивизацией — например,
(3) В Птолемеевой системе Земля всегда покоится
(4) В некоторой системе Стравинского-Фокина Земля танцует партию Петрушки,
то они, как видно, являются полностью совместимыми. Но этот аргумент работает слишком хорошо. Чтобы увидеть, почему (3) и (4) никак не могут быть приняты за более полные формулировки (1) и (2) — или даже за одни из более полных формулировок (1) и (2) — заметим, что в то время как по крайней мере одно из противоречивых утверждений
(5) Спартанские цари имели два голоса
(6) Спартанские цари имели только один голос
является ложным, оба нижеследующие истинны:
(7) Согласно Геродоту, спартанские цари имели два голоса
(8) Согласно Фукидиду, спартанские цари имели только один голос.
Ясно, что (7) и (8), в отличие от (5) и (6), дают совершенно уклончивые ответы о том, сколько голосов имели спартанские цари. Делает ли кто-то утверждение и истинно ли это утверждение — это разные вопросы. Таким же образом (3) и (4), в отличие от (1) и (2), полностью уклончивы относительно движения Земли; они не сообщают нам, как она движется и движется ли вообще, пока к каждому утверждению не будет добавлен пункт, раскрывающий, чтó именно в рассматриваемой системе считается истинным. Но если это сделано, то, конечно, (1) и (2) подтверждены сами по себе, и никакое решение конфликта не достигнуто. Кажущийся мощным и универсальным инструмент релятивизации к системе или версии, таким образом, не достигает цели.
Возможно, тем не менее, мы сможем согласовать предложения вида (1) и (2) релятивизацией к элементам или каркасам референции скорее, чем к системам или версиям. Здесь легче рассмотреть более простой пример. Одинаково истинные противоречивые предложения относительно ежедневного движения Земли и Солнца
(9) Земля вращается, в то время как Солнце неподвижно
(10) Земля неподвижна, в то время как Солнце обращается вокруг нее
могли бы интерпретироваться как означающие
(11) Земля вращается относительно Солнца
(12) Солнце обращается относительно Земли,
которые истинны и непротиворечивы.
Однако следует заметить, что (11) не говорит, как (9), что Земля вращается, а (12) не говорит, как (10), что земля неподвижна. Из того, что объект движется относительно другого, не следует, что первый перемещается или что второй неподвижен. Действительно, при соответствующей формуле f, (11) и (12) равно ведут к единому утверждению
(13) Пространственные отношения между Землей и Солнцем изменяются со временем согласно формуле f;
и это не приписывает ни движения, ни покоя ни Земле, ни Солнцу, но полностью совместимо не только с (9) и (10) но также и с утверждением, что Земля какое-то время вращается, а затем останавливается, в то время как Солнце перемещается вокруг нее. Согласование (9) и (10) здесь произведено отменой признаков, ответственных за их разногласие; (11), (12), (13) обходятся без движения в любом смысле, в каком мы могли бы спросить, действительно ли данный объект движется или нет, или как он движется.
На этой стадии мы можем сказать "Тем лучше! Такие вопросы очевидно пусты так или иначе". С другой стороны, мы испытаем серьезные затруднения, если нам надо не сказать, движется ли данный объект или как он движется, а ограничиться описанием изменений в относительной позиции. Система координат практически необходима в большинстве контекстов. Астроном при проведении наблюдений может работать с нейтральным утверждением вида (13) не в большей степени, чем мы можем использовать карту, чтобы найти дорогу в городе, не зная, где мы находимся. Если нет никакого различия в том, что описывают (9) и (10), то все же, кажется, есть существенное различие в том, как они описывают это. При дальнейшем размышлении мы скажем, что 'пустые' вопросы скорее являются 'внешними' вопросами в противопоставлении 'внутренним', что они принадлежат дискурсу, противопоставленному фактам, принадлежат конвенции, противопоставленной содержанию. Но тогда мы, скорее всего, усомнимся, можем ли мы опираться в чем бы то ни было на такие печально известные сомнительные дихотомии. Однако давайте временно остановимся на этом и рассмотрим другой случай.
Предположим пока, что вселенная нашего дискурса ограничена квадратной долей плоскости, с двумя парами границ, маркированных как "вертикальные" и "горизонтальные". Если мы предполагаем, что имеются точки, независимо от того, что они могут быть, то два предложения
(14) Каждая точки состоит из вертикальной и горизонтальной линий
(15) Ни одна точка не состоит из линий или чего-либо еще
конфликтуют, но одинаково истинны в соответствующих системах. Мы знаем, что простая релятивизация к системе, как в (3) и (4), является показным способом решения конфликта. Истина обсуждаемого утверждения, сделанного каждой системой, должна также быть подтверждена, и если системы, соответственно, производят утверждения (14) и (15), как и есть, то конфликт остается.
Может быть, мы тогда можем согласовать (14) и (15), ограничивая их диапазоны применения? Если в нашем пространстве присутствуют только линии и комбинации линий, тогда (14), но не (15), может быть истинно, а если там есть только точки, то (15), но не (14) может быть истинно. Проблема тем не менее состоит в том, что если там есть и линии, и точки, то все равно (14) и (15) не могут оба быть истинны, хотя ни одно из них не выделено как ложное. Если (14) и (15) — альтернативные истины, то они являются таковыми в пределах различных царств, и эти царства не могут быть объединены в одно, где оба утверждения были бы истинны. Этот случай, таким образом, радикально отличен от тех, где видимо противоречивые утверждения о цвете предмета или снаряжении солдат могут быть согласованы ограничением их пределов различными частями предмета или различными солдатами, поскольку (14) и (15) не могут без натяжки быть рассмотрены как применимые к различным точкам или к различным частям точки. Вместе они говорят, что каждая точка состоит из линий, но что ни одна точка не состоит из них. Хотя (14) может быть истинно в нашем типовом пространстве, принятом за состоящее исключительно из линий, а (15) истинно в том пространстве, которое принято за состоящее исключительно из точек, все же оба не могут быть истинны в том пространстве, или любой его области, которое принято за состоящее из точек и линий. Там, где мы имеем более всесторонние системы или версии, которые находятся в противоречии так же, как и (14) и (15), их царства, таким образом, будут менее охотно расценены как находящиеся в пределах одного мира, чем как два различных мира, и даже — поскольку они сопротивляются мирному объединению — как конфликтующие миры.
2. Конвенция и содержание
Поскольку это заключение вряд ли повсеместно встретит теплый прием, поищем какой-нибудь способ уладить конфликт между (14) и (15), не ограничивая их антагонистическими мирами. Наши предыдущие усилия по согласованию путем релятивизации к системе были, возможно, не столько неверно направлены, сколько слишком простодушны. Мы должны не только предположить, что правильность рассматриваемых систем подтверждена по умолчанию, но и более близко исследовать, что утверждают (14) и (15) в пределах этих систем.
Если, как я показал раньше, критерий правильности таких систем состоит в том, что они устанавливают всеохватывающую корреляцию, удовлетворяющую некоторым условиям экстенсионального изоморфизма, то наши два утверждения могут быть заменены на
(16) В правильной рассматриваемой системе каждая точка коррелирует с комбинацией вертикальной и горизонтальной линий.
(17) В (другой) правильной рассматриваемой системе никакая точка не коррелирует с комбинацией любых других элементов;
и они полностью совместимы друг с другом. Они не говорят ничего о том, что составляет точку; каждое говорит только о том, что составляет то, что коррелирует с точкой в правильной рассматриваемой системе. Кроме того, поскольку изоморфизм ни гарантирует, ни устраняет идентичность (хотя сам гарантируется ей), постольку (16) не содержит никакого обязательства, положительного или отрицательного, о чем бы то ни было, кроме линий и комбинаций линий, в то время как (17) не содержит никакого обязательства о чем бы то ни было, кроме точек. Таким образом, эти утверждения, которые, в отличие от (14) и (15) вместе не требуют, что точки составлены из линий и не составлены из линий, могут оба быть истинны в мире, содержащем и линии, и точки — и, действительно, только в нем одном.
Очевидно, так же, как при переходе от (9) и (10) к (11) и (12), мы упустили нечто при переходе от (14) и (15) к (16) и (17). В обоих случаях мы произвели согласование, обойдясь без признаков, ответственных за разногласие. В одном мы отвлеклись от движения и удовлетворились изменениями расстояния со временем; в другом мы отвлеклись от состава и удовлетворились корреляцией. Мы отменили контртребования (14) и (15) и отступили к нейтральным утверждениям.
И мы чувствуем, что что-то упустили. Является ли точка атомарной или составной, и если составной, то что она включает — это сильно зависит от основания и средств композиции, принятых в этой системе. Не является ли это просто вопросом выбора, подобно системе координат для движения, в то время как изоморфизм корреляции, подобно изменению в расстоянии со временем — вопрос факта? Большинство из нас время от времени ведут такие разговоры, иногда как раз перед или как раз после осуждения или отрицания самого различия между конвенцией и содержанием. Что скажем об это мы?
В любом случае, если состав точек из линий или линий из точек носит конвенциональный скорее, чем фактический характер, то сами точки и линии — не в меньшей степени. Утверждения, подобные (16) и (17), нейтральны не только относительно того, что составляет точки, линии или области, но также и относительно того, чем они являются. Если мы говорим, что наше типовое пространство — комбинация точек или линий, или областей, или комбинации комбинаций точек или линий, или областей, или комбинации всех их вместе, или единая куча, то, поскольку ничто из этого не идентично со всем остальным, мы даем одно из бесчисленных альтернативных противоречивых описаний того, чем является это пространство. Таким же образом мы можем расценивать разногласия как относящиеся не к фактам, но к различиям в конвенциях — по поводу линий, точек, областей и способов комбинации — принятых в организации или описании пространства. Чем тогда является нейтральный факт или вещь, описанные в этих различных терминах? Это не пространство ни как (a) неразделенное целое, ни (b) как комбинация всего, что вовлечено в эти несколько теорий, поскольку (a) и (b) — всего лишь два из различных способов его организации. Но что именно так организовано? Когда мы снимаем, как слои конвенции, все различия среди способов его описания, то что остается? Очищая луковицу, мы добрались до ее пустой сердцевины.
Когда мы расширяем нашу компетенцию, чтобы включить в нее не только наше типовое пространство, но и вообще все пространство, и все остальное тоже, то разнообразие контрастирующих версий чрезвычайно умножается, и далее согласование достигается подобными же средствами. Вернемся к нашему примеру видимого движения:
(18) Точка движется через экран
(19) Ни одна точка так не движется.
Если мы предполагаем, что царства стимулов и зрения полностью разделены, то эти утверждения могут быть согласованы сегрегацией, как в случае противопоставления цветовых описаний, приложимых к различным частям предмета. Но если, как это более обычно, мы расцениваем стимульную версию и визуальную версию, которым эти утверждения соответственно принадлежат, как покрывающие одну и ту же территорию различными способами, как разные сообщения об общем мире, то в этом общем мире будут отсутствовать и видимые точки, и невидимые стимулы. Вспомним утверждение (13) об изменении расстояния со временем: хотя оно нейтрально относительно противостоящих описаний движения Земли в (9) и (10), оно имеет разногласия с перцептуальными версиями, которые не допускают такие физические предметы как Земля. Физические предметы и события и перцептуальные явления ведут себя так же, как точки, линии, области и пространство.
Короче говоря, если мы отвлечемся от всех признаков, ответственных за разногласия между истинами, у нас не останется ничего, кроме версий без вещей или фактов, или миров. Как могли бы сказать Гераклит или Гегель,существование миров, по всей видимости, зависит от конфликта. С другой стороны, если мы считаем любые две истины расходящимися в оценке фактов, и таким образом признаем их истинными в разных мирах, то не ясны основания для преуменьшения значения других конфликтов между истинами, как всего лишь различий в манере изложения. Если мы скажем, например, что противоречивые утверждения применимы к одному и тому же миру только поскольку, поскольку они заключают об одних и тех же вещах, то тем самым мы резонно сделаем (9) и (10) утверждениями об одном и том же мире, но в большинстве случаев это мало поможет. Говорят ли, например, (14) и (15) об одних и тех же точках? Действительно ли экран, через который движется точка, тот же самый, что и тот, через который никакая точка не движется? Является ли увиденный стол тем же, что и скопление молекул? Подобные вопросы подробно обсуждались в философской литературе, и я подозреваю, что ответ на них — твердое да и твердое нет. Реалист будет сопротивляться заключению о том, что мир не существует; идеалист будет сопротивляться заключению о том, что все противоречивые версии описывают различные миры. Что касается меня, я нахожу эти представления одинаково восхитительными и одинаково прискорбными — поскольку, в конце концов, различие между ними вполне конвенционально!
Практически, конечно, мы проводим границу везде, где хотим, и меняем ее так часто, как того требуют наши цели. На уровне теории мы порхаем из крайности в крайность так же беспечно, как физик между теориями частиц и полей. Когда многословное представление угрожает растворить все в ничто, мы настаиваем, что все истинные версии описывают миры. Когда чувство права на жизнь угрожает перенаселенностью миров, мы называем все это разговорами. Другими словами, у философа, как у волокиты, всегда либо никого, либо слишком много.
Кстати, признание множественных миров или истинных версий предлагает безвредные интерпретации необходимости и возможности. Утверждение необходимо истинно во вселенной миров или истинных версий, если истинно во всех них, необходимо ложно, если истинно ни в одном из них, и контингентно или возможно, если истинно в некоторых. Повторение было бы рассмотрено в терминах вселенных вселенных: утверждение с необходимостью необходимо истинно в такой супервселенной, если оно с необходимостью необходимо истинно во всех составляющих ее вселенных, и т.д. Аналоги теорем модального исчисления здесь легко выводимы. Но едва ли такая теория удовлетворит энергичного защитника возможных миров больше, чем ключевая вода удовлетворит алкоголика.
3. Испытания и истина
Наши предшествующие заключения, наблюдения или подозрения влияют на подход к истине по крайней мере тремя способами: стандартная, хотя и неинформативная формула истины требует модификации в другую, не более информативную; другие соображения, кроме истины, принимают дополнительную важность в выборе среди утверждений или версий, а трудная проблема отношения между истиной и ее проверкой может быть немного смягчена.
Прежде всего (это наименее важно), известное выражение "'Снег бел' истинно тогда и только тогда, когда снег бел" должно быть пересмотрено в пользу чего-либо вроде "'Снег бел' истинно в данном мире тогда и только тогда, когда в этом мире снег бел", что, в свою очередь, если различия между истинными версиями не могут твердо отличаемы от различий между мирами, означает лишь "'Снег бел' истинно согласно истинной версии тогда и только тогда, когда снег бел согласно этой версии".
Во-вторых, конфликт истин эффективно напоминает нам, что истина не может быть единственным соображением в выборе среди утверждений или версий. Как мы видели ранее, даже там, где нет никакого конфликта, истины далеко не достаточно. Некоторые истины тривиальны, иррелевантны, неразборчивы или избыточны; слишком широки, слишком узки, слишком скучны, слишком причудливы, слишком сложны или же взяты из другой версии, чем рассматриваемая, как если бы охранник, получивший приказ стрелять в любого из пленников, кто пошевелится, немедленно перестрелял бы их всех, пояснив, что они быстро перемещались вокруг оси Земли и вокруг Солнца.
Далее, для нас не более типично выбирать некоторые утверждения как истинные и затем, применяя другие критерии, выбирать среди них, чем выбирать некоторые утверждения как релевантные, пригодные к использованию и затем рассматривать, какие из них являются истинными. Скорее мы начинаем с исключения утверждений, первоначально расцененных или как ложные, хотя, возможно, в других отношениях правильные, или как неправильные, хотя, возможно, истинные, и продолжаем с этого момента. Такая теория не отрицает, что истина — необходимое условие, но лишает ее определенного превосходства.
Но, конечно, при выборе утверждения истина является не более необходимым, чем достаточным соображением. В нашем выборе мы часто предпочитаем утверждение, которое является более близким к правильности в других отношениях, тому утверждению, которое является более близким к истине; но, более того, там, где истина слишком привередлива, слишком неуравновешенна или неудобно сочетается с другими принципами, мы можем выбирать ближайшую податливую и разъясняющую ложь. Большинство научных законов имеют такой вид: не прилежные отчеты о детальных данных, но радикальные прокрустовы упрощения.
Столь непочтительное представление научных законов часто отвергается на том основании, что они суть лишь неявные утверждения приближения — например, знак "=" в "v = p + t", должен читаться не как "равняется", но как "приблизительно равняется". Таким образом сохраняются святость и превосходство истины. Но говорим ли мы, что такой закон есть приближение к истине или истинное приближение — имеет очень мало значения. Важно здесь то, что приближения предпочитаются тому, что может быть расценено или как истина, или как более точная истина.
До сих пор я принимал другие критерии правильности за дополнительные к истине, и даже время от времени боролся с этим. Но служат ли некоторые из этих других соображений также, или даже скорее, тестами истинности? В конце концов, при оценке истины мы должны использовать некоторую проверку, и такие признаки, как полезность и когерентность — видные кандидаты на эту роль. То, что мы можем легко привести очевидные примеры бесполезных запутанных истин и полезной четкой лжи, показывает, самое большее, то, что тесты являются скорее подтверждающими, чем решающими. Хорошие тесты и не должны быть решающими; притягиваемость магнитом — хорошая, но не заключительная проверка железа. Не должны мы также и объяснять, почему полезность или когерентность, или некоторый другой признак указывает на истину. Мы можем использовать магнитное притяжение как испытание на железо, вовсе не понимая связи между притяжением и составом железа; все, что нам нужно — это удовлетвориться разумно надежной корреляцией между ними. Если притяжение принято как тест прежде, чем мы узнаем состав железа, то рассматриваемая корреляция является корреляцией между притяжением и либо результатами других испытаний, либо предшествующей классификацией предметов на железные и не железные. Почти то же можно сказать об истине: в отсутствие всякой определенной и информативной характеристики мы применяем различные тесты, результаты которых мы сравниваем друг с другом и с грубой и частичной предшествующей классификацией утверждений на истинные и ложные. Может быть, истина, подобно интеллекту, является лишь тем, что проверяют испытания, а лучшая теория того, чем является истина — возможно, 'операционная', в терминах тестов и процедур, используемых при ее оценке.
Философы хотели бы тем не менее достичь характеристики истины столь же определенной, как научное определение железа, и некоторые со значительной изобретательностью приводили аргументы в пользу идентификации истины с тем или другим доступным признаком.
Одна из известных попыток такого рода — предложенная прагматистами интерпретация истины в терминах полезности. Тезис о том, что истинные утверждения — это те, которые позволяют нам предсказывать природу, управлять ей или побеждать ее, имеет немалую привлекательность, но должны быть объяснены некоторые заметные несоответствия между полезностью и истиной. Полезность, в отличие от истины — вопрос степени, но это, вероятно, можно уладить, принимая полезность за измерение близости к истине скорее, чем непосредственно за критерий истины. Полезность, в отличие от истины, относительна к цели, но это может показаться не столь серьезным, когда истина признается, как на предшествующих страницах, скорее относительной, чем абсолютной. Но относительность к цели никаким очевидным способом не действует заодно с относительностью к миру или версии; поскольку среди альтернативных истинных версий или утверждений одни не могут быть значительно полезны для многих целей, другие почти ни для каких целей и в действительности гораздо менее полезны. чем некоторые ложные версии или утверждения. Здесь может быть выдвинут основной аргумент: с истиной может быть идентифицирована полезность для одной первичной цели — приобретения знания. Но тогда прагматический тезис кажется исчерпанным по мере того, как он одерживает победу: тезис, что истины лучше всего удовлетворяют цели приобретения истин, столь же бессодержателен, сколь и очевиден.
Попытки рассматривать истину в терминах уверенного полагания или правдоподобия (credibility), как некоторой кодификации полагания — в терминах начального правдоподобия вместе с выводом, подтверждением, вероятностью, и т.д. — оказываются перед очевидным возражением, состоящим в том, что наиболее вероятные утверждения часто оказываются ложными, а наименее вероятные — истинными. Правдоподобие, таким образом, не предстает мерой даже близости к истине. Но это препятствие не так уж непреодолимо. Рассмотрим понятие постоянства — принимаемого здесь означающим вечную длительность после некоторого данного времени. Хотя мы никогда не можем установить постоянство предмета или материала, мы можем установить протяженность в различных степенях, не доходя до постоянства. Аналогичным образом, хотя мы никогда не можем установить полное и постоянное правдоподобие, мы можем установить силу и протяженность правдоподобия в различных степенях, не доходящих до этого полного правдоподобия. Идентифицируем ли мы тогда недосягаемое полное и постоянное правдоподобие с недосягаемой истиной? На контраргумент, что мы можем иметь полное и постоянное ложное полагание — т.е. на возражение, что полностью и постоянно правдоподобное может и не быть истинным — возможный ответ таков: до тех пор, пока полагание или правдоподобие действительно полно и постоянно, любое расхождение с истиной вообще не имеет для нас значения. Тогда, если имеется любое такое расхождение, то тем хуже для истины: оно пересматривается в пользу полного и постоянного правдоподобия. Но, как указал мне Хартри Филд, полное и постоянное правдоподобие едва ли может быть принято за необходимое условие истины, так как дизъюнкция может быть постоянно и полностью правдоподобна даже при том, что ни один из ее компонентов не таков.
Боóльшим уважением, чем полезность или правдоподобие, в качестве определения истины пользуется когерентность, интерпретируемая различными способами, но всегда требующая непротиворечивости. Проблемы здесь также были огромны. Но классическое и пугающее возражение, заключающееся в том, что для любой когерентной мировой версии имеются одинаково когерентные конфликтующие версии, ослабевает, когда мы готовы принять обе конфликтующие версии как истинные. Трудность установления корреляции между внутренней когерентностью и внешним соответствием уменьшается, когда самое различие между 'внутренним' и 'внешним' ставится под вопрос. По мере того, как ослабевает различие между конвенцией и содержанием — между тем, что говорится, и тем, как это говорится, соответствие между версией и миром теряет свою независимость от таких признаков версий как когерентность. Конечно, когерентность, как бы она ни была определена, скорее не достаточна для истины, а действует совместно с суждениями начального правдоподобия в наших усилиях определить истину. Но по крайней мере — и это третье из соображений, упомянутых в начале раздела — когерентность и другие так называемые внутренние признаки версий более не отвергаются как критерии проверки истины.
Итак, достаточно этого беглого представления истины и ее отношений с компаньонами и конкурентами. Теперь рассмотрим некоторые ясные случаи, где мы со значительным доверием и постоянством судим о правильности того, что не является ни истиной, ни ложью.
4. Правдивость и валидность
Среди наиболее явных и четких стандартов правильности — стандарты валидности дедуктивного аргумента. Валидность, конечно, отлична от истины в том, что посылки и выводы валидного (имеющего силу) аргумента могут быть ложны. Валидность состоит в соответствии с правилами вывода — правилами, которые кодируют дедуктивную практику в принятии или отклонении определенных выводов. Хотя дедуктивная валидность и отличается от истины, все же в целом она не независима от нее, но так связывает утверждения, что имеющий силу вывод из истинных посылок дает истинные заключения. Действительно, первичная функция имеющего силу вывода должна связать истины с истинами. Кроме того, валидность — не единственное требование к правильному дедуктивному аргументу. Дедуктивный аргумент правилен в более полном смысле только тогда, когда посылки истинны, а выводы имеют силу. Таким образом, правильность дедуктивного аргумента, привлекая валидность, все же близко связана с истиной.
Теперь рассмотрим индуктивную валидность. Здесь также не требуется ни истины посылок, ни истины заключения; индуктивная, как и дедуктивная валидность состоит из соответствия с принципами, которые кодируют практику. Но индуктивная валидность на один шаг дальше от истины, чем дедуктивная, поскольку имеющий силу индуктивный вывод из истинных посылок не дает истинного заключения.
С другой стороны, в то время как индуктивная правильность, подобно дедуктивной правильности, требует истины посылок также, как и валидности, она также требует большего. Прежде всего, правильный индуктивный аргумент должен быть основан не только на истинных посылках, но и на всех доступных подлинных очевидных свидетельствах. Индуктивный аргумент от положительных случаев гипотезы не является правильным, если отрицательные случаи опущены; все исследованные случаи должны быть приняты во внимание. На дедуктивный аргумент не накладывается никакое параллельное требование — он является правильным, если валидно следует из любых истинных посылок, даже неполных.
Однако индуктивная правильность не полностью характеризуется как индуктивная валидность плюс использование всех исследованных случаев. Если все исследованные случаи были исследованы ранее 1977 года, то аргумент, что все случаи вообще будут исследованы ранее 1977 года, тем не менее индуктивно неправилен; и даже если все исследованные изумруды были зиними, тем не менее индуктивный аргумент в пользу гипотезы, что все изумруды являются зиними, неправилен. Индуктивная правильность требует, чтобы и утверждения очевидности, и гипотеза были представлены в терминах 'подлинных' или 'естественных' родов — или, в моей терминологии, в терминах отображаемых (projectible) предикатов подобно "зеленый" и "синий" скорее, чем в терминах неотображаемых предикаты подобно "зиний" и "селеный". Без такого ограничения всегда могли бы быть найдены правильные индуктивные аргументы, дающие бесчисленные противоречивые заключения: что все изумруды являются зелеными, зиними, золтыми и т.д.
Итак, индуктивная правильность требует, чтобы аргумент вытекал из посылок, состоящих из всех истинных сообщений об исследованных случаях в терминах отображаемых предикатов. Таким образом, индуктивная правильность, при сохранении требования истины посылок, выдвигает и серьезные дополнительные требования. И хотя мы надеемся посредством индуктивного аргумента достичь истины, индуктивная правильность, в отличие от дедуктивной, не гарантирует истину. Дедуктивный аргумент неправилен, а его выводы не валидны, если он приходит к ложному заключению из истинных посылок, но индуктивный аргумент, который валиден и правилен во всех отношениях, может все же прийти к ложному заключению из истинных посылок. Это коренное различие вдохновило некоторые неистовые и бесполезные попытки оправдать индукцию, показав, что правильная индукция будет всегда (или в большинстве случаев) давать истинные заключения. Любое выполнимое обоснование индукции скорее должно показать, что правила вывода кодируют индуктивную практику — то есть осуществить взаимное регулирование между правилами и практикой — и различать отображаемые предикаты или индуктивно правильные категории от других.
Это приводит нас к вопросу о том, что является индуктивно правильными категориями, и таким образом к третьему роду правильности вообще: правильности классификации. Такая правильность еще на один шаг дальше от истины, поскольку, в то время как дедуктивная и индуктивная правильность все еще имеет отношение к утверждениям, имеющим истинностное значение, правильность классификации приложима к категориям или предикатам, или их системам, которые не имеют никакого истинностного значения.
На вопрос о том, что отличает правильные индуктивные категории от других, я могу ответить лишь указанием на суть той попытки ответа, которую я дал в другом месте (FFF: IV). Первичный фактор в отображаемости — привычка; там, где конфликтуют гипотезы, одинаково хорошо фундированные во всех прочих отношениях, решение обычно принимается в пользу той из них, чьи предикаты являются более укоренившимися. Очевидно, здесь должно быть место для маневра, для введения новых порядков, которые создают или учитывают вновь появляющиеся важные связи и различия. Инерция изменяется в соответствии с исследованием и изобретением, несколько ограниченными, в свою очередь, укоренившимися общими 'фоновыми' принципами или метапринципами и так далее. Формулировка правил, основанных на тех факторах, которые в действительности определяют отображаемость или правильную индуктивную классификацию — трудная и запутанная задача. Категории, являющиеся индуктивно правильными, имеют тенденцию совпадать с категориями, правильными для науки вообще, но вариации цели могут отражаться на изменениях релевантных родов.
Иногда выбор между версиями, принимающими различные классификации, подобно выбору среди описаний движения, принимающих различные системы координат, может быть главным образом вопросом удобства. В конце концов, мы можем несколько неуклюже заявить наши обычные индуктивные аргументы заново в терминах подобно "зиний" и "селеный" практически так же, как мы можем перевести гелиоцентрическую систему в геоцентрическую. Мы должны будем только заменить "зеленый" на "зиний, если исследован ранее t,, иначе селеный ", а "синий" на "селеный, если исследован ранее t,, иначе зиний". Однако, согласно существующей практике, сине-зеленая классификация правильна, а зине-селеная классификация неправильна как маркировка направлений, по которым мы делаем наши индуктивные выводы. Плата за использование неправильных категорий — не в большей степени просто вопрос неудобства, чем результат выбора охранником неправильной системы координат причинил просто неудобство пристреленным пленникам. Приказ "Стреляй, если они изменят цвет" был бы столь же фатален, если бы охранник отображал ненормативные цветные предикаты. Индукция по неотображаемым категориям не просто неуклюжа, но неправильна, какое бы индуктивное заключение ни было выведено в результате. Правильность индукции требует правильности проектируемых предикатов, что, в свою очередь, может изменяться с практикой.
Время от времени критики моих работ обвиняют меня в том, что по той или иной теме я делаю "неаргументированные заявления". Один из примеров звучал приблизительно так: "Гудмен неаргументированно заявляет, что ядро представления — обозначение". Это заставило меня задуматься, почему я сделал столь серьезное заявление, не приводя аргументов. Причина в том, что аргумент в любом смысле, использующем вывод из посылок, был бы здесь в высшей степени не к месту. В таком контексте я не столько заявляю полагание или выдвигаю тезис или доктрину, сколько предлагаю классификацию или схему организации, привлекаю внимание к способу расстановки наших сетей, чтобы ухватить то, что может быть существенными сходствами и различиями. Аргумент, предложенный в пользу классификации, схемы, не мог бы быть аргументом в пользу ее истины, так как она не имеет истинностного значения, но аргументом в пользу ее эффективности в создании и понимании миров. Аргумент состоял бы скорее из привлечения внимания к важным параллелям между изобразительным представлением и вербальным обозначением, из указания на неясности и путаницу, которые разъяснены этой ассоциацией, из показа, как эта организация работает с другими аспектами теории символов. Для категориальной системы надо показать не то, что она является истинной, но то, что она может делать. Грубо говоря, в таких случаях требуется скорее не аргументация, а сбыт.
5. Правильное представление
Валидность дедуктивного и индуктивного вывода и отображаемость предикатов в различной степени независимы от истины, но не от языка. Все они являются стандартами, применяемыми к версиям в словах. А как же насчет правильности невербальных версий? Когда, например, является правильным изобразительное представление?
Два известных ответа состоят в том, что представление является правильным в той степени, в которой оно походит на то, что оно изображает, и что представление является правильным, если в действительности оно делает истинное утверждение. Ни один из этих ответов не удовлетворителен.
Недостатки первого ответа, в терминах подобия, были так полно изложены в литературе, что их детальное обсуждение здесь было бы излишним. Правильность представления, подобно правильности описания, изменяется с системой или структурой; вопрос "Является ли эта картина правильной?", таким образом, подобен вопросу "Движется ли Земля?" Картина, нарисованная в обратной или иначе искаженной перспективе, или заменяющая цвета на дополнительные, может быть столь же правильна в данной системе, как картина, которую мы называем реалистической в современной стандартной западной системе представления. Но здесь мы должны помнить, что имеются два различных употребления термина "реалистический". Согласно более частому употреблению, картина реалистична в той степени, что в какой она правильна в усвоенной системе представления; например, в современной западной культуре картина Дюрера более реалистична, чем картина Сезанна. Реалистическое или правильное представление в этом смысле, подобно правильной классификации, требует соблюдения традиции и имеет тенденцию свободно коррелировать с обычными суждениями подобия, которые таким же образом основаны на привычке.
С другой стороны, представление, нереалистичное по этому стандарту, может весьма правильно изображать нечто в другой системе, во многом так же, как Земля может танцевать партию Петрушки в некоторой необычной системе координат. 'Неестественная' структура или система могут быть правильны в некоторых обстоятельствах благодаря своему преобладанию в другой культуре или завоевав признание для каких-либо специальных целей. Когда живописец или фотограф создает или раскрывает нам ранее невидимые аспекты мира, то иногда мы говорим, что он достиг новой степени реализма, обнаруживая и представляя новые аспекты действительности. Представление в правильной, но незнакомой нам системе дает реализм в смысле не привития навыков, а раскрытия. Два смысла "реалистического" отражают факторы инерции и инициативы, которые, как мы видели, соперничают в случае правильности индукции и категоризации.
Проблема с другим ответом на вопрос о правильности представления — ответом в терминах истинности утверждения, предположительно делаемого картиной — состоит в том, что картина не делает никакого утверждения. Изображение огромного желтого поломанного старинного автомобиля, подобно описанию "огромный желтый поломанный старинный автомобиль", не содержит обязательств ни к одному из следующих утверждений:
Огромный желтый поломанный автомобиль — старинный
Огромный желтый старинный автомобиль поломан
Огромный поломанный старинный автомобиль — желтый
Желтый поломанный старинный автомобиль огромен,
или к любому другому. Хотя представление и описание различаются в важных отношениях, ни в том, ни в другом случае правильность не может быть вопросом истины.
Для описательных также как для декларативных версий, конфликт может быть рассмотрен в терминах отрицания: "всегда красный всюду" и "никогда не красный где бы то ни было" конфликтуют, в то время как "зеленый" и "круглый" — нет. Там, где две правильных версии находятся в противоречии и не могут быть согласованы некоторым способом, подобным показанному выше, они являются версиями различных миров, если вообще являются версиями мира. Но как отличить в репрезентационных версиях, где нет никакого явного отрицания, пару правильных изображений различных вещей от пары различных правильных изображений одной и той же вещи? Представляют ли картина Сутина и рисунок Утрилло — одна в густых мазках и изогнутых линиях, показывающая фасад с двумя искривленными окнами, другой в прямых черных линиях, показывающий фасад с дверью и пятью окнами — различные здания или одно и то же здание различными способами? Мы должны здесь иметь в виду, что даже для декларативных версий мы не можем провести никакое ясное и устойчивое общее различие между материей и манерой дискурса. Иногда предложение и его отрицание так или иначе совместимы — например, как обращения к различным частям или периодам мира. Аналогичным образом две движущихся картинки — сфера, вращающаяся по часовой стрелке, и сфера, вращающаяся против часовой стрелки, могут изображать Землю одинаково правильно с различных точек зрения. Показать, что две версии являются версиями одного и того же мира, значит показать, как они соответствуют друг другу. И вопрос о Сутине и Утрилло во многом подобен вопросу, являются ли некоторое скопление молекул и мой стол одним и тем же.
Оставив такие темы, скажем, что утверждение истинно, а описание или представление правильно, для мира, которому оно соответствует (fit). Вымышленная версия, словесная или изобразительная, может при метафорическом истолковании может соответствовать некоторому миру и быть для него верной. Я думаю, что, пытаясь подвести описательную и репрезентационную правильность под истину, мы добьемся меньшего успеха, чем подводя истину наряду с ними под общее понятие правильности соответствия. Это приносит нам, прежде чем мы исследуем далее природу и критерии правильного соответствия, к версиям, которые не являются ни фактическими, ни вымышленными утверждениями, описаниями или представлениями.
6. Показательный образец
Правильность абстрактных визуальных или музыкальных произведений будет обладать такими аспектами как правильность их композиции, и здесь мы рискуем быть обвиненными во вторжении в священное царство красоты вместо того, чтобы ограничиться видами правильности, сопоставимыми с истиной. Любой такой протест послужил бы свидетельтвом отношения, противоположного моему настоянию на непрерывности, единстве и близости искусства, науки и восприятия как отраслей создания миров. Правильность абстрактных произведений или не-денотирующих аспектов не-абстрактных произведений не является ни идентичной истине, ни полностью чуждой ей; и то, и другое — разновидности более общего понятия правильности. Если мы скажем, что красота или эстетическая правильность является истиной или что она несопоставима с истиной, то это будут, как мне кажется, одинаково вводящие в заблуждение лозунги, и я упоминаю здесь о красоте только для того, чтобы исключить ее из дальнейшего рассмотрения.
Мы видели ранее, что произведения или другие символы, которые не объявляют, описывают или представляют что-либо, буквально или метафорически, или даже не подразумевают обозначения чего-либо, могут представлять миры путем экземплификации. Что составляет правильность или неправильность такой экземплификации? Когда правилен образец?
Наиболее очевидно, так же, как предикат или другой ярлык может неправильно применяться к данному предмету — как, скажем, "красный" к зеленому предмету — так и предмет может быть неправильным образцом в том, что он не является даже инстансом ярлыка, не обладает рассматриваемым свойством. Но также нечто может быть инстансом предиката или свойства, не будучи его образцом, как в случае с портновским образчиком, который является инстансом некоторого размера и формы, но не их образцом, так как он не указывает на эти признаки.
Поэтому следующий вопрос — может ли фактический образец признака все еще не быть его правильным образцом. Мы заметили, что даже в том случае, когда все исследованные изумруды зиние, индуктивный аргумент "Все изумруды — зиние" является неправильным, и что даже при том, что пленники двигались, охрана не должна была стрелять в них. Но, хотя это может дать некоторые намеки в подходе к нашему вопросу, здесь еще нет никакого непосредственного ответа.
Говоря обычным языком, мы различаем между свойствами "не быть образцом признака" и "быть образцом, но нетипичным". Портновский образчик, отрезанный от штуки ткани и используемый в качестве образца — не всегда показательный образец. Он может быть слишком мал, чтобы продемонстрировать узор вообще или так вырезан, что покажет составляющий мотив только частично или во вводящем в заблуждение направлении. Пять образцов, показанные на рис. 5, могут все происходить из одной штуки ткани. Каждый содержит то же количество материи, что и остальные, и, конечно, ни один не содержит целый узор, который может состоять из многих длинных полос.
Рис. 5
Все же среди этих пяти нижний правый может быть единственным показательным образцом. Почему это так? Что это означает?
Прежде, чем мы попробуем ответить, рассмотрим несколько отличный случай: образцы смеси семян трав в данной бочке. При желании мы можем применить любой из двух критериев для определения показательности образца смеси: что смесь в образце находится в той же самой пропорции, как и во всей бочке, или что образец был взят показательно в том отношении, что содержание бочки полностью размешалось, части образца взяты с разных уровней и т.д. Хотя объяснение для первого критерия ясно, такие критерии неприменимы во многих случаях, и мы обращаемся к намного сложнее защищаемым критериям, подобно второму. Когда мы знаем пропорцию различных родов семян в бочке, мы можем сделать образец показательным в первом смысле, сохраняя пропорции в образце теми же. Но когда мы берем пробы морской или питьевой воды, мы не можем знать — хотя надеемся — что образцы являются показательными в первом смысле. Мы полагаемся на то, что мы считаем способом взятия показательных образцов, как на основание для предположения, что наша проба точно отражает состав воды в гавани или емкости. Но что определяет такую показательность в осуществлении выборки?
Вопрос — и ответ — приводит к известному кругу. Показательный образец в этом смысле — тот, который может быть правильно отображен на узор или смесь, или другой релевантный признак целого или следующих образцов. Такая показательность или отображаемость, скорее чем требование или гарантия соглашения между произведенным отображением и действительным признаком целого или следующих образцов, зависят от соответствия хорошей практике в интерпретации образцов — и в восхождении от образца к рассматриваемому признаку, и в определении, является ли этот признак отображаемым. Хорошая практика, в свою очередь, зависит от привычки, подвергаясь непрерывному пересмотру под влиянием разочарования и новых изобретений. Когда результаты правильно сделанных предсказаний неверны, неудачу можно списать на невезение или, если такие случаи заметны или распространены, то представления о том, что составляет хорошую практику, могут быть пересмотрены. Некоторое соответствие среди образцов — проверка хорошей практики и показательности образца, но такое соответствие сильно зависит также и от того, какие ярлыки или роды являются релевантными и правильными. Таким образом, здесь так же, как в обычной индукции, важнейшим фактором является новое укоренение предикатов, определяющее, что именно экземплифицируется, правильно ли взят образец, является ли экземплифицируемый признак отображаемым и что составляет соответствие среди образцов. Действительно, отображаемость очевидности отличается от показательности образца прежде всего тем, что очевидные свидетельства и гипотезы суть утверждения, а образцы и то, что они экземплифицируют, могут быть неязыковыми. Таким образом, некоторые образцы и невербальные ярлыки или признаки, экземплифицированные ими или отображаемые из них, в отличие от утверждений очевидности и гипотез, могут принадлежать к таким символьным системам, которые не являются ни денотационными, ни артикулированными.
В случаях с тканью и семенами я говорил о том, что отображение узора или смеси производится на целую штуку ткани или бочку, или емкость; однако обычно мы отображаем их на другие разумно выделенные части: на пакеты семян или отрезы ткани, или питьевые порции воды. И это стоит отметить по нескольким причинам. Во-первых, все такие доли, часто представляющие для нас первичный интерес, могут весьма отличаться от целого в требуемом отношении; например, даже если смесь в бочке находится в соотношении 50 на 50, каждый пакет мог бы содержать семена только одного или только другого рода. Во-вторых, в таком случае не достигнуто соответствие среди образцов, которое предстает, таким образом, более прямым способом проверки показательности образца для нормального отображения. И в-третьих, наше внимание привлечено к виду соответствия, которого требуется достичь среди образцов: не все образчики должны быть одинаковыми до тех пор, пока из них можно сложить тот же самый узор, и не все пакеты семян должны содержать точно ту же смесь, скажем, 50-50, а только должны варьироваться вокруг этого соотношения избранным статистическим способом (как медиана, среднее число или метод) или таким образом, чтобы логическая сумма всех принятых образцов приблизительно давала соотношение 50-50.
Произведения искусства не отрезаны от рулона или вынуты из бочки — они взяты из моря. Они буквально или метафорически экземплифицируют формы, чувства, сближения, контрасты, обнаруженные в мире или встроенные в мир. Признаки целого не определены, и показательность образца зависит не от того, хорошо ли перемешалось содержимое бочки или насколько разнесены места взятия воды, а скорее от координации образцов. Другими словами, правильность композиции, цвета, гармонии — показательность произведения как образца этих признаков — проверена нашим успехом в обнаружении и применении того, что экземплифицируется. Что считать успехом в достижении соответствия — зависит от того, что именно наши привычки, постепенно изменяющиеся перед лицом новых столкновений и новых предложений, принимают за отображаемые роды. Композиция картины Мондриана правильна, если она отображаема на структуру, действенную в наблюдении мира. Когда Дега изобразил женщину, сидящую около края картины и выглядывающую из нее, он бросил вызов традиционным стандартам мизансцены и предложил на примере новый способ видения, организации опыта. Правильность композиции отличается от правильности представления или описания не столько по своей природе или стандартам, сколько по типу символизации и используемому способу референции.
7. Пересмотренная правильность
Итак, истинность утверждений и правильность описаний, представлений, экземплификаций, выражения — композиции, рисунка, дикции, ритма — прежде всего вопрос соответствия с тем, к чему производится та или иная референция, или с другими представлениями, или со способами и методом организации. Различия между соответствием версии миру, мира — версии и версий — друг другу или другим версиям исчезают, когда признана роль версий в создании миров, которым они соответствуют. Знание или понимание рассматриваются как расположение вне приобретения истинного полагании к обнаружению и изобретению соответствия всех видов.
Процедуры и тесты, используемые при поиске правильных версий, располагаются от дедуктивного и индуктивного вывода до выбора показательного образца и соответствия среди образцов. Несмотря на нашу веру в такие тесты, их требования часто могут казаться неясными как средства для определения правильности. Действительно, мы обращаемся скорее не к возможности оправдать наше доверие индуктивному выводу или процедурам взятия показательных образцов, а непосредственно к возможности доверять тому обоснованию, которое может иметься для этих процедур. Выбор "зеленого" скорее чем "зинего" как отображаемого предиката или размешивание содержимого и встряхивание бочки с семенами могут походить на заклинание дождя — ритуал с некоторыми празднуемыми успехами и некоторыми пренебреженными неудачами, который культивируют до тех пор, пока он не окажется слишком пагубным или вызывающим недоверие. Но столь мрачное представление подразумевает дискредитированное требование обоснования как убедительный аргумент, что тест или процедура будет гарантировать или по крайней мере улучшать наши возможности достичь правильных заключений. Мы видели, напротив, что правильность категоризации, которая входит в большинство других множеств правильности — скорее вопрос соответствия с практикой; что без организации, без выбора релевантных родов, производимого развивающейся традицией, нет никакой правильности или неправильности категоризации, никакой валидности или недействительности индуктивного вывода, никакой показательности или непоказательности образца и никакой однородности или неравенства среди образцов. Таким образом, обоснование подобных тестов правильности может состоять прежде всего в показе не того, что они являются надежными, но того, что они являются надежными.
В любом случае, результаты тестов являются временными, в то время как об истине и правильности мы думаем как о вечных. Прохождение многих различных тестов увеличивает приемлемость; но то, что однажды было максимально приемлемо, может позже быть неприемлемо. Полная и постоянная приемлемость, тем не менее, может быть принята как достаточное условие правильности. Такая окончательная приемлемость, хотя и столь же недоступна, как абсолютная правильность, является, однако, объяснимой в терминах тестов и их результатов.
Правильна ли композиция картины и точно ли содержащееся в утверждении описание — это проверяется рассмотрением и повторным рассмотрением картины или утверждения и того, на что они так или иначе указывают, тестирующим его соответствие в различных применениях и с другими структурами и утверждениями. Можно вспомнить интригующее замечание Констебля, подчеркнутое Гомбричем, что живопись — это наука, где картины — эксперименты. Согласие по изначально непроверенным суждениям или среди них и их устойчивость после проверки встречаются довольно редко как для композиций, так и для утверждений Кроме того, правильность композиции и истинность утверждения в равной степени относительны к системы: композиция, которая неправильна в мире Рафаэля, может быть правильной в мире Сера, подобно тому, как описание движения бортпроводницы, которое является неправильным с контрольной вышки, может быть правильным с пассажирского кресла; такая относительность не должна быть принята за субъективность ни в одном из этих случаев. Хваленое требование принятия научным сообществом не выдерживает фундаментальных споров, бушующих почти в каждой науке от психологии до астрофизики. Суждения о Парфеноне и Келской Книге менялись едва ли в меньшем диапазоне, чем суждения законов тяготения. Я не утверждаю, что правильность в искусстве менее субъективна, или даже не более субъективна, чем научная истина, но только предполагаю, что граница между художественным и научным суждением не совпадает с границей между субъективным и объективным и что любое приближение к универсальному согласию о чем-либо существенном является исключительным.
Мои читатели могли ослабить это последнее убеждение, единодушно соглашаясь с предшествующим — довольно извилистым и в двойном смысле пытливым — ходом мысли.
Любая трактовка правильности может, конечно, вызывать спекуляции о ее применимости к моральной правоте; но я охотно оставляю это другим. Однако здесь заслуживает внимания следующее: по крайней мере в существующем контексте, относительность правильности и допустимость противоречивых правильных представлений никоим образом не устраняет строгие стандарты для различения правильного и неправильного.
Я говорю, что утверждение истинно в данном действительном мире (или для данного действительного мира), если это утверждение истинно постольку, поскольку в рассмотрение принимается только этот единственный мир. О других выражениях — "истинный о чем-либо" и "истинный относительно чего-либо" — см. мою статью с Джозефом Уллианом "Истина о Джонсе" (with Joseph Ullian, "Truth About Jones", Journal of Philosophy, Vol. 74 (1977) pp. 317-338).
О различных типах неоднозначности см. статью Исраэла Шеффлера (Israel Scheffler, "Ambiguity: An Inscriptional Approach" in Logic and Art, Rudner and Scheffler, eds. (Bobbs-Merrill, 1972), pp. 251-272), а также его готовящуюся к печати книгу.
Я не касаюсь здесь противоречий, связанных с тем, покоится ли земля в некотором абсолютном смысле или все же перемещается специфическим способом. Читатель, считающий, что ни одно или только одно из (1) и (2) истинно, может подставить свой собственный пример; скажем, он может согласиться, что утверждения "Земля вращается по часовой стрелке" и "Земля вращается против часовой стрелки" оба истинны, с различных точек зрения.
Я намеренно применяю здесь безобидное упрощение, игнорируя всякое другое движение типа ежегодного обращения.
Велико искушение заменить такую фразу, как "относительно Солнца" чем-либо вроде "принимая Солнце за фиксированное". Но что это означает? Возможно, что-то вроде "представление Солнца фиксированной точкой на листе бумаги"; но это значит лишь сказать "представление солнца точкой, фиксированной относительно листа бумаги", и первоначальная проблема возвращается.
Пока я намеренно опускаю относительность к наблюдателю или к структуре расстояния между предметами; но см. раздел 2 ниже.
О противоречии между Карнапом и Куайном см. The Philosophy of Rudolph Carnap, Schilpp, ed. (LaSalle, 1963), pp. 385-406; 915-922.
Cр. SA: I. В данном контексте я использую такие неформальные термины как "составлено из", "комбинация", "содержит" как неопределенные между терминологией индивидуумов и терминологией классов.
Конечно, имеются бесчисленные другие альтернативы, чем (14) и (15), конфликтующие с обоими; точки могут быть рассмотрены как состоящие из противоположных диагоналей или из любых других двух или более линий, имеющих общее пересечение, или рассмотрены различными способами в терминах областей.
Равным образом и (14) и противоположное утверждение (назовем его "14a"), что точки состоят из противолежащих диагоналей, не могут оба быть истинными в царстве всех линий и всех их комбинаций. Царства (14) и (14a) должны быть по-разному ограничены: например, для (14) линиями, параллельными границам, а для (14a) диагоналями. Или все эти линии могут быть допущены для обоих, но комбинации пересекающихся линий ограничены для (14) вертикально-горизонтальными случаями, а для (14a) противолежащими диагоналями. Заметим, кстати, что "царство" не используется здесь в специальном техническом смысле, данном в LA, p. 72.
Этот и последующие абзацы являются ни в коей мере не изложением, карикатурой, защитой или бесцеремонным отстранением обсуждаемых представлений, но лишь напоминанием о некоторых из связанных с ними проблем и возможностей.
Правдоподобие, хотя не идентично с доверием, принимается здесь объясняемой в этих терминах. Мы можем быть не слишком уверены в некоторых утверждениях, которые хорошо подтверждены, и упрямо уверены в других, которые плохо подтверждены; но подтверждение и вероятность — результаты усилий по кодификации и стандартизации наших полаганий. См. далее статью "Смысл и уверенность" ("Sense and Certainty", PP, pp. 60-68); также FFF, pp. 62-65.
Ср. статью Ч.С.Пирса "Фиксация полагания" (C.S.Peirce, "Fixation of Belief" in Collected Papers of Charles Sanders Peirce (Cambridge, Mass., 1931-1958), Vol. V, pp. 223-247); но см. также обсуждение этой статьи Израилем Шеффлером в его книге "Четыре прагматиста" (Israel Scheffler, Four Pragmatists (London, 1974), pp. 60-75).
Примечание к пятому изданию. В настоящем тексте конец первого абзаца был пересмотрен, как и два последние предложения третьего с конца абзаца главы ("Полная и постоянная приемлемость, тем не менее..."). Обсуждение истины и приемлемости было заменено решительно иной трактовкой в книге Нельсона Гудмена и Кэтрин Елгин "Реконцепции", глава X. (Reconceptions by Nelson Goodman and Catherine Z. Elgin (Hackett, 1988), Chapter X).
См. PP, pp. 60-68.
Об этом и других вопросах, которые будут обсуждены в этом разделе, см. далее FFF: III и IV. Кстати, хотя валидность выше идентифицирована с соответствием правилам вывода, иногда даже в моих собственных работах она идентифицируется скорее с общей правильностью, которая включает удовлетворение также и других требований.
Сингулярное утверждение, полученное инстанциацией гипотезы, представляет собой положительный случай (инстанс), когда при рассмотрении оно определяется как истинное, и отрицательный — когда оно определяется как ложное.
См. FFF, p. 97; а также "On Kahane's Confusions", Journal of Philosophy, Vol. 69 (1972), pp. 83-84, и мои комментарии на статью Кучеры — Erkenntnis, Vol. 12 (1978), pp. 282-284.
См., например, многие места в: E. H. Gombrich, Art and Illusion (New York, 1960), а также LA: I.
См. мою заметку "On J. J. Gibson's New Perspective", Leonardo, Vol. 4 (1971), pp. 359-360.
Читателям предшествующих страниц хорошо известно, что ничто из этого не подразумевает ни что некий готовый мир ожидает описания или представления, ни что неправильные также как правильные версии создают миры, которым они соответствует. См. далее раздел 7 ниже.
Поскольку "свойство" обычно близко связывается с "предикатом", я часто использую термин "признак" в надежде, что он может послужить напоминанием о том, что не все ярлыки являются вербальными.
Экземплифицируемые узоры могут сильно варьироваться по специфике, как например, в полоску, в тонкую полоску, в тонкую синюю и белую полоску в четверть дюйма шириной и т.д. Экземплификация, подобно обозначению, может таким образом быть более или менее общей; но принимая во внимание, что общность предиката — вопрос масштаба его применения, общность образца — вопрос масштаба экземплифицируемого признака.
Требования к процедуре меняются при необходимости в различных случаях: для образцов семян скорее должна быть выбрана пропорция типов семян, чем такие другие признаки, как действительный подсчет, а для портновского образчика нужный узор мог бы быть построен обычным сложением повторов на лоскутах.
ОБ артикулированных, или конечно дифференцированных символьных системах в противопоставлении плотным системам см. LA: IV.
Art and Illusion, p. 33 и в других местах.
Понятие "суждение" в том виде, в котором оно используется здесь, должно быть освобождено от исключительной ассоциации с утверждениями; оно включает, например, предчувствие соответствия композиции или решения о нацеливании ударов, принимаемые биллиардистом.
Келская Книга (по названию ирландского города Kells) — средневековый манускрипт четырех Евангелий Вульгаты, считающийся самой красивой книгой в мире. С 17 века хранится в Тринити-колледже в Дублине (прим. пер.).
Любопытно, что такие наблюдения иногда приводятся, чтобы показать, что поскольку наука прогрессирует, а искусство нет, суждения научной истины более объективны, чем суждения художественной правильности. Причина того, что более ранние теории могут быть устареть благодаря появлению более поздних, а более старые работы — нет, часто состоит, как я думаю, в том, что более ранние теории, насколько они обоснованны, поглощаются поздними и становятся заново выводимы из них, в то время как произведения искусства, функционируя как символы, не могут быть поглощены новыми или получены из них. Я не могу здесь войти в детали этого объяснения.