Is Identity a Logical Constant and Are There Accidental Identities?

Abstract

Propositional connectives and quantifiers are logical constants without any doubt. On the other hand, we speak about first-order logic with or without identity. Even this way of speaking suggests that identity has a special status to some extent. In fact, the status of identity is controversial.