Skip to main content



The notion of strict identity is sometimes given an explicit second-order definition: objects with all the same properties are identical. Here, a somewhat different problem is raised: Under what conditions is the identity relation on the domain of a structure first-order definable? A structure may have objects that are distinct, but indiscernible by the strongest means of discerning them given the language (the indiscernibility formula). Here a number of results concerning the indiscernibility formula, and the definability of identity, are collected and a number of applications discussed.

Corresponding author
Hide All
Black M. (1962). The identity of indiscernibles. Mind, 61, 153164.
Burgess J. P. (1999). Review of Shapiro 1997. Notre Dame Journal of Formal Logic, 40, 283291.
Cortes A. (1976). Leibniz’s principle of identity of indiscernibles: A false principle. Philosophy of Science, 45, 466470.
Frege G. (1891). Review of E. Husserl 1891, Philosophie der Arithmetik. Extracts reprinted in Geach & Black (eds.) 1980; Translations from the Philosophical Writings of Gottlob Frege (third edition). New Jersey, NJ: Barnes and Noble.
French S., & Redhead M. (1988). Quantum physics and the identity of indiscernibles. British Journal for the Philosophy of Science, 39, 233246.
Hilbert D., & Bernays P. (1934). Grundlagen der Mathematik, Vol. 1. Berlin: Springer.
Hodges W. (1997). A Shorter Model Theory. Cambridge, MA: Cambridge University Press.
Keränen J. (2001). The identity problem for realist structuralism. Philosophia Mathematica, 3, 308330.
Ketland J. (2006). Structuralism and the identity of indiscernibles. Analysis, 66, 303315.
Ladyman J. (2005). Mathematical structuralism and the identity of indiscernibles. Analysis, 62, 218221.
Leitgeb H., & Ladyman J. (2008). Criteria of identity and structuralist ontology. Philosophia Mathematica, 16, 388396.
Manzano M. (1996). Extensions of First-Order Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge, MA: Cambridge University Press.
Quine W. V. (1960). Word and Object. Cambridge, MA: MIT Press.
Quine W. V. (1962). Reply to Professor Marcus. Synthese, 20. Page references are to the reprint in W. V. Quine 1976, The Ways of Paradox (revised edition). Cambridge, MA: Harvard University Press.
Quine W. V. (1976). Grades of Discriminability. Journal of Philosopy, 73. Reprinted in W. V. Quine 1981, Theories and Things (Cambridge, MA: Harvard University Press), pp. 129133.
Quine W. V. (1986). Philosophy of Logic (second edition). Cambridge, MA: Harvard University Press.
Saunders S. (2002). Indiscernibles, general covariance and other symmetries: The case for non-eliminativist relationism. In Ashtekar A., Howard D., Renn J., Sarkar S., & Shimony A., editors. Revisiting the Foundations of Relativistic Physics: Festschrift in Honour of John Stachel. Dordrecht, The Netherlands: Kluwer.
Saunders S. (2003). Physics and Leibniz’s principles. In Castellani E., and Brading K., editors. Symmetries in Physics: Philosophical Reflections, Cambridge, MA: Cambridge University Press.
Savellos E. (1990). On defining identity. Notre Dame Journal of Formal Logic, 31, 476484.
Shapiro S. (1991). Foundations without Foundationalism: A Case for Second-Order Logic. Oxford: Oxford University Press.
Shapiro S. (1997). Philosophy of Mathematics: Structure and Ontology. Oxford: Oxford University Press.
Shapiro S. (2008). Identity, indiscernibility and ante rem structuralism: The tale of i and – i. Philosophia Mathematica, 16, 285309.
Tarski A. (1959). What is elementary geometry? In Henkin L., Suppes P., and Tarski A., editors. The Axiomatic Method, Amsterdam, The Netherlands: North Holland, pp. 1629. Page references are to the reprint in J. Hintikka (ed.) 1968, Philosophy of Mathematics. Oxford: Oxford University Press.
van Dalen D. (1994). Logic and Structure. Berlin: Springer.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 1
Total number of PDF views: 24 *
Loading metrics...

Abstract views

Total abstract views: 196 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd November 2017. This data will be updated every 24 hours.