6. Analytical philosophy, epistemology, and philosophy of science

On the Type-Theoretical Semantics of Belief Contexts

Domanov O. A.
1. Institute of Philosophy and Law SB RAS, 8 Nikolaev Str., Novosibirsk, 630090, Russian Federation
2. Novosibirsk State University, 1 Pirogov Str., Novosibirsk, 630090, Russian Federation
domanov@philosophy.nsc.ru
The material was received by the Editorial Board: 25.01.2018
The 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.

Keywords: semantics, type theory, belief contexts, Ranta, Martin-Löf.

33-46
Read more

References: Domanov O. A. On the Type-Theoretical Semantics of Belief Contexts. Siberian Journal of Philosophy. 2018, vol. 16, no. 1. P. 33–47. DOI: 10.25205/2541-7517-2018-16-1-33-47