Ученик. Без сомнения.

Учитель. Значит, когда (утверждение) обозначает существующее как существующее, оно является истинным обозначением?

Ученик. Да, если обозначает существующее как существующее, то является и истинным, и правильным обозначением.

Учитель. Значит, «быть истинным» и «быть правильным» значит для него одно и то же, а именно: «обозначать существующее как существующее»?

Ученик. Действительно, одно и то же.

Учитель. Значит, истина есть для него не что иное, как правильность?

Ученик. Теперь ясно вижу, что истина есть эта правильность.

Учитель. И так же, когда высказывание обозначает несуществующее как несуществующее?

Ученик. То, что ты говоришь, я понимаю. Но научи меня, что я мог бы ответить, если кто скажет, что высказывающая речь (oratio) обозначает то, что должно, даже и тогда, когда она обозначает как существующее то, чего не существует, ибо она ведь в равной мере получила (свойства) обозначать как существующее и то, что существует, и то, чего не существует. Ведь, если бы она не получила свойства обозначать (si non accepisset significare) как существующее также и то, чего не существует, то она не обозначала бы его.

Поэтому, даже когда она обозначает как существующее то, чего не существует, она обозначает то, что должно. А если, как ты показал, обозначение того, что должно, является правильным и истинным, то высказывающая речь истинна даже тогда, когда она обозначает как существующее то, чего не существует.

Учитель. Правда, обычно не принято называть истинной высказывающую речь, которая обозначает как существующее то, чего не существует; однако и она имеет истину и правильность, потому что делает то, что должно. Но, когда она обозначает как существующее то, что существует, — она вдвойне делает то, что должно: ибо обозначает и соответственно своему свойству обозначать (et quod accepit significare), и соответственно тому, для чего она была создана (quod facta est). Но высказывающую речь принято называть правильной и истинной согласно той правильности и истине, в силу которой она обозначает как существующее то, что существует, но не согласно той, в силу которой она обозначает как существующее также и то, чего не существует.