Like in my comment to Richard_Kennaway about probability, I am not just talking about beliefs, but about what is. Do we take it as an axiom or a theorem that A or ~A?
Are you aware that there are different logics with different axioms? PMC amd LEM are both axioms in Aristotelean logic: LEM does not apply in fuzzy logic; and PNC does not apply in paraconsistent logic.
False” is thus not quite the same thing as negation,
No: negation is a function, false is a value. That’s clear in most programming languages.
False” is thus not quite the same thing as negation, and instead means something more like “nonsense gibberish”
Are you aware that there are different logics with different axioms? PMC amd LEM are both axioms in Aristotelean logic: LEM does not apply in fuzzy logic; and PNC does not apply in paraconsistent logic.
No: negation is a function, false is a value. That’s clear in most programming languages.
That doesn’t follow at all.