On Kinds of Indiscernibility in Logic and Metaphysics

  title={On Kinds of Indiscernibility in Logic and Metaphysics},
  author={Adam Caulton and Jeremy Butterfield},
  journal={The British Journal for the Philosophy of Science},
  pages={27 - 84}
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. (These definitions are based on definitions made by Quine and Saunders.) 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… 

Symmetry, indiscernibility, and the generalist picture

This thesis consists of four independent but thematically interrelated papers, plus an addendum to one of these papers. Chapter 1 defends the view that Leibniz subscribed to generalism, or the view

Two Arguments for the Identity of Indiscernibles

The goal of this book is to give two arguments for the Principle of Identity of Indiscernibles, the thesis that, necessarily, no two (concrete) objects differ solo numero—i.e., necessarily, no two

Objects and Structures: Some (Further) Remarks Concerning the Motivation for Ontic Structuralism and its Metaphysical Characterisation

Elaborating on existing work, this paper discusses so-called ontic structural realism – the view according to which a) we can, and did in the past, gain knowledge of the structure of reality through

The Rise of Relationals

We begin by criticising an elaboration of an argument in this journal due to K. Hawley (2009), who argued that, when Leibniz’s Principle of the Identity of Indiscernibles (PII) faces


With the emergence of contemporary formal logic, it has become customary to formalise Leibniz’s Principle of the Identity of Indiscernibles (pii) by means of the following second order formula:

The Metaphysics of Space-time Substantivalism: A Methodological Study of the Structure of Space-time in the Context of General Relativity

This thesis explores methodological approaches to studying substantivalism in metaphysics and the philosophy of science. My primary aim is to show that it is only when these two disciplines come

The received view on quantum non-individuality: formal and metaphysical analysis

This paper shall discuss how the specific characterization of the RV through non-reflexive logics came to be framed and how some of these alternative approaches to the RV may be immune to most of the criticisms presented against the non- Reflexive approach.

Ideas and Results in Model Theory: Reference, Realism, Structure and Categoricity

The topics of reference, realism, and structure have been discussed extensively in the philosophy of mathematics of the last decades. There have been some parallel discussions in certain parts of

Response to Saunders , ‘ On the Emergence of Individuals ’

Simon Saunders’ work on identity in physics has been groundbreaking. In his most recent article, he goes against his well-known view that particles are weak discernibles to argue that, in fact, they

On Discernibility and Symmetries

This paper addresses the issue of the multiplicity of various grades of discernibility that can be defined in model theory. Building upon earlier works on the subject, I first expand the known

The Identity of Indiscernibles

The principle of the identity of indiscernibles would seem, in the forms in which it is usually stated, to be at best contingently true. It does not appear that even Leibniz held it to be logically

Against quidditism

modal realism is incompatible with quidditism, for we cannot have two structures which are structurally indistinguishable but nevertheless distinct. (Lewis argues this in some detail [10, pp.

Mathematical structuralism and the Identity of Indiscernibles

context from the antecedent to the consequent which would be required for the utterance to express a falsehood.5 If there were some deep theoretical or intuitive reason to identify propositions with

Physics and Leibniz's Principles

Leibniz’s principles made for an elegant and coherent philosophy. In part metaphysical, in part methodological, they addressed fundamental questions - in the treatment of symmetry, in the

Word and Object

This edition offers a new preface by Quine's student and colleague Dagfinn Follesdal that describes the never-realized plans for a second edition of Word and Object, in which Quine would offer a more unified treatment of the public nature of meaning, modalities, and propositional attitudes.

Identity in Physics

Drawing on philosophical accounts of identity and individuality, as well as the histories of both classical and quantum physics, this book explores two alternative metaphysical approaches to quantum

Exclusion Principle and the Identity of Indiscernibles: a Response to Margenau's Argument

  • M. Massimi
  • Philosophy
    The British Journal for the Philosophy of Science
  • 2001
This paper concerns the question of whether Pauli's Exclusion Principle (EP) vindicates the contingent truth of Leibniz's Principle of the Identity of Indiscernibles (PII) for fermions as H. Weyl

On a Quasi-Set Theory

  • D. Krause
  • Philosophy
    Notre Dame J. Formal Log.
  • 1992
The main features of a theory that enables us to deal, in terms of a set theory, with collections of indistinguishable objects are presented and the concept of "identity" in the underlying logical apparatus is restricted.

Discerning Fermions

We demonstrate that the quantum-mechanical description of composite physical systems of an arbitrary number of similar fermions in all their admissible states, mixed or pure, for all

Quantum entanglement and a metaphysics of relations