The first principle of → formal logic introduced in Aristotle’stheory of the → syllogism: If a statement is true then it is true. Also called → law of identity.
See also: → principle; → identity.