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

Станислав Сперанский
Математический институт им. В.А. Стеклова РАН

выступит с докладом 

"О теории истины по Крипке" (1 часть)

Аннотация: 

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

Основная литература:

1. S.A. Kripke. Outline of a theory of truth. Journal of Philosophy 72(19), 690–716, 1975.
2. S.O. Speranski. Notes on the computational aspects of Kripke's theory of truth. Studia Logica, 105(2), 407–429, 2017.

Мероприятие пройдет в гибридном формате. 
Для получения ссылки на zoom или пропуска в здание, пожалуйста, заполните форму. 


Ауд. А-205