Laboratory of Mathematical Logic at PDMI

Четверг, 23 ноября, Институт философии СПбГУ (Менделеевская линия, д. 5), ауд. 27 (правая лестница, 2-ой этаж). Начало в 17:20.

Докладчик: С.О. Сперанский.

Тема: О теории истины по Крипке.

Abstract

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

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

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