Другие предложенные Крипке примеры апостериорной необходимости представляются более спорными. Эти примеры касаются строения, природы и происхождения родов вещей и отдельных вещей. Крипке вступает в дискуссию с Тимоти Сприггом, спрашивая (по сути), могла ли королева Елизавета II иметь других (биологических) родителей. Крипке признает, что возможна такая ситуация, когда вдруг обнаружится, что ее родители совсем не те люди, которых мы привыкли считать ее родителями (Георга VI и Элизабет Боуз-Лайон). Таким образом, утверждение, что Елизавета II — дитя Георга VI и Элизабет Боуз-Лайон, является апостериорным и не могло быть известно нам априори. Но, спрашивает Крипке, если Елизавета II действительно дитя Георга VI и Элизабет Боуз-Лайон, то может ли она в какомто другом возможном мире иметь других родителей — например, мистера и миссис Трумэн? Нет, отвечает Крипке, они могут иметь ребенка, сходного по многим признакам с Елизаветой II, но их ребенок не будет именно
В том же ключе Крипке спрашивает о деревянном столе: можно ли именно такой стол сделать из другого куска древесины или даже из замороженной воды Темзы, придав ему вид настоящего деревянного стола? Нам пришлось бы проверить подлинность этих вещей, что доказывает апостериорность подобных утверждений. Но даже если такое удалось бы, то, учитывая, что наш стол сделан из вполне конкретного куска дерева, невозможно, говорит Крипке, чтобы этот стол был сделан из другого куска дерева или изо льда. Можно изготовить очень похожий стол, но он не будет именно
Два этих примера демонстрируют принцип, согласно которому материальный объект, состоящий из определенного «куска» материи, не может состоять ни из какого другого «куска» материи. Если этот принцип верен, то мы получаем другой общий источник происхождения утверждений — необходимых, но познаваемых только апостериори. Для того чтобы установить, что Фред является отцом Билла, может потребоваться апостериорное исследование, но если Фред на самом деле отец Билла, то Билл уже не может иметь никакого другого отца.
Затем Крипке переходит к обсуждению теоретических тождеств, субстанциональных свойств веществ и классов вещей. Теоретические тождества — это высказывания, в которых наука утверждает, что нечто
Начнем с золота и рассмотрим альтернативные возможности. Допустим, что золото определяется в понятиях его внешних наблюдаемых свойств. Итак, мы априори допускаем, что золото — это желтый металл (примеры такого подхода мы находим уже у Канта). Крипке предлагает нам вообразить, что желтизна данного образца является лишь оптическим обманом. Будет ли это означать, что перед нами не золото? Нет, это будет означать лишь то, что неверно думать, будто золото — желтое. Точно так же можно ли значение слова «тигр» передать описанием — «крупное хищное четвероногое животное рыжевато-желтой масти с черными поперечными полосами на теле и с белым брюхом»? Нет; снова можно возразить, что все тигры — трехногие и что только в результате оптического обмана мы видим их по-другому. И в то же время будет ли нечто, соответствующее данному описанию, непременно тигром? Предположим, что мы открыли неизвестную прежде популяцию животных, соответствующих данному выше описанию, но по результатам исследования оказавшихся рептилиями. Будут ли такие животные тиграми? Нет; они не будут тиграми, несмотря на то что по внешним признакам они выглядят как тигры. Вернемся, однако, к золоту. Будет ли некое вещество, имеющее желтую блестящую поверхность, как у золота, золотом? Не обязательно — оно не будет золотом, если строение его атома отличается от строения атома золота. Точно так же рассматривает Крипке и другие теоретические тождества. Природные свойства обсуждаемых родов вещей не определяются их поверхностными или наблюдаемыми качествами. Вещество, имеющее атомный состав, отличный от атомного состава Н2
0, как бы ни походило на воду по виду, вкусу и т.д., не будет водой — оно будет «водой дураков» (по аналогии с «золотом дураков» — медным колчеданом, который встречается в природе и выглядит, как золото). Хотя свет известен нам по воздействию на наш орган зрения, не это определяет его природу. Мир, населенный слепыми людьми, не был бы от этого лишен света.