Newton da Costa pioneered first-order systems of so-called non-reflexive logics (NRL). According to those systems of logic, the reflexive law of identity is restricted; it does not apply to every kind of object the system ...