Хотя соображения о ревизуемости могут быть реальным доводом в пользу отсутствия многих
Традиционно считалось, что все концептуальные истины познаваемы априори, как и все необходимые истины, и что классы априорных истин, необходимых истин и концептуальных истин близкородственны или даже совпадают по своему объему. Книга Сола Крипке «Именование и необходимость» (Kripke 1972) покоробила эту картину. В ней доказывалось существование большого класса необходимо истинных положений, истинность которых не является чем-то, что познается априори. Примером является положение «вода есть Н2О». Мы не можем знать о его истинности априори; вполне можно предположить (или вполне можно предположить в начале изысканий), что вода состоит из чего-то другого, возможно XYZ. Крипке доказывает, что, невзирая на это, если исходить из того, что вода есть Н2О в актуальном мире, получается, что вода есть Н2О во всех возможных мирах. Из этого следует, что «вода есть Н2О» — необходимая истина, несмотря на то что она апостериорна по своей природе.
Это создает ряд трудностей для предложенной мной модели. К примеру, согласно некоторым толкованиям, эти необходимые истины оказываются концептуальными истинами, из чего следует, что не все концептуальные истины познаются априори. Согласно альтернативным толкованиям, подобные положения не являются концептуальными истинами, но тогда разрушается связь между концептуальной истиной и необходимостью. В различных частях этой книги я использую априорные методы, чтобы удостовериться в необходимости; но именно такие процедуры, как нередко утверждается, ставятся под вопрос концепцией Крипке.
По размышлении я полагаю, что можно показать, что эти сложности не вносят существенных изменений в мои аргументы; но дело стоит того, чтобы прояснить, что тут, собственно, происходит. Я потрачу некоторое время для создания систематической модели, позволяющей справляться с этими проблемами, которые будут периодически напоминать о себе. В частности, я покажу, как можно естественным путем выразить крипкеанские интуиции в двумерной картине значения и необходимости. Эта модель представляет собой синтез идей, высказанных Крипке, Патнэмом, Капланом, Столнейкером, Льюисом, Эвансом, Дэвисом, Хамберстоуном и другими авторами, рассматривавшими эти двумерные феномены.
Согласно традиционному взгляду на референцию, восходящему к Фреге, но выраженному здесь в современной терминологии, понятие определяет некую функцию
Более современные исследования привели к признанию того, что никакой единичный интенсионал не может выполнить всю ту работу, которую должно выполнять значение. Картина, полученная Крипке, усложнила ситуацию, показав, что референция в актуальном мире и референция в контрфактическом мире определяются совершенно разными механизмами. В известном отношении крипкеанская картина словно бы разбивает фрегеанскую картину на два отделенных друг от друга уровня.
Эту крипкеанскую интуицию можно выразить, сказав, что на деле с понятием связано