Традиционно возникающие в этой связи вопросы таковы: могут ли T-теории работать с подобными интенсиональными контекстами, т.е. представляют ли теоремы такой теории только референты выражений, или также и значения? Правая сторона T-предложения отсылает к выражению слева: каков характер этой отсылки? Простое ли это указание или же эта ссылка может до той или иной степени показывать или отображать некоторое значение? Может ли это значение быть конвенционально? Если да, то каким образом?
Предполагается, что способность T-теории отображать значения является наиболее важной при обсуждении вопроса о том, может ли T-теория служить теорией значения. Для построения теории значения на основе теории истины следует определить некоторые условия адекватности, которые теория истины должна рассматривать для того, чтобы функционировать как теория значения, пригодная для интерпретации выражений языка L28. В таком случае, если T-теория предназначена служить теорией значения, то она должна быть T-теорией такого вида, которая может отображать значения (смыслы). В противном случае следует отклонить условия адекватности.
Адекватная T-теория для агента A будет содержать теоремы (1) - (2), но не теоремы (3) - (4).
(1) "Цицерон лыс" - истинно ТТТ Цицерон лыс
(2) "Tуллий лыс" - истинно ТТТ Tуллий лыс
(3) "Цицерон лыс" - истинно ТТТ Tуллий лыс
(4) "Tуллий лыс" - истинно ТТТ Цицерон лыс
Если агент A полагает, что Цицерон лыс, но не что Tуллий лыс, то T-теория, порождающая теорему (3), будет неправильно характеризовать семантическую компетенцию А. Опасность введения (3) в семантическую теорию для А состоит в том, что это ведет к неправильной атрибуции суждения в следующем виде:
(a) А полагает: "Цицерон лыс";
(b) А полагает, что "Цицерон лыс" - истинно (из (a) и допущения о рациональности А);
(с) А полагает, что "Цицерон лыс" истинно ТТТ, когда Tуллий лыс (посредством гипотезы);
(d) А полагает: "Tуллий лыс" (из (b), (с), и предположения о замкнутости выражения)29.
Шаг (с) основан на предположении о том, что А фактически принимает за истину теоремы T-теории. Это предположение исходит из того, что А, не обладая специальными семантическими познаниями, имеет тем не менее некоторые убеждения (по крайней мере, делает заключения) относительно теорем T-теории определенного вида. Поскольку нельзя сказать, что А (не семантик) обладает отчетливым (осознающим себя) знанием относительно таких вопросов, то отсюда следует, что А должен обладать некоторым неявным знанием о (3).
