Journal of Symbolic Logic 72 (1):98-118 (2007)
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 up
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Higher‐Order Abstraction Principles.Beau Madison Mount - 2015 - Thought: A Journal of Philosophy 4 (4):228-236.
CERES in Higher-Order Logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.
Similar books and articles
Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.Chris Fox & Shalom Lappin - unknown
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.
Extending Montague's System: A Three Valued Intensional Logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
A Comparison of Two Intensional Logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the IGPL 12 (2):135-168.
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - American Elsevier Pub. Co..
Intensional Completeness in an Extension of Gödel/Dummett Logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
Added to index2009-01-28
Total downloads39 ( #130,848 of 2,158,485 )
Recent downloads (6 months)2 ( #193,773 of 2,158,485 )
How can I increase my downloads?