×

Models for hylomorphism. (English) Zbl 1457.03015

Summary: In a series of papers (Fine et al., 1982; Fine, Noûs 28(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.

MSC:

03A05 Philosophical and critical aspects of logic and foundations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Casati, R., & Varzi, A.C. (1999). Parts and places: the structures of spatial representation. Cambridge: MIT Press.
[2] Cotnoir, A.J. (2013). Beyond atomism. Thought, 2(1), 67-72.
[3] Cotnoir, A.J. (2014). Universalism and junk. Australasian Journal of Philosophy, 92, 649-664. https://doi.org/10.1080/00048402.2014.924540. · doi:10.1080/00048402.2014.924540
[4] Cotnoir, A.J., & Bacon, A. (2012). Non-wellfounded mereology. The Review of Symbolic Logic, 5(2), 187-204. · Zbl 1259.03009 · doi:10.1017/S1755020311000293
[5] Evnine, S. (2016). Making objects and events: a hylomorphic theory of artifacts, actions, and organisms. Oxford: Oxford University Press. · doi:10.1093/acprof:oso/9780198779674.001.0001
[6] Fairchild, M. (2017). A paradox of matter and form. Thought, 6, 33-42.
[7] Fine, K. (1977). Properties, propositions and sets. Journal of Philosophical Logic, 6(1), 135-191. · Zbl 0385.03006 · doi:10.1007/BF00262054
[8] Fine, K. (1982). Acts, events, and things. In Leinfellner, W., Kraemer, E., Schank, J. (Eds.) Language and ontology. Proceedings of the 6th international Wittgenstein symposium (pp. 97-105). Vienna: Hölder-Pichler-Tempsky.
[9] Fine, K. (1994). Compounds and aggregates. Noûs, 28(2), 137-158. · doi:10.2307/2216046
[10] Fine, K. (1999). Things and their parts. Midwest Studies in Philosophy, 23, 61-74. · doi:10.1111/1475-4975.00004
[11] Fine, K. (2005). Our knowledge of mathematical objects. In Gendler, T.Z., & Hawthorne, J. (Eds.) Oxford studies in epistemology (pp. 89-109). Oxford: Clarendon Press.
[12] Fine, K. (2006). Relatively unrestricted quantification. In Rayo, A., & Uzquiano, G. (Eds.) Absolute Generality, chapter 2 (pp. 20-44). Oxford: Oxford University Press.
[13] Fine, K. (2007). Response to Kathrin Koslicki. Dialectica, 61, 161-166. · doi:10.1111/j.1746-8361.2007.01097.x
[14] Fine, K. (2010). Towards a theory of part. The Journal of Philosophy, 107, 559-589. · doi:10.5840/jphil20101071139
[15] Johnston, M. (2006). Hylomorphism. The Journal of Philosophy, 103(12), 652-698. · doi:10.5840/jphil2006103125
[16] Koslicki, K. (2007). Towards a neo-Aristotelian mereology. Dialectica, 61(1), 127-159. · doi:10.1111/j.1746-8361.2006.01075.x
[17] Koslicki, K. (2008). The structure of objects. Oxford: Oxford University Press. · doi:10.1093/acprof:oso/9780199539895.001.0001
[18] Simons, P.M. (1987). Parts: a study in ontology. Oxford: Clarendon Press.
[19] Varzi, A.C. (2008). The extensionality of parthood and composition. The Philosophical Quarterly, 58, 108-133. · doi:10.1111/j.1467-9213.2007.542.x
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.