The classical law of identity is commonly interpreted as ∀x(x=x), meaning that everything is identical to itself (Britannica). I argue that this formula does not adequately express the principle as described by Aristotle, that everything is identical Only to itself, because it presupposes the law of identity as one of the theorems of first order logic (FOL). Since the law of identity is fundamental - it is an intrinsic property of
The Law of Identity
The Law of Identity
The Law of Identity
The classical law of identity is commonly interpreted as ∀x(x=x), meaning that everything is identical to itself (Britannica). I argue that this formula does not adequately express the principle as described by Aristotle, that everything is identical Only to itself, because it presupposes the law of identity as one of the theorems of first order logic (FOL). Since the law of identity is fundamental - it is an intrinsic property of