3 ms·
I thought it was outdated since Epimenides. It requires the axiom of the excluded middle, which is about as false as axioms can possibly be, on account of havin
by a1369209993 5y ago
I thought it was outdated since Epimenides. It requires the axiom of the excluded middle, which is about as false as axioms can possibly be, on account of having concrete counterexamples. (eg "This proposition is false.")
- drdeca 5y agoIntuitionistic logic, which is what you get from not assuming lem, still reaches a contradiction if you permit that as a valid proposition. So, doing away with LEM isn’t sufficient. You could use a logic that explicitly has more values though.