Identity Law

From GM-RKB
Jump to navigation Jump to search

An Identity Law is a Law of Thought that states "A is A", i.e. [math]\displaystyle{ \forall_A \;,\;A=A }[/math].



References

2018a

2018b

  • (Encyclopaedia Britannica, 2018) ⇒ https://www.britannica.com/topic/laws-of-thought Retrieved:2018-5-27.
    • QUOTE: Laws of thought, traditionally, the three fundamental laws of logic: (1) the law of contradiction, (2) the law of excluded middle (or third), and (3) the principle of identity. That is, (1) for all propositions p, it is impossible for both p and not p to be true, or symbolically ∼(p · ∼p), in which ∼ means “not” and · means “and”; (2) either p or ∼p must be true, there being no third or middle true proposition between them, or symbolically p ∨ ∼p, in which ∨ means “or”; and (3) if a propositional function F is true of an individual variable x, then F is indeed true of x, or symbolically F(x) ⊃ F(x), in which ⊃ means “formally implies.” Another formulation of the principle of identity asserts that a thing is identical with itself, or (∀x) (x = x), in which ∀ means “for every”; or simply that x is x.