Example image of eyePlorer eyePlorer map for 'Deductive reasoning': Argument Reasoning Corresponding conditional (logic) Logic Logical consequence Premise Validity If and only if Soundness Inductive reasoning Aristotle Predicate logic Propositional calculus Term logic Isaac Newton Newton's law of universal gravitation Discovery of Neptune Mass Neptune Orbit Uranus Natural deduction Proof theory Correspondence theory of truth Philip Johnson-Laird Ruth M. J. Byrne Vincent F. Hendricks Affirming a disjunct Crime reconstruction Deduction board game Deductive database Domain of discourse English historical school of economics Forward thinking Logical reasoning Prior Analytics Probabilistic logic Richard Waldinger Sequent Speculative reason Transposition (logic) Twenty Questions A priori probability Analogy Analytic geometry Argument from consciousness Deductive-nomological model Derivatization Hilbert system Kitchen sink regression