principle of excluded middle
logical principle stating that for every proposition, either it or its negation is true
Press Enter · cited answer in seconds
0 sources
principle of excluded middle
Summary
principle of excluded middle is an axiom[1]. It ranks in the top 5% of axiom entities by monthly Wikipedia readership (2,178 views/month).[2]
Key Facts
- principle of excluded middle's instance of is recorded as axiom[3].
- principle of excluded middle's instance of is recorded as principle[4].
- principle of excluded middle's described by source is recorded as Meyers Konversations-Lexikon, 4th edition (1885–1890)[5].
- principle of excluded middle's different from is recorded as principle of bivalence[6].
- principle of excluded middle's different from is recorded as law of noncontradiction[7].
- principle of excluded middle's admissible rule in is recorded as classical logic[8].
- principle of excluded middle's studied by is recorded as classical logic[9].
- principle of excluded middle's studied by is recorded as epistemology[10].
- principle of excluded middle's maintained by WikiProject is recorded as WikiProject Mathematics[11].
- principle of excluded middle's generalization of is recorded as limited principle of omniscience[12].
- principle of excluded middle's generalization of is recorded as double negative elimination[13].
Body
Definition and Type
Recorded instance of include axiom[3] and principle[4].
Why It Matters
principle of excluded middle ranks in the top 5% of axiom entities by monthly Wikipedia readership (2,178 views/month).[2] It has Wikipedia articles in 25 language editions, a strong signal of global cultural recognition.[14] It is known by 51 alternative names across languages and contexts.[15]