Example image of eyePlorer eyePlorer map for 'Logical consequence': Therefore sign Logic Binary relation Entailment Proposition Sentence (linguistics) Set (mathematics) Philosophy of logic Causality Deductive reasoning Epistemology Hypothesis Inference Risk factor Model theory Proof theory Alfred Tarski Function (mathematics) Multiple-conclusion logic Premise Argument Logical form Interpretation (logic) Validity Formal proof Formal system Statement Logical possibility Possible world Universal quantification Theory of justification Intuitionism Michael Dummett Monotonic function Non-monotonic logic Argumentum ad baculum Logical biconditional Rational consequence relation Scientific citation Self-refuting idea Contradiction Deductive fallacy Distribution rule Empirical Principle of explosion Decidability (logic) Non-classical logic Synderesis Alan Ross Anderson Observation