# Is there any formalized logic that doesn't rely on the law of identity?

The Law of Identity is one of the fundamental principles in classical logic, stating that an entity is identical to itself, meaning that A is A, and nothing can be other than itself. Without the Law of Identity, it's challenging to create a coherent and consistent system.

A logical system that entirely discards identity would be a highly unconventional approach and may not have been extensively studied or formalized in the field of logic. But is there anything out there that exist, a logic system that doesn't use the law of identity, and even outright reject it.

• Before anyone mentions paraconsistent logic: those reject one of the steps in the principle of explosion, and do not deny A = A. This question is more radical (and imo, more interesting). Commented Sep 25, 2023 at 0:48
• You can simply take the conventional FOL without the default equality, then your formalized classic logic cannot even express law of identity, not to say rely on it. However, it's still a coherent and consistent system per your spec and can still be very expressive about many other everyday properties and relations except perhaps equational logic (algebra). FOL without equality is often employed in the context of 2nd order arithmetic and other higher-order theories of arithmetic, where the equality relations between sets of natural numbers are usually omitted by design.... Commented Sep 25, 2023 at 6:52
• I would add that questions of transworld identity as well as relative identity are, to some extent, questions about the logic of identity, or can be posed as such questions. Then there are defaults such as "logics without transworld/relative identity," or a peculiar negative combination like "logics without normal or relative identity but with transworld ID," etc. (which sounds unstable, offhand, but might be interesting to analyze?). Commented Sep 25, 2023 at 12:00
• A system entirely discarding identity would be an unconventional approach to those following your views… not anything absolute. What may not have been extensively studied in the field of logic is limited how? Does there exist out there a logic system that doesn't use the law of identity, and might even outright reject it, reads like a Question for search engines or even good old text-books, not for STack Exchange. Commented Sep 25, 2023 at 20:49
• This condition is actually fairly common in the logics that back/are models of computation. Commented Sep 25, 2023 at 22:27