Skip to content

Research at St Andrews

Models for hylomorphism

Research output: Contribution to journalArticle

Author(s)

Bruno Miguel Jacinto, Aaron Cotnoir

School/Research organisations

Abstract

In a series of papers (Fine et al., 1982; Fine, Noûs28(2), 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 (Midwest Studies in Philosophy, 23, 61–74, 1999). 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 (2008) main objection to Fine’s theory. In the appendix we present proofs of the inexpressibility results of Section 6.
Close

Details

Original languageEnglish
JournalJournal of Philosophical Logic
VolumeIn press
Early online date11 Mar 2019
DOIs
Publication statusE-pub ahead of print - 11 Mar 2019

    Research areas

  • Objects, Parthood, Composition, Mereology, Hylomorphism, Rigid embodiment, Variable embodiment, Qua-objects, Atomism, Gunk, Junk, Aristotle, Neo-Aristotelian, Cantor, Cardinality, Iterative, Hierarchy

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Natural axioms for classical mereology

    Cotnoir, A. & Varzi, A., Mar 2019, In : The Review of Symbolic Logic. 12, 1, p. 201-208 8 p.

    Research output: Contribution to journalArticle

  2. Is Weak Supplementation analytic?

    Cotnoir, A., 27 Dec 2018, In : Synthese. In press

    Research output: Contribution to journalArticle

  3. A note on Priest's Mereology

    Cotnoir, A., 29 Aug 2018, In : The Australasian Journal of Logic. 15, 4, p. 642-645

    Research output: Contribution to journalArticle

  4. Theism and dialetheism

    Cotnoir, A. J., 2018, In : Australasian Journal of Philosophy. 96, 3, p. 592-609 18 p.

    Research output: Contribution to journalArticle

  5. God of the Gaps: a neglected reply to God’s stone problem

    Beall, J. C. & Cotnoir, A., 1 Oct 2017, In : Analysis. 77, 4, p. 681–689 9 p.

    Research output: Contribution to journalArticle

Related by journal

  1. Negation on the Australian Plan

    Berto, F. & Restall, G., 22 Apr 2019, In : Journal of Philosophical Logic. In press

    Research output: Contribution to journalArticle

  2. The fundamental problem of logical omniscience

    Hawke, P., Özgün, A. & Berto, F., 20 Dec 2019, In : Journal of Philosophical Logic. Online First, 40 p.

    Research output: Contribution to journalArticle

  3. Some results on the limits of thought

    Bacon, A. & Uzquiano, G., 31 Jan 2018, In : Journal of Philosophical Logic. In press

    Research output: Contribution to journalArticle

  4. Williamson on counterpossibles

    Berto, F., French, R., Priest, G. & Ripley, D., Aug 2018, In : Journal of Philosophical Logic. 47, 4, p. 693-713 21 p.

    Research output: Contribution to journalArticle

ID: 256901635

Top