A few points:
1. I haven't the foggiest why classical logic with its
principle of bivalence (PB: true/false, nothing else) and
the law of noncontradiction [LNC: [~(p & ~pl)] became the standard in Greek and then in Western philosophy.
Even to someone who's never been exposed to formal logic, contradictions feel very counterintuitive and are rejected outright (cognitive dissonance & double think are rather unpleasant states to be in). In other words, the LNC seems hardwired into our brains.
The PB, however, wasn't like that. Aristotle himself, if memory serves, was of the opinion that statements about the future were neither true nor false i.e. a third truth-value was in the process of being proposed viz.
unknown (trivalent logic).
Does the above matter to your
EnFormAction thesis? My hunch is it does and you're in the know about that. If one violates the LNC, a 3
rd truth value (the
excluded middle is this 3
rd value; vide
the law of the excluded middle, LEM) must exist. It gets complicated after this and I have very little experience with fuzzy logic or multivalent logic; I'll leave it at that before I begin spewing nonsense.
:snicker:
2. All these different kinds of logic that have been put forth gives me the impression that philosophy & logic, all thinking in fact is, well,
play/game. We can, it seems, tinker around with the rules, but not in any which we way we please; we have to ensure the system of logic we invent/develop doesn't reduce to a
triviality which has been defined as a schema in which all statements are true (Greek philosophers seem to consider the
sophists their nemesis, re
relativism).
That's how my brain makes sense of this issue.
Comments...