Unless you’re dealing with Intuitionistic logic:
Semantically, intuitionistic logic is a restriction of classical logic in which the law of excluded middle and double negation elimination are not admitted as axioms.
In intuitionistic logic, it is still the case that nothing can be both true and false.
Sorry, misread your comment and thought you referred to the law of excluded middle. The problem with reading while I should be sleeping.
Unless you’re dealing with Intuitionistic logic:
In intuitionistic logic, it is still the case that nothing can be both true and false.
Sorry, misread your comment and thought you referred to the law of excluded middle. The problem with reading while I should be sleeping.