When you are trying to build a case for something, you really ought to avoid premises that don’t hold up. For example, in Universally Preferable Behavior: a Rational Proof of Secular Ethics, Stefan Molyneux states:
The laws of logic are derived from the behavior of matter and energy, at least at the perceptual level.
So reasoning about things that can be perceived must be derived from their objective behavior. OK, I’ll buy that for a dollar. But then …
Perceptual reality is consistent and objective – and it is from this consistency and objectivity that we derive the laws of logic… Thus … we must measure the validity of a statement relative to objective reality – both empirically, and logically. Logic as a discipline arises only as a result of the consistency of reality.
Wait, what? OK, here’s a logical statement:
If A implies B and B implies C, then A implies C.
(A ⇒ B ^ B ⇒ C) ⇒ (A ⇒ C)
This is a logical axiom (AKA true statement) whose existence has nothing whatsoever to do with perceptual reality. You can test assertions till the cows come home and never prove it. That’s why it’s an axiom. Every mathematical system has a root set of axioms that, if we are to work in that system, have to be taken on faith. For example, the identity axiom in mathematics (x = x, or every thing equals itself) is not provable; it’s just true.
Logic is objective, but it is not perceptually objective; it’s conceptually objective. Everyone implicitly understands the transitivity of implication (the first axiom above), because axioms are self evident, though there certainly are axioms that are less intuitively obvious. For example:
But this means that the second part of the following definition of truth (from UPB) does not hold:
Truth is a measure of the correlation between the ideas in our minds and the consistency of rationality, which is directly derived from the consistent behaviour of matter and energy in the real world. (Rational consistency, or internal logic.)
It is a leap to say that consistent behavior in the real world directly implies consistent behavior in internal logic.