In classical logic, the law of non-contradiction is the second of three classic laws of thought. It states that contradictory statements cannot both be true in the same sense at the same time.¹ The law of non-contradiction, along with its complement, the law of excluded middle, are correlates of the law of identity. Aristotle (as pictured) was one of the main writers of classical logic, among other topics.¹

One difficulty in applying the law of non-contradiction is ambiguity in the propositions. For example, if time is not specified for two statements, then both propositions may happen but at different times. However, it is impossible to predicate of the same thing, at the same time, and in the same sense, the absence and the presence of the same fixed quality.¹

Some philosophies accept and some deny the law of non-contradiction. Eastern philosophy confirms the principle of non-contradiction in some of the earliest writings. Heraclitus of ancient Greece denied the law of non-contradiction.¹ He argued that objects must both have what it now is and what it has the potential.

The law of non-contradiction as stated by Aristotle: "It is impossible for the same thing to belong and not to belong at the same time to the same thing and in the same respect"
http://plato.stanford.edu/entries/aristotle-noncontradiction/
According to Allan Bloom, "the earliest-known explicit statement of the principle of c