Выражение, указывающее на некоторые естественные виды и на связи между ними, способно быть истинным в отношении прямого соответствия миру. Либо мир таков, что он содержит эти виды, и они состоят в этой связи, либо нет. Это прямое двухместное отношение, которое может быть использовано для прояснения характера референции абсолютно-истинного выражения. "P абсолютно истинно" будет означать в таком случае: "мир таков, что в его содержание входят элементы тех видов, на которые указывает P, и эти элементы состоят в той связи, на которую указывает P". И напротив, выражения, указывающие на некоторые конвенциональные классы и на связи между ними, не могут быть истинны в отношении такого же прямого соответствия миру, как абсолютно-истинные выражения, потому что они оперируют категориями, находящимися в ином отношении к содержанию мира. Эти категории принадлежат некоторой концептуальной схеме, так или иначе не тождественной содержанию мира. В результате возникает трехместное отношение между выражением, миром и конвенциональной концептуальной схемой, ассоциированной с выражением. "P истинно относительно конвенциональной концептуальной схемы W" будет означать в таком случае:

мир таков, что его содержание может быть традиционно (скажем, в силу действующего соглашения) классифицировано посредством W тем способом, на который указывает P.

Такой подход не означает взаимоисключаемость абсолютной и относительной истин: выражение может являться в одно и то же время и абсолютно, и относительно истинным. Релятивизатор W может использовать категории, которые образуют не только конвенциональные классы, но также и естественные виды. Кроме того, некоторое выражение P может быть абсолютно-ложно, потому что термины W будут не в состоянии указывать на естественные виды, но относительно-истиннно, потому что мир охватывается конвенциональными категориями тем способом, на который указывает Р. Отсюда следует, что хотя абсолютная истина так же, как и относительная, может располагать ассоциированной концептуальной схемой, определяющим различием является онтологический статус этой схемы. В этом, в частности, состоит причина того, почему относительная истина может быть выражена трехместным отношением, а абсолютная – нет: третий термин такого отношения, концептуальная схема, должен быть отчетливо отделен от двух остальных515. Схема W, истолкованная как схема внешних (конвенциональных) классификаций, удовлетворяет этому требованию, но если W полагается не более чем констатацией признаков референта, то такое W не будет обладать достаточной онтологической автономностью от него: отношение W – референт не будет коррелировать с отношением Р – референт, и, следовательно, трехместное отношение между этими тремя терминами не будет ни онтологически однородным, ни сообщающим о мире нечто значимое. Поэтому привлечение концептуальной схемы для выражения абсолютной истины оказывается – с такой точки зрения! – избыточным516.

Таким образом, если мы пытаемся истолковать относительную истину как корреспондентную, это приводит нас к выводу о том, что третий член отношения – релятивизатор – может быть рассмотрен как концептуальная схема. Это требуется для того, чтобы объяснить конвенциональность значений, т.е. ситуацию действительного употребления языка. Однако Дэвидсон отверг саму дистинкцию между концептуальной схемой и ассоциированным содержанием как «третью догму эмпиризма», изжившую себя в теориях языка517. Но, как представляется, неприятие Дэвидсона связано с тем обстоятельством, что он отождествляет концептуальную схему с языком в целом (причем не слишком обосновывая именно такое отождествление), тогда как релятивизатором может выступать и нечто другое – как более общие, так и более конкретные вещи; в когнитивной практике, связанной с употреблением языка, это будет прежде всего индивидуальная система носителей истины – например, индивидуальная система типов полаганий. Отсюда проясняется индивидуальный характер нужного для релятивизации истинных значений понятия «концептуальная схема»: это – индивидуальная картина мира, образуемая системой ментальных репрезентаций. Существует столько W, сколько есть языковых субъектов (носителей языка L), и существует множество референций, истинных для всех W. Такое множество некоторым образом характеризует область конвенционального для всех носителей языка L – например, можно сказать, что оно представляет ее содержание. Если же мы универсализируем понятие концептуальной схемы – допустим, вслед за Дэвидсоном отождествляем владение концептуальной схемой с владением языком, – то мы затрудняемся объяснить с его помощью понятие конвенции, поскольку впадаем в порочный круг, о котором предостерегал Куайн: для того, чтобы применять конвенцию, которая была бы достаточно общей для обеспечения истинности высказываний, мы уже будем должны использовать истинные высказывания в рассуждении, применяющем конвенцию к индивидуальным приложениям.

Рассмотрим, каким образом одно выражение P может быть в одно и то же время истинно относительно одной концептуальной схемы, W1, и неистинно относительно другой, W2. К. Суойер назвал такой подход, согласно которому P будет иметь только одно ассоциированное W, «сильным релятивизмом» в противоположность «слабому релятивизму», где выражение может быть истинно относительно W1 и при этом вообще не формулируемо в терминах W2518.

Ценность «слабого» варианта концепции относительной истины для обоснования языковой конвенции будет зависеть от возможности существования радикально различающихся концептуальных схем. Если в сообществе носителей языка L, включающем n членов, действует соглашение по поводу употребления Р, то это означает, что Р истинно относительно W1, W2, ... Wn. Тогда W1, W2, ... Wn должны иметь некоторую область пересечения Ξ, содержанием которой будет множество всех высказываний, тривиальным образом истинных для всех носителей языка L. Область Ξ может быть описана с помощью функции, областью определения которой будет множество всех возможных правильных высказываний языка L, а областью значения – множество всех возможных истинных референций, выражаемых на этом языке. По отношению к конвенции это означает, что связь между высказываниями и их референтами задает пределы функционирования соответствующих соглашений. Конвенция выступает в качестве регулятива, создавая условия интерсубъективной проверяемости индивидуальных концептуальных схем.

Если А и Б говорят на одном языке, то Wa и имеют общее Ξ, но отсюда еще не следует, что конвенция всегда является достаточным источником интерсубъективной проверяемости: для успеха проверяемости Wa и должны не только иметь общее Ξ, но и иметь возможность дальнейшего взаимного согласования концептуальных схем, которое может быть проведено относительно внеязыковых ориентиров. Тогда конвенция задает рамки и/или указывает направление такого согласования, но не заполняет его предметную (содержательную) область519. Поэтому если мы строим объяснение конвенции на «слабом» варианте релятивизма, то такое объяснение предполагает не то, что необходимые истины созданы в соответствии с соглашением, а только то, что необходимые истины (например, естественнонаучные) традиционно выражаются в одних терминах скорее, чем в других. Языковая конвенция обеспечивает возможность взаимного согласования индивидуальных концептуальных схем; однако оказывается, что пределы такого согласования связаны с характером отсылки к внеязыковому миру, представляемой языковыми выражениями.