On making a difference: towards a minimally non-trivial version of the identity of indiscernibles

The identity of indiscernibles (PII) states that indiscernible objects must be identical. Many philosophers have held that the PII turns out to be either true but trivial, or non-trivial but false, depending on how the notion of (in)discernibility is spelled out. In this paper, I propose and defend an account of this notion which aims to yield a minimally non-trivial and yet plausible version of the PII. I argue moreover that this version of the principle is immune to a number of well-known and recent objections to the PII.