Recent work in the philosophy of mathematics has suggested that mathematical structuralism is not committed to a strong form of the Identity of Indiscernibles (II). José Bermúdez demurs, and argues that a strong form of II can be warranted on structuralist grounds by countenancing identity properties, or haecceities, as legitimately structural. Typically, structuralists dismiss such properties as obviously non-structural. I will argue to the contrary that haecceities can be viewed as structural but that this concession does not warrant Bermúdez’s version (...) of II but, rather, another easily falsified version. I close with some reflections on reference vis-à-vis structurally indiscernible objects. (shrink)

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 dis- cernibility 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 dis- cernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation. (shrink)

Kripke showed how to restrict Tarski’s schema to grounded sentences. I examine the prospects for an analogous approach to the paradoxes of naive class comprehension. I present new methods to obtain theories of grounded classes and test them against antecedently motivated desiderata. My findings cast doubt on whether a theory of grounded classes can accommodate both the extensionality of classes and allow for class definition in terms of identity.

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. (shrink)

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. (...) However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory. (shrink)

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 logical categorizations of discernibility by introducing several symmetry-based concepts of discernibility, including one I call “witness symmetry-discernibility”. Then I argue that only grades of discernibility stronger than this one possess certain intuitive features necessary to individuate objects. Further downsizing of the set of non-equivalent grades of discernibility can be (...) achieved by stipulating that any relation of discernibility should be applied only to those pairs of objects which have been previously distinguished from the rest of the universe. Restricting discernibility to pairs of objects satisfying this condition gives an additional bonus in the form of restoring the transitivity of some types of indiscernibility which have been known to be non-transitive. (shrink)

In this paper I consider the question of whether absolute discernibility is attainable in symmetric languages. Simon Saunders has proven that all facts expressible in first-order language with identity can be equivalently stated within its symmetric sublanguage. I use this result to show specifically how particles of the same type can be absolutely discerned in the permutation-invariant language of the quantum theory of many particles.