Example image of eyePlorer eyePlorer map for 'Logic': Art Reasoning Science Argument Critical thinking Informal logic Logical truth Inference Logical consequence Validity Formal language Aristotle Philosophy Computer science Linguistics Mathematics Trivium (education) Formal system Statement (logic) Causality Fallacy Paradox Time Argumentation theory Argument form Syllogism Natural language Plato Symbolic logic Predicate logic Propositional calculus Computability theory Mathematical logic Model theory Proof theory Set theory Logical form Jan Łukasiewicz Prior Analytics Ammonius Copula Logical connective Implication Universal quantification Problem of multiple generality Deductive reasoning Inductive reasoning Cogency Semantics Mathematical model