Example image of eyePlorer eyePlorer map for 'Contradiction': Classical logic Proposition Logical consequence Aristotle Principle of contradiction First-order logic If and only if Propositional calculus Principle of explosion Completeness Satisfiability and validity Belief Coherentism Epistemology System Dialetheism Graham Priest Friedrich Nietzsche Heraclitus Moore's paradox Performative contradiction Self-refuting idea Dialectical materialism Hegelianism Karl Marx Thesis, antithesis, synthesis Capitalism Means of production Proletariat Socialism On Contradiction (Mao Zedong) Colloquialism Presupposition Mathematical proof Mathematics Proof by contradiction Argument from free will Ideal Final Result Invalid proof Level of Invention Logical possibility Oxymoron Paraconsistent logic Paradox Plantinga's free will defense Propositional function Ω-consistent theory Central Laborers' Pension Fund v. Heinz Form-versus-content humour Incompatible-properties argument