Abstract
Priest’s 2014 theory of unity and identity, based on a paraconsistent logic, has a wide range of applications. In this paper, I apply his theory to some puzzles concerning mereology and topology. These puzzles suggest that the classical mereotopology needs to be revised. I compare and contrast the Priest-inspired solution with another, based on classical logic, that requires the co-location of boundaries. I suggest that the co-location view should be preferred on abductive grounds.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
By “classical mereotopology” I mean the system called General Extensional Mereotopology with Closure (GEMTC) by Casati and Varzi (1999, p. 59).
- 2.
These definitions are from Casati and Varzi (1999, p. 80).
- 3.
These are the smt systems of Casati and Varzi (1999).
- 4.
- 5.
Of course the rejection of the antisymmetry of parthood is available. See, e.g., Cotnoir (2010).
- 6.
See, e.g., Hocking and Young (1961, p. 14).
- 7.
Early suggestions along these lines can be found in Priest (2006, Chap. 11).
- 8.
Priest (2014) following his earlier coinage (2002) calls them “gluons”. The name is unfortunate: “gluon” is already the name for a fundamental particle of physics, the gauge boson for the strong force which is responsible for holding matter together by binding quarks into protons and neutrons. Of course, Priest isn’t literally talking about gluons in the physicist sense since his gluons are responsible for the unity of all parts into any whole. Turner (2015) suggests the name is a mischievous wink at current physics. Anyway, I avoid all talk of gluons in what follows.
- 9.
See Sects. 2.6–2.7 of Priest (2014).
- 10.
Typically, only purely qualitative properties are thought to feature in Leibniz’s Law. As locational properties aren’t purely qualitative, they wouldn’t typically be allowed to play a distinguishing role. Priest, however, rejects this restriction (2014, p. 23) allowing locational differences to play a distinguishing role. (See also Priest 2014, Sect. 2.7.)
- 11.
Priest (2014, p. 26) accepts that identities are temporary.
- 12.
See Fact 1, Priest (2014, p. 27).
- 13.
See Fact 2, Priest (2014, p. 27).
- 14.
- 15.
Of course there are other ways of making a donut. We could insist that the correct model involves simply punching out a portion of matter from the middle of the sphere, leaving a donut and its remainder (similar to the lumps of dough sometimes sold as “donut holes”); this method would not be all that different from the model of cutting the sphere in half. The puzzle isn’t that there’s no way of making a donut, but that there’s seemingly no explanation for a very natural way of doing so.
- 16.
In the case of splitting the sphere, we wouldn’t want to apply this solution, which would commit us to say that term “u”, which denotes the u-part for the sphere pre-split comes to denote a and b post-split. But if that were so, then u doesn’t go out of existence even when the sphere does.
- 17.
The following presentation of these ideas owes much to Smith (1997).
- 18.
It should be noted that this reverses the ordinary direction of explanation. Typically we’d want to determine facts about boundaries from facts about what pointy objects there are around. On the Brentano–Chisholm view, we start with the condition that everything has a boundary and work back to the number of points. This aspect of the account is not strictly necessary for the co-location solution to go through. All that is needed is for there to be uncountably many co-located points—the underlying explanation for that fact needn’t be as the Brentano–Chisholm view assumes. (Thanks to an anonymous referee for raising the issue.)
- 19.
See Chisholm (1984).
References
Brentano, F. (1988). Philosophical investigations on space, time and the continuum. London: Croom Helm.
Casati, R., & Varzi, A. C. (1999). Parts and places: The structures of spatial representation. Cambridge (MA): MIT Press.
Chisholm, R. M. (1984). Boundaries as dependent particulars. Grazer philosophische Studien, 10, 87–95.
Chisholm, R. M. (1993). Spatial continuity and the theory of part and whole: A brentano study. Brentano Studien, 4, 11–24.
Cotnoir, A. J. (2010). Anti-symmetry and non-extensional mereology. The Philosophical Quarterly, 60(239), 396–405.
Dummett, M. (2000). Is time a continuum of instants? Philosophy, 75(4), 497–515.
Hocking, J. G., & Young, G. S. (1961). Topology. Dover.
Markosian, N. (2014). A spatial approach to mereology. In S. Kleinscmidt (Ed.), Mereology and location (pp. 69–90). Oxford University Press.
Oppenheim, P., & Putnam, H. (1958). Unity of science as a working hypothesis. Minnesota Studies in the Philosophy of Science, 2, 3–36.
Priest, G. (1995). Multiple denotation, ambiguity, and th strange case of the missing amoeba. Logique et Analyse, 38, 361–373.
Priest, G. (2002). Beyond the limits of thought (2nd ed.). Oxford: Oxford University Press.
Priest, G. (2005). Towards non-being. Oxford: Oxford University Press.
Priest, G. (2006). In contradiction. A study of the transconsistent (2nd ed.). Oxford University Press.
Priest, G. (2010a). A case of mistaken identity. In J. Lear & A. Oliver (Eds.), The force of argument, chap. 11. Routledge.
Priest, G. (2010b). Inclosures, vagueness, and self-reference. Notre Dame Journal of Formal Logic, 51(1), 69–84.
Priest, G. (2010c). Non-transitive identity. In R. Dietz & S. Moruzzi (Eds.), Cuts and clouds: Vagueness, its nature and its logic, chap. 23. Oxford: Oxford University Press.
Priest, G. (2014). One, being an investigation into the unity of reality and of its parts, including the singular object which is nothingness. Oxford: Oxford University Press.
Putnam, H. (1994). Peirce’s continuum. In K. Ketner (Ed.), Peirce and contemporary thought: Philosophical inquiries. Fordham University Press.
Smith, B. (1997). Boundaries: An essay in mereotopology. In L. Hahn (Ed.), The philosophy of Roderick Chisholm (pp. 534–561). Library of Living Philosophers. Open Court, LaSalle.
Turner, J. (2015). Review of graham priest ‘one: Being an investigation into the unity of reality and of its parts, including the singular object which is nothingness’. Notre Dame Philosophical Reviews.
Uzquiano, G. (2011). Mereological harmony. In K. Bennett & D. Zimmerman (Eds.), Oxford studies in metaphysics (Vol. 6, pp. 199–224). Oxford University Press.
Weber, Z., & Cotnoir, A. J. (2015). Inconsistent boundaries. Synthese, 192(5), 1267–1294.
Acknowledgements
The research and writing of this paper was supported by a 2017–2018 Leverhulme Research Fellowship from the Leverhulme Trust.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Cotnoir, A.J. (2019). Unity, Identity, and Topology: How to Make Donuts and Cut Things in Half. In: Başkent, C., Ferguson, T. (eds) Graham Priest on Dialetheism and Paraconsistency. Outstanding Contributions to Logic, vol 18. Springer, Cham. https://doi.org/10.1007/978-3-030-25365-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-25365-3_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-25364-6
Online ISBN: 978-3-030-25365-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)