ON THE TYPE-THEORETICAL SEMANTICS OF BELIEF CONTEXTS
Submitted by Гость (not verified) on Thu, 09/05/2024 - 00:08The article examines basic features of type-theoretical semantics (Ranta, Martin-Löf) and proposes a formalization of Quine’s sentence on Ralph from his article «Quantifiers and propositional attitudes» in terms of this semantics. The formalization, it appears, allows us to avoid the problems of quantification in belief contexts pointed out by Quine.