display all the ideas for this combination of texts
1 idea
8709 | The law of excluded middle is syntactic; it just says A or not-A, not whether they are true or false [Friend] |
Full Idea: The law of excluded middle is purely syntactic: it says for any well-formed formula A, either A or not-A. It is not a semantic law; it does not say that either A is true or A is false. The semantic version (true or false) is the law of bivalence. | |
From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 5.2) | |
A reaction: No wonder these two are confusing, sufficiently so for a lot of professional philosophers to blur the distinction. Presumably the 'or' is exclusive. So A-and-not-A is a contradiction; but how do you explain a contradiction without mentioning truth? |