3 ms·
You are confusing "excluded middle" (¬p⋁p) with "non-contradiction" (¬(p∧¬p)). The former is not valid in e.g. constructive logic, whereas the latter is a basic
by theaeolist 8y ago
You are confusing "excluded middle" (¬p⋁p) with "non-contradiction" (¬(p∧¬p)). The former is not valid in e.g. constructive logic, whereas the latter is a basic statement of consistency.
- pulisse 8y agoMy edit to correct that raced with your comment, but thanks. In any case, my point about quantum logic stands.
- theaeolist 8y agoOr as Lewis Caroll puts it, through Tweedledee: "if it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic."