Два этих вида необходимой истинности утверждения точно соответствуют необходимости двух видов связанной с ним пропозиции. Утверждение необходимо истинно в первом (априорном) смысле, если связанная с ним первичная пропозиция верна во всех центрированных возможных мирах (то есть если данное утверждение было бы истинным в любом контексте выражения). Утверждение необходимо истинно в апостериорном смысле, если связанная с ним вторичная пропозиция верна во всех возможных мирах (то есть если данное утверждение в том виде, в каком оно высказано в актуальном мире, является истинным во всех контрфактических мирах). Первый из этих видов соответствует глубокой необходимости Эванса, второй — более привычной поверхностной необходимости.
В качестве иллюстрации возьмем утверждение «вода есть Н 2O». Первичные интенсионалы «воды» и «Н 2O» различны, и поэтому мы не можем априори знать, что вода есть Н 2O; связанная с ними первичная пропозиция не является необходимой (она верна в тех центрированных мирах, в которых водянистая материя имеет определенную молекулярную структуру). Тем не менее вторичные интенсионалы совпадают, так что «вода есть Н 2O» истинно во всех возможных мирах, если оно оценивается сообразно вторичным интенсионалам — то есть связанная с ним вторичная пропозиция является необходимой. Крипкеанская апостериорная необходимость появляется именно тогда, когда вторичные интенсионалы некоего утверждения фундируют необходимую пропозицию, а первичные — нет.
Рассмотрим по контрасту утверждение «вода есть водянистая материя». Здесь с «водой» и «водянистой материей» связаны одни и те же первичные интенсионалы, и поэтому при наличии у нас данных понятий мы можем априори знать об истинности этого утверждения. Связанная с ним первичная пропозиция необходима, так что данное утверждение оказывается необходимо истинным в эвансовском «глубоком» смысле. Вторичные интенсионалы, однако же, различны, поскольку «вода» трактуется в жестком смысле, а «водянистая материя» — нет: в мире, где XYZ — прозрачная, пригодная для питья жидкость, вторичный интенсионал «водянистой материи» указывает на XYZ, а вторичный интенсионал «воды» не делает этого. Связанная с данным утверждением вторичная пропозиция поэтому не необходима, и это утверждение не является необходимой истиной в более привычном смысле; оно будет примером крипкеанского «контингентного априори».
В общем, многие мнимые «проблемы», возникающие из этих крипкеанских выкладок, оказываются следствием попыток втиснуть двойственную картину референции в единое понятие значения или необходимости. От этих проблем обычно можно избавиться путем развернутых указаний на двумерный характер референции и детального определения, какое именно понятие значения или необходимости представляет для нас интерес [45].
Данную двумерную модель можно также использовать для характеристики семантики мышления , равно как и языка. В другом месте я обсуждаю этот вопрос гораздо более подробно (Chalmers 1994с). Этот аспект данной модели не будет играть большой роли в дальнейшем, но о нем стоит упомянуть, так как пару раз мы все же мимоходом столкнемся с ним. Главная идея очень сходна с той, о которой шла речь выше: при наличии у мыслящего индивида понятия мы можем приписать ему первичный интенсионал, соответствующий тому, что оно будет вычленять в зависимости от того, каким окажется актуальный мир, и вторичный интенсионал, соответствующий тому, что оно вычленяет в контрфактических мирах при условии того, что актуальный мир оказывается таким, каков он есть. При наличии убеждения мы можем сходным образом приписывать ему первичную и вторичную пропозиции (названные мной в другом месте «понятийным» и «реляционным» содержанием данного убеждения).
К примеру, такие понятия, как «Геспер» и «Фосфор», будут иметь разные первичные интенсионалы (одно выделяет вечернюю звезду в данном центрированном мире, другое — утреннюю звезду), но одинаковые вторичные интенсионалы (оба они выделяют Венеру во всех мирах). Мысль «Геспер есть Фосфор» будет связана с первичной пропозицией, истинной во всех центрированных возможных мирах, где вечерняя звезда есть утренняя звезда: факт информативности, а не тривиальности данной мысли соответствует факту контингентности этой первичной пропозиции, объясняющейся различием первичных интенсионалов двух этих терминов.
Первичная пропозиция в большей степени, чем вторичная, передает то, как выглядят вещи с позиции субъекта: она доставляет набор центрированных миров, признаваемых субъектом, имеющим убеждение, в качестве потенциального окружения, в котором он мог бы жить (будучи убежденным, что Геспер есть Фосфор, я признаю все те центрированные миры, в которых вечерняя звезда оказывается тождественной утренней звезде в окрестностях центра). Не очень сложно также показать, что именно первичная, а не вторичная пропозиция отвечает за когнитивные и рациональные отношения между мыслями. Поэтому естественно представлять первичную пропозицию в качестве когнитивного содержания мышления [46].
Читать дальше