Journal of Philosophical Logic 48 (5):909-955 (2019)

In a series of papers, 137–158; 1994, Midwest Studies in Philosophy, 23, 61–74, 1999) Fine develops his hylomorphic theory of embodiments. In this article, we supply a formal semantics for this theory that is adequate to the principles laid down for it in. In Section 1, we lay out the theory of embodiments as Fine presents it. In Section 2, we argue on Cantorian grounds that the theory needs to be stabilized, and sketch some ways forward, discussing various choice points in modeling the view. In Section 3, we develop a formal semantics for the theory of embodiments by constructing embodiments in stages and restricting the domain of the second-order quantifiers. In Section 4 we give a few illustrative examples to show how the models deliver Finean hylomorphic consequences. In Section 5, we prove that Fine’s principles are sound with respect to this semantics. In Section 6 we present some inexpressibility results concerning Fine’s various notions of parthood and show that in our formal semantics these notions are all expressible using a single mereological primitive. In Section 7, we prove several mereological results stemming from the model theory, showing that the mereology is surprisingly robust. In Section 8, we draw some philosophical lessons from the formal semantics, and in particular respond to Koslicki’s main objection to Fine’s theory. In the appendix we present proofs of the inexpressibility results of Section 6.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-019-09501-3
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,363
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

Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.
Things and Their Parts.Kit Fine - 1999 - Midwest Studies in Philosophy 23 (1):61-74.
Towards a Theory of Part.Kit Fine - 2010 - Journal of Philosophy 107 (11):559-589.
Hylomorphism.Mark Johnston - 2006 - Journal of Philosophy 103 (12):652-698.
The Extensionality of Parthood and Composition.Achille C. Varzi - 2008 - Philosophical Quarterly 58 (230):108-133.

View all 14 references / Add more references

Citations of this work BETA

De‐Fining Material Things.Charles M. Jansen - 2019 - Dialectica 73 (4):459-477.
Qua Objects and Their Limits.Annina J. Loets - 2021 - Mind 130 (518):617-638.

Add more citations

Similar books and articles

Adequacy Results for Some Priorean Modal Propositional Logics.Fabrice Correia - 1999 - Notre Dame Journal of Formal Logic 40 (2):236-249.
Some Unifying Fixed Point Principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
Axioms and (Counter)Examples in Synthetic Domain Theory.Jaap van Oosten & Alex K. Simpson - 2000 - Annals of Pure and Applied Logic 104 (1-3):233-278.
Quantifier Variance and the Demand for a Semantics.Eli Hirsch & Jared Warren - 2019 - Philosophy and Phenomenological Research 98 (3):592-605.
Vivekananda Reader.Swami Narasimhananda (ed.) - 2012 - Advaita Ashrama, Publication Dept..
Hylomorphism: What It Is and What It Isn’T.William Jaworski - 2011 - Proceedings of the American Catholic Philosophical Association 85:173-187.
Holism, Language Acquisition, and Algebraic Logic.Eli Dresner - 2002 - Linguistics and Philosophy 25 (4):419-452.
Noemata and Their Formalization.Wojciech Krysztofiak - 1995 - Synthese 105 (1):53 - 86.


Added to PP index

Total views
48 ( #220,818 of 2,445,471 )

Recent downloads (6 months)
3 ( #232,475 of 2,445,471 )

How can I increase my downloads?


My notes