Intensional models for the theory of types
Journal of Symbolic Logic 72 (1):98-118 (2007)
Abstract
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given upAuthor's Profile
DOI
10.2178/jsl/1174668386
My notes
Similar books and articles
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - Amsterdam, Netherlands: American Elsevier Pub. Co..
A comparison of two intensional logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Intensional completeness in an extension of gödel/dummett logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
Analytics
Added to PP
2009-01-28
Downloads
195 (#66,178)
6 months
54 (#24,124)
2009-01-28
Downloads
195 (#66,178)
6 months
54 (#24,124)
Historical graph of downloads
Author's Profile
Citations of this work
Classicism.Andrew Bacon & Cian Dorr - forthcoming - In Peter Fritz & Nicholas K. Jones (eds.), Higher-order Metaphysics. Oxford University Press.
A Theory of Necessities.Andrew Bacon & Jin Zeng - 2022 - Journal of Philosophical Logic 51 (1):151-199.
Closed Structure.Peter Fritz, Harvey Lederman & Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (6):1249-1291.
References found in this work
The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.