Теория истины по Крипке

В докладе будет рассказано про логический язык $L$, который содержит свой собственный истинностный предикат (англ. truth predicate) $T$, а также цитирующий механизм (англ. quotation device) $\ulcorner \cdot \urcorner$, отображающий предложения языка $L$ в замкнутые термы того же языка (по аналогии с гёделевской нумерацией). Мы будем требовать, чтобы интерпретации предиката $T$ были его неподвижными точками: $A$ и $T \left( \ulcorner A \urcorner \right)$ должны, как минимум, иметь одно и то же семантическое значение для любого предложения $A$ языка $L$. Математическим инструментом, который согласуется с указанным требованием и при этом избегает проблему, связанную с парадоксом лжеца, будет трёхзначная логика.