Is Identity a Logical Constant and Are There Accidental Identities?
Issue: 3/4 (The third/fourth issue)
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.