It is often presumed that anti-haecceitists are not committed to the identity of indiscernibles. However, I argue that anti-haecceitism implies a particularly strong thesis about when individuals are indiscernible which motivates the identity of indiscernibles. The argument is first sketched intuitively and then formalized in a system of higher-order modal logic.

中文翻译：

---

反个体主义和不可辨别性

人们通常认为反个体主义者并不致力于不可辨别者的身份。然而，我认为，反个体主义意味着一个特别有力的论点，即个体何时不可辨别，这激发了不可辨别的身份。首先直观地勾画出论证，然后在高阶模态逻辑系统中形式化。