<human>:  Who came up with the Law of noncontradiction?
<bot>: It’s a very old idea. The Greek philosophers Plato and Aristotle both wrote about it. The law states that for any statement, p, either p or not-p must be true. This is sometimes referred to as the law of the excluded middle.