Properties and Propositions: The Metaphysics of Higher-Order Logic

Cambridge: Cambridge University Press (2020)
  Copy   BIBTEX

Abstract

This book articulates and defends Fregean realism, a theory of properties based on Frege's insight that properties are not objects, but rather the satisfaction conditions of predicates. Robert Trueman argues that this approach is the key not only to dissolving a host of longstanding metaphysical puzzles, such as Bradley's Regress and the Problem of Universals, but also to understanding the relationship between states of affairs, propositions, and the truth conditions of sentences. Fregean realism, Trueman suggests, ultimately leads to a version of the identity theory of truth, the theory that true propositions are identical to obtaining states of affairs. In other words, the identity theory collapses the gap between mind and world. This book will be of interest to anyone working in logic, metaphysics, the philosophy of language or the philosophy of mind.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

McDowell and Identity Theories of Truth.Julian Dodd - 1995 - Analysis 55 (3):160 - 165.
Truth Makers for Modal Propositions.Bernard Linsky - 1994 - The Monist 77 (2):192-206.
What Truth Is.Mark Jago - 2018 - Oxford: Oxford University Press.
Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.
Intensional type theory for higher-order contingentism.Peter Fritz - 2015 - Dissertation, University of Oxford
Propositions as Truthmaker Conditions.Mark Jago - 2017 - Argumenta 2 (2):293-308.
The Eternal Existence of True Propositions.Mark Steven Roberts - 1987 - Dissertation, University of Dallas
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Ascent, propositions and other formal objects.Kevin Mulligan - 2006 - Grazer Philosophische Studien 72 (1):29-48.
Propositions: Individuation and Invirtuation.Kris McDaniel - 2015 - Australasian Journal of Philosophy 93 (4):757-768.

Analytics

Added to PP
2020-04-02

Downloads
65 (#250,691)

6 months
23 (#120,782)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Trueman
University of York

Citations of this work

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.
A fictionalist theory of universals.Tim Button & Robert Trueman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references