Journal of Symbolic Logic 72 (1):98-118 (2007)

Authors
Reinhard Muskens
University of Amsterdam
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 up
Keywords hyperintensionality  higher-order logic  simple theory of types
Categories (categorize this paper)
DOI 10.2178/jsl/1174668386
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
Through your library

References found in this work BETA

General Semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
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.
Über Sinn Und Bedeutung.G. Frege - 1892 - Philosophical Review 1:574.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 18 references / Add more references

Citations of this work BETA

To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Deontic Modals and Hyperintensionality.Federico L. G. Faroldi - 2019 - Logic Journal of the IGPL 27 (4):387-410.
A Theory of Names and True Intensionality.Reinhard Muskens - 2012 - In Maria Aloni, V. Kimmelman, Floris Roelofsen, G. Weidman Sassoon, Katrin Schulz & M. Westera (eds.), Logic, Language and Meaning: 18th Amsterdam Colloquium. Springer. pp. 441-449.

View all 10 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
101 ( #92,385 of 2,340,252 )

Recent downloads (6 months)
11 ( #56,028 of 2,340,252 )

How can I increase my downloads?

Downloads

My notes