Одна из причин смешения необходимой и априорной истинности состоит в том, что, начиная с Лейбница, необходимое принято объяснять как нечто истинное во всех возможных мирах. С такой точки зрения, умозрительно рассматривая все возможные миры, мы должны быть способны видеть, необходимо ли истинно суждение, и знать это а priori. Однако можно было бы предположить, наоборот, что если нечто известно а priori, это должно быть необходимо истинно, потому что, будучи истинным а priori, это было известно без обращения к фактическому миру. Если бы истина зависела от некоторой контингентной особенности мира, то это не могло бы быть известно без обращения к миру; фактический мир мог бы быть одним из миров, в которых проверяемое суждение было бы ложно. Это, однако, предполагает, что любой способ знания о фактическом мире без обращения к миру является способом знания обо всех возможных мирах. Если мы теперь раскроем термин "аналитически истинный" в его обычном понимании, как "истинный в силу (своего) значения", то с такой точки зрения оказывается, что все аналитические истины необходимо истинны, но не наоборот. В этом отношении модель Льюиса также рассматривает аналитичность как нередуцируемый признак и не выходит из круга критики Куайна.
Если сам способ отсылки к миру не является конвенциональным, то как мы можем уйти от жесткого логического детерминизма в трактовке значений? Но, с другой стороны, как может быть конвенциональна сама референция?
2.2.2 ИДЕНТИФИКАЦИЯ В РЕФЕРЕНЦИАЛЬНО НЕПРОЗРАЧНЫХ КОНТЕКСТАХ
Распространение Т-теорий на модальные и косвенно-речевые контексты, естественный язык в целом обнаружило их ограниченность, состоящую в том, что стандартная теория оказалась не в состоянии обеспечить указание в такого рода контекстах в силу нарушения принципа подставимости тождественного. Контексты с ложной подставимостью тождественного не подлежат квантификации и определяются как референциально непрозрачные: переменные в этих контекстах находятся не в указательных позициях.
Основанные на корреспондентной теории истины условно-истинностные концепции значения могут не оперировать понятием "смысл" или "значение", но, поскольку они стремятся к тому, чтобы их положения давали знакам верные референции - а это намерение равносильно требованию, чтобы они демонстрировали значение выражений, - постольку они содержат явную или неявную отсылку к "способу, которым дается референт" (Фреге), т.е. постольку такие концепции явно или неявно предполагают, что T-теории могут предоставлять больше, чем сами по себе истинностные условия выражений, а именно, что они могут предоставлять истинностные условия в таком аспекте, который "показывает" или "отображает" значения выражений. Для этого может утверждаться, что в то время, как два выражения имеют один и тот же референт, подобно "Цицерон" и "Tуллий", они имеют отличные друг от друга значения, так как выражения имеют различные режимы, или алгоритмы представления, т. е. они представляют референт "Цицерон/Tуллий" различными способами. Поскольку "Цицерон" и "Tуллий" имеют различные значения, то, например, в убеждениях кого-то, кто полагает, что Цицерон был лыс и что Tуллий не был лыс, может не содержаться противоречия.
