Сол Крипке в своей знаменитой статье (Kripke 1975) предложил собственный теоретико-модельный подход к теории истины. В рамках этого подхода роль допустимых (частичных) интерпретаций истинностного предиката T играют неподвижные точки специального рода монотонных операторов. Основой этих операторов являются различные схемы частичных означиваний, такие как схемы, соответствующие сильной или слабой трёхзначной логике Клини, или схема суперозначиваний ван Фраассена, а получающиеся в итоге наименьшие неподвижные точки представляют собой пределы специального рода трансфинитных последовательностей частичных интерпретаций. В настоящем докладе будет дан краткий обзор предложенного Крипке подхода и (при наличии времени) основных результатов в этом направлении.

Основная литература:
S. Kripke (1975). Outline of a theory of truth. Journal of Philosophy 72(19), 690–716.

Дополнительная литература:
S.O. Speranski (2017). Notes on the computational aspects of Kripke’s theory of truth. Studia Logica 105(2), 407–429.