Higher-order semantics and extensionality

Journal of Symbolic Logic 69 (4):1027-1088 (2004)
  Copy   BIBTEX

Abstract

In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we develop a methodology of abstract consistency methods needed to analyze completeness of higher-order calculi with respect to these model classes

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2010-08-24

Downloads
322 (#88,692)

6 months
18 (#162,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
Classical Opacity.Michael Caie, Jeremy Goodman & Harvey Lederman - 2019 - Philosophy and Phenomenological Research 101 (3):524-566.
The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2017 - Philosophy and Phenomenological Research 99 (1):81-114.
Arithmetic is Necessary.Zachary Goodsell - 2024 - Journal of Philosophical Logic 53 (4).

View all 24 citations / Add more citations

References found in this work

Knowledge of Meaning.Richard Larson & Gabriel Segal - 2000 - Mind 109 (436):960-964.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Semantics and property theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.
A model theory for propositional attitudes.Richmond H. Thomason - 1980 - Linguistics and Philosophy 4 (1):47 - 70.
The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.

View all 7 references / Add more references