Способы создания миров

соответствующей формуле f, (11) и (12) равно ведут к единому утверждению

(13) Пространственные отношения между Землей и Солнцем изменяются со временем согласно формуле f;[104]

и это не приписывает ни движения, ни покоя ни Земле, ни Солнцу, но полностью совместимо не только с (9) и (10) но также и с утверждением, что Земля какое-то время вращается, а затем останавливается, в то время как Солнце перемещается вокруг нее. Согласование (9) и (10) здесь произведено отменой признаков, ответственных за их разногласие; (11), (12), (13) обходятся без движения в любом смысле, в каком мы могли бы спросить, действительно ли данный объект движется или нет, или как он движется.

На этой стадии мы можем сказать 'Тем лучше! Такие вопросы очевидно пусты так или иначе'. С другой стороны, мы испытаем серьезные затруднения, если нам надо не сказать, движется ли данный объект или как он движется, а ограничиться описанием изменений в относительной позиции. Система координат практически необходима в большинстве контекстов. Астроном при проведении наблюдений может работать с нейтральным утверждением вида (13) не в большей степени, чем мы можем использовать карту, чтобы найти дорогу в городе, не зная, где мы находимся. Если нет никакого различия в том, что описывают (9) и (10), то все же, кажется, есть существенное различие в том, как они описывают это. При дальнейшем размышлении мы скажем, что 'пустые' вопросы скорее являются 'внешними' вопросами в противопоставлении 'внутренним',[105] что они принадлежат дискурсу, противопоставленному фактам, принадлежат конвенции, противопоставленной содержанию. Но тогда мы, скорее всего, усомнимся, можем ли мы опираться в чем бы то ни было на такие печально известные сомнительные дихотомии. Однако давайте временно остановимся на этом и рассмотрим другой случай.

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

(14) Каждая точки состоит из вертикальной и горизонтальной линий

(15) Ни одна точка не состоит из линий или чего-либо еще[106]

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

Может быть, мы тогда можем согласовать (14) и (15), ограничивая их диапазоны применения? Если в нашем пространстве присутствуют только линии и комбинации линий, тогда (14), но не (15), может быть истинно, а если там есть только точки, то (15), но не (14) может быть истинно. Проблема тем не менее состоит в том, что если там есть и линии, и точки, то все равно (14) и (15) не могут оба быть истинны, хотя ни одно из них не выделено как ложное. Если (14) и (15) — альтернативные истины, то они являются таковыми в пределах различных царств, и эти царства не могут быть объединены в одно, где оба утверждения были бы истинны.[107] Этот случай, таким образом, радикально отличен от тех, где видимо противоречивые утверждения о цвете предмета или снаряжении солдат могут быть согласованы ограничением их пределов различными частями предмета или различными солдатами, поскольку (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), нейтральны не только относительно того, что составляет точки, линии или области, но также и относительно того, чем они являются. Если мы говорим, что наше типовое пространство — комбинация точек или линий, или областей, или комбинации комбинаций точек или линий, или областей, или комбинации всех их вместе, или единая куча, то, поскольку ничто из этого не идентично со всем