This chapter explores Leibniz's principle of the Identity of Indiscernibles. Model theory supplies us with the resources to distinguish between many different notions of indiscernibility; we can vary: (a) the primitive ideology (b) the background logic and (c) the grade of discernibility. We use these distinctions to discuss the possibility of singling-out “indiscernibles”. And we then use these to distinctions to explicate Leibniz's famous principle. While model theory allows us to make this principle precise, the sheer number of different precise versions of this principle made available by model theory can serve to mitigate some of the initial excitement of this principle. We round out the chapter with two technical topics: indiscernibility in infinitary logic, and the relation between indiscernibility, orders, and stability.
Affine systems of equations and counting infinitary logic
