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 up
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1174668386
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,511
Through your library
References found in this work BETA

No references found.

Add more references

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.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
39 ( #134,934 of 2,180,710 )

Recent downloads (6 months)
1 ( #301,383 of 2,180,710 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums