On Kinds of Indiscernibility in Logic and Metaphysics

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/bjps/axr007
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,661
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
F. A. Muller & Simon Saunders (2008). Discerning Fermions. British Journal for the Philosophy of Science 59 (3):499-548.

View all 9 references / Add more references

Citations of this work BETA
Vincent Lam (2013). The Entanglement Structure of Quantum Field Systems. International Studies in the Philosophy of Science 27 (1):59 - 72.

View all 10 citations / Add more citations

Similar books and articles
Stéphane Demri (1999). A Logic with Relative Knowledge Operators. Journal of Logic, Language and Information 8 (2):167-185.
F. A. Muller & Simon Saunders (2008). Discerning Fermions. British Journal for the Philosophy of Science 59 (3):499-548.
Matteo Morganti (2008). Identity, Individuality and Indiscernibility. Proceedings of the Xxii World Congress of Philosophy 15:167-173.
Casey Perin (2005). Academic Arguments for the Indiscernibility Thesis. Pacific Philosophical Quarterly 86 (4):493-517.
Simon Saunders (2003). Physics and Leibniz's Principles. In Katherine Brading & Elena Castellani (eds.), Symmetries in Physics: Philosophical Reflections. Cambridge University Press 289--307.

Monthly downloads

Added to index


Total downloads

102 ( #30,299 of 1,726,249 )

Recent downloads (6 months)

10 ( #66,646 of 1,726,249 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.