Some highs and lows of hylomorphism: on a paradox about property abstraction

Philosophical Studies:1-15 (forthcoming)

Nathan Salmon
University of California at Santa Barbara
We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which the purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s11098-019-01274-4
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,455
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Puzzle About Belief.Saul A. Kripke - 1979 - In A. Margalit (ed.), Meaning and Use. Reidel. pp. 239--83.
Hylomorphism.Mark Johnston - 2006 - Journal of Philosophy 103 (12):652-698.
Hylomorphism Reconditioned.Michael C. Rea - 2011 - Philosophical Perspectives 25 (1):341-358.
A Paradox of Matter and Form.Maegan Fairchild - 2017 - Thought: A Journal of Philosophy 6 (1):33-42.

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Limits of Hylomorphism.Teresa Britton - 2012 - Metaphysica 13 (2):145-153.
The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Russell's Paradox.Kevin C. Klement - 2001 - Internet Encyclopedia of Philosophy.
Type-Free Property Theory, Exemplification and Russell's Paradox.Francesco Orilia - 1991 - Notre Dame Journal of Formal Logic 32 (3):432-447.
A Simple Proof That Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
$${\Pi^1_2}$$ -Comprehension and the Property of Ramsey.Christoph Heinatsch - 2009 - Archive for Mathematical Logic 48 (3-4):323-386.
A Paradox of Matter and Form.Maegan Fairchild - 2017 - Thought: A Journal of Philosophy 6 (1):33-42.
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
Questioning Gödel's Ontological Proof: Is Truth Positive?Gregor Damschen - 2011 - European Journal for Philosophy of Religion 3 (1):161-169.


Added to PP index

Total views
35 ( #247,434 of 2,272,244 )

Recent downloads (6 months)
9 ( #109,904 of 2,272,244 )

How can I increase my downloads?


My notes

Sign in to use this feature