Properties and Propositions: The Metaphysics of Higher-Order Logic [Book Review]

Philosophical Review 131 (3):382-386 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

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

A Case For Higher-Order Metaphysics.Andrew Bacon - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Intensional type theory for higher-order contingentism.Peter Fritz - 2015 - Dissertation, University of Oxford
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.
A Theory of Structured Propositions.Andrew Bacon - 2023 - Philosophical Review 132 (2):173-238.
Higher-order logic as metaphysics.Jeremy Goodman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.

Analytics

Added to PP
2022-11-06

Downloads
100 (#173,804)

6 months
15 (#166,927)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stephan Kraemer
Universität Hamburg

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.

Add more references