Contradiction (Philosophy)

https://plato.stanford.edu/entries/contradiction/

This entry outlines the role of the law of non-contradiction (LNC) as the foremost among the first (indemonstrable) principles of Aristotelian philosophy and its heirs, and depicts the relation between LNC and LEM (the law of excluded middle) in establishing the nature of contradictory and contrary opposition

The twin foundations of Aristotle's logic are the law of non-contradiction (LNC) (also known as the law of contradiction, LC) and the law of excluded middle (LEM). In Metaphysics Book Γ, LNC—“the most certain of all principles”—is defined as follows:

It is impossible that the same thing can at the same time both belong and not belong to the same object and in the same respect, and all other specifications that might be made, let them be added to meet local objections (1005b19–23).