ON THE TYPE-THEORETICAL SEMANTICS OF BELIEF CONTEXTS
https://doi.org/10.25205/2541-7517-2018-16-1-33-47
Abstract
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.
About the Author
O. A. Domanov
Institute of Philosophy and Law SB RAS; Novosibirsk State University
Russian Federation
Russian Federation
References
1. Dummett M. A. E. What is a Theory of Meaning? // Mind and Language. Oxford Univ. Press, 1975.
2. Luo Z. Coercive subtyping // Journal of Logic and Computation. 1999. Vol. 9. No. 1. P. 105-130.
3. Luo Z. Formal semantics in modern type theories with coercive subtyping // Linguistics and Philosophy. 2012. Nov. Vol. 35. No. 6. P. 491-513.
4. Martin-Löf P. An intuitionistic type theory: Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Napoli: Biliopolis, 1984.
5. Martin-Löf P. An intuitionistic theory of types // Twenty-five years of constructive type theory. New York: Oxford Univ. Press, 1998. P. 127-172.
6. Quine W. Quantifiers and propositional attitudes // Journal of Philosophy. 1956. Vol. 53. Issue 5. P. 177-187.
7. Ranta A. Type-theoretical grammar. Clarendon Press, 1994.
8. Russell B. Mathematical logic as based on the theory of types // American Journal of Mathematics. 1908. Vol. 30. P. 222-262.
9. Schroeder-Heister P. Uniform Proof-Theoretic Semantics for Logical Constants (Abstract) // Journal of Symbolic Logic. 1991. Vol. 56. P. 1142.
Review
For citations:
Domanov O.A. ON THE TYPE-THEORETICAL SEMANTICS OF BELIEF CONTEXTS. Siberian Journal of Philosophy. 2018;16(1):33-47. (In Russ.) https://doi.org/10.25205/2541-7517-2018-16-1-33-47
Views:
157
Email this article 