Thematic
Intuitionistic logic and antirealism
The law of excluded middle (LEM) says that every sentence of the form A∨¬A (‘A or not A’) is logically true. This law is accepted in classical logic, ...
The law of excluded middle (LEM) says that every sentence of the form A∨¬A (‘A or not A’) is logically true. This law is accepted in classical logic, ...