I like apples. I don't like apples. Therefore unicorns exist.
With the principles of classical logic, that statement is true.
This page is a permanent link to the reply below and its nested replies. See all post replies »
DrWatson · 70-79, M
Actually, classical logic says that the following is true:
"P and not P implies Q"
But it does not follow from this that Q is true, unless you can prove that "P and not P" is true. And according to classical logic, the latter is not true.
In other words, the implication is a true statement, but that does not mean that the conclusion is a true statement. So we cannot conclude that unicorns exist.
"P and not P implies Q"
But it does not follow from this that Q is true, unless you can prove that "P and not P" is true. And according to classical logic, the latter is not true.
In other words, the implication is a true statement, but that does not mean that the conclusion is a true statement. So we cannot conclude that unicorns exist.
