Формальная философия-71: доклад Станислава Сперанского “О теории истины по Крипке“ (часть 1)

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