Broken logic.

I finally got what is so wrong with these idiotic English examples of silly "logical" implications.

Unrelated expressions cannot constitute a valid logical implication.

Just like that. There must be a relation. Preferably causal.

And when we consider an implication as establishing of a necessary and sufficient condition, necessity should be related to causation.

2 + 2 = 4 does NOT imply 1 - 1 = 0.

These two propositions (both True) are unrelated.

And, of course, False implies nothing. This only valid in mathematical logic. So is inclusive OR.

Mathematical logic is special due to referential transparency of valid expressions and equational reasoning, as a consequence.

Truth tables, not causality or any natural laws controls mathematical logic. This is why False "implies" True and both truths are OR.

Reality has only causal implications and exclusive ORs.


No comments.