Rhythm Wrote:Equivocation. Propositional logic and boolean algebra in translation are not the same thing. I mean, unless you can build a machine or a code that can take propositions in natural language and produce truth.
Of course, my example was meant to be a metaphor for differing logical constructs.
Quote:Sure, you can call them whatever you like, so long as you cease pretending that they're the same thing.
They're the same thing, in as far as logical paradigms go. Set of logical rules A, set of logical rules B.
"It is the mark of an educated mind to be able to entertain a thought without accepting it" ~ Aristotle