Philosophical Studies 177 (6):1549-1563 (2020)

Nathan Salmon
University of California at Santa Barbara
Teresa Robertson Ishii
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 (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
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,955
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.
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
Hylomorphism Reconditioned.Michael C. Rea - 2011 - Philosophical Perspectives 25 (1):341-358.

View all 13 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
77 ( #128,104 of 2,403,169 )

Recent downloads (6 months)
18 ( #41,543 of 2,403,169 )

How can I increase my downloads?


My notes