LOGIC • axiom • axiom of choice • axiomatic method • bilateral diagram • Boolean • Boolean algebra • conjecture • contingency • counterfactual conditionals • excluded middle law • existence • formal system • fuzzy logic • Godel's incompleteness theorem • Grelling's paradox • impossibilities in mathematics • induction • lemma • logic • parallel postulate • prisoner's dilemma • proof • QED • quantifier • quine • reductio ad absurdum • Russell's paradox • self-referential sentence • strange loop • syllogism • tangle • tautology • theorem • truel • universe of discourse • Venn diagram • wff Related supercategory • MATHEMATICS Also on this site: Encyclopedia of Alternative Energy & Sustainable Living Encyclopedia of History Transport Concepts & Designs (partner site) |