Skip to main content

Unity, Identity, and Topology: How to Make Donuts and Cut Things in Half

  • Chapter
  • First Online:
Graham Priest on Dialetheism and Paraconsistency

Part of the book series: Outstanding Contributions to Logic ((OCTR,volume 18))

  • 473 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 139.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 179.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    By “classical mereotopology” I mean the system called General Extensional Mereotopology with Closure (GEMTC) by Casati and Varzi (1999, p. 59).

  2. 2.

    These definitions are from Casati and Varzi (1999, p. 80).

  3. 3.

    These are the smt systems of Casati and Varzi (1999).

  4. 4.

    This is the mereological harmony principle called \(1\rho \) by Uzquiano (2019, p. 204). Oppenheim and Putnam (1958) endorse the principle, as does Markosian (2014).

  5. 5.

    Of course the rejection of the antisymmetry of parthood is available. See, e.g., Cotnoir (2010).

  6. 6.

    See, e.g., Hocking and Young (1961, p. 14).

  7. 7.

    Early suggestions along these lines can be found in Priest (2006, Chap. 11).

  8. 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. 9.

    See Sects. 2.6–2.7 of Priest (2014).

  10. 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. 11.

    Priest (2014, p. 26) accepts that identities are temporary.

  12. 12.

    See Fact 1, Priest (2014, p. 27).

  13. 13.

    See Fact 2, Priest (2014, p. 27).

  14. 14.

    See, e.g., Priest (1995, 2002, 2005, 2006, 2010a, b, c).

  15. 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. 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. 17.

    The following presentation of these ideas owes much to Smith (1997).

  18. 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. 19.

    See Chisholm (1984).

References

  • Brentano, F. (1988). Philosophical investigations on space, time and the continuum. London: Croom Helm.

    Google Scholar 

  • Casati, R., & Varzi, A. C. (1999). Parts and places: The structures of spatial representation. Cambridge (MA): MIT Press.

    Google Scholar 

  • Chisholm, R. M. (1984). Boundaries as dependent particulars. Grazer philosophische Studien, 10, 87–95.

    Google Scholar 

  • Chisholm, R. M. (1993). Spatial continuity and the theory of part and whole: A brentano study. Brentano Studien, 4, 11–24.

    Google Scholar 

  • Cotnoir, A. J. (2010). Anti-symmetry and non-extensional mereology. The Philosophical Quarterly, 60(239), 396–405.

    Article  Google Scholar 

  • Dummett, M. (2000). Is time a continuum of instants? Philosophy, 75(4), 497–515.

    Article  Google Scholar 

  • Hocking, J. G., & Young, G. S. (1961). Topology. Dover.

    Google Scholar 

  • Markosian, N. (2014). A spatial approach to mereology. In S. Kleinscmidt (Ed.), Mereology and location (pp. 69–90). Oxford University Press.

    Google Scholar 

  • Oppenheim, P., & Putnam, H. (1958). Unity of science as a working hypothesis. Minnesota Studies in the Philosophy of Science, 2, 3–36.

    Google Scholar 

  • Priest, G. (1995). Multiple denotation, ambiguity, and th strange case of the missing amoeba. Logique et Analyse, 38, 361–373.

    Google Scholar 

  • Priest, G. (2002). Beyond the limits of thought (2nd ed.). Oxford: Oxford University Press.

    Book  Google Scholar 

  • Priest, G. (2005). Towards non-being. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Priest, G. (2006). In contradiction. A study of the transconsistent (2nd ed.). Oxford University Press.

    Google Scholar 

  • Priest, G. (2010a). A case of mistaken identity. In J. Lear & A. Oliver (Eds.), The force of argument, chap. 11. Routledge.

    Google Scholar 

  • Priest, G. (2010b). Inclosures, vagueness, and self-reference. Notre Dame Journal of Formal Logic, 51(1), 69–84.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Book  Google Scholar 

  • Putnam, H. (1994). Peirce’s continuum. In K. Ketner (Ed.), Peirce and contemporary thought: Philosophical inquiries. Fordham University Press.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Uzquiano, G. (2011). Mereological harmony. In K. Bennett & D. Zimmerman (Eds.), Oxford studies in metaphysics (Vol. 6, pp. 199–224). Oxford University Press.

    Google Scholar 

  • Weber, Z., & Cotnoir, A. J. (2015). Inconsistent boundaries. Synthese, 192(5), 1267–1294.

    Article  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to A. J. Cotnoir .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

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

Publish with us

Policies and ethics