Skip to main content
×
×
Home

IDENTITY AND DISCERNIBILITY IN PHILOSOPHY AND LOGIC

  • JAMES LADYMAN (a1), ØYSTEIN LINNEBO (a2) and RICHARD PETTIGREW (a3)
Abstract

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and discernibility can be ‘factorized’ into a philosophical question about the adequacy of a formal language to the description of the world, and a mathematical question about discernibility in this language. We provide formal definitions of various notions of discernibility and offer a complete classification of their logical relations. Some new and surprising facts are proved; for instance, that weak discernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation.

Copyright
Corresponding author
*DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BRISTOL 9 WOODLAND ROAD, BRISTOL BS8 1TB, UK E-mail: james.ladyman@bristol.ac.uk
DEPARTMENT OF PHILOSOPHY BIRKBECK COLLEGE, MALET STREET, LONDON WC1E 7HX, UK E-mail: o.linnebo@bbk.ac.uk
DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BRISTOL 9 WOODLAND ROAD, BRISTOL BS8 1TB, UK E-mail: richard.pettigrew@bristol.ac.uk
References
Hide All
Armstrong, D. (1980). Universals and Scientific Realism, Vol. 1. Cambridge, UK: Cambridge University Press.
Baker, A. (2003). Quantitative parsimony and explanatory power. British Journal for the Philosophy of Science, 54(2), 245259.
Bigaj, T., & Ladyman, J. (2010). The principle of the identity of indiscernibles and quantum mechanics. Philosophy of Science, 77, 117136.
Black, M. (1952). The identity of indiscernibles. Mind, 61, 153164.
Burgess, J. P. (1999). Review of Stewart Shapiro, Philosophy of Mathematics: Structure and Ontology. Notre Dame Journal of Formal Logic, 40(2), 283291.
Caulton, A., & Butterfield, J. (To appear). On kinds of indiscernibility in logic and metaphysics. British Journal for the Philosophy of Science. doi:10.1093/bjps/axr007.
Hawley, K. (2009). Identity and indiscernibility. Mind, 118, 101119.
Hawthorne, J., & Sider, T. (2006). Locations. In Hawthorne, J., editor. Metaphysical Essays. Oxford, UK: Oxford University Press.
Hilbert, D., & Bernays, P. (1934). Grundlagen der Mathematik. Berlin: Springer.
Hodges, W. (1997). A Shorter Model Theory. Cambridge, UK: Cambridge University Press.
Keränen, J. (2001). The identity problem for realist structuralism. Philosophia Mathematica, 9(3), 308330.
Ketland, J. (2006). Structuralism and the identity of indiscernibles. Analysis, 66(4), 303315.
Ketland, J. (2011). Identity and indiscernibility. Review of Symbolic Logic, 4(2), 171185.
Ladyman, J. (2005). Mathematical structuralism and the identity of indiscernibles. Analysis, 65(287), 218221.
Ladyman, J. (2007). Scientific structuralism: On the identity and diversity of objects in a structure. Proceedings of the Aristotelian Society, 81(1), 2343.
Leitgeb, H., & Ladyman, J. (2008). Criteria of identity and structuralist ontology. Philosophia Mathematica, 16(3), 388396.
Lowe, E. (2003). Individuation. In Loux, M., and Zimmerman, D., editors. Oxford Handbook of Metaphysics. Oxford, UK: Oxford University Press, pp. 7595.
MacBride, F. (2006). What constitutes the numerical diversity of mathematical objects? Analysis, 66, 6369.
Muller, F. A., & Saunders, S. (2008). Discerning fermions. British Journal for the Philosophy of Science, 59(3), 499548.
Muller, F. A., & Seevinck, M. P. (2009). Discerning elementary particles. Philosophy of Science, 76, 179200.
Quine, W. V. (1976). Grades of discriminability. Journal of Philosophy, 73(5), 113116.
Russell, B. (1911). On the relation of particulars and universals. Proceedings of the Aristotelian Society, 12, 124. Reprinted in his Logic and Knowledge, ed. R. C. Marsh, London: George Allen & Unwin, 1956.
Saunders, S. (2003). Physics and Leibniz’s principles. In Brading, K., and Castellani, E., editors. Symmetries in Physics: Philosophical Reflections. Oxford, UK: Cambridge University Press.
Saunders, S. (2006). Are quantum particles objects? Analysis, 66, 5263.
Shapiro, S. (2006). Structure and identity. In MacBride, F., editor. Identity and Modality. Oxford, UK: Clarendon, pp. 109145.
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? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed