`Parent Node(s):`

# LAW OF THE EXCLUDED MIDDLE

In logic, the proposition "every proposition is either true or false". This proposition is on a logical level higher (*see* theory of logical types, ordinality) than the propositions referred to. (Krippendorff)

URL= http://cleamc11.vub.ac.be/ASC/LAW_MIDDL.html