List of basic topics in logic
From Wikipedia, the free encyclopedia
- For a more comprehensive list, see the List of logic topics.
Logic, a branch of both philosophy and mathematics, is the study of criteria for the evaluation of arguments. The task of the logician is to advance an account of valid and fallacious inference, to allow one to distinguish logical from flawed arguments. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and through the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality.
The following outline is provided as an overview of and introduction to logic:
Contents |
[edit] Essence of logic
[edit] Branches of logic
[edit] Informal Logic
[edit] Formal Logic
- Reasoning by analogy - Generalization - Abduction - Statistical reasoning - Probability
[edit] Other branches
- Deontic logic - Description logic - Doxastic logic - Epistemic logic - Fuzzy logic - Game theory, or Decision theory - Intensional logic - Many-valued logic - Mathematical logic - Medieval logic - Modal logic - Paraconsistent logic - Probability theory - Temporal logic
[edit] History of logic
[edit] Basic logic concepts
- Abduction - Affirming the consequent - Antecedent - Argument form - Aristotelian logic - Axiom - Axiomatic system - Axiomatization - Boolean algebra (logic) - Boolean logic - Categorical logic - College logic - Conditional - Conditional proof - Consequent - Contradiction - Deductive reasoning - Degree of truth - Denying the antecedent - Double negative - Double negative elimination - Existential fallacy - Fallacy - Fuzzy logic - Game theory - Game semantics - Higher-order predicate - Hypothetical syllogism - Inductive logic - Inductive reasoning - Inference procedure - Inference rule - Infinitary logic - Infinity - Informal logic - Interpretability - Interpretability logic - Introduction rule - Invalid proof - Inverse (logic) - Law of excluded middle - Law of non-contradiction - Laws of logic - Laws of Form - Linear logic - Logic - Logic gate - Logical argument - Logical assertion - Logical biconditional - Logical conditional - Logical conjunction - Logical disjunction - Logical equivalence - Logical fallacy - Logical language - Logical nand - Logical nor - Logical operator - Logicism - Logic programming - Major premise - Major term - Mathematical logic - Metalogic - Middle term - Minor premise - Necessary and sufficient - Negation - Non-Aristotelian logic - Nonfirstorderizability - Non sequitur - Occam's Razor - Ordered logic - Paradox - Pierce's law - Plural quantification - Polish notation - Polysyllogism - Predicate - Principia Mathematica - Proof theory - Proposition - Propositional calculus - Propositional logic - Provability logic - Quantification - Quantum logic - Quod erat demonstrandum - Reductio ad absurdum - Relevant logic - Rhetoric - Rule of inference - Satisfiability - Self-reference - Sequential logic - Set theory - Singular term - Socratic dialog - Socratic method - Soundness - Sufficient condition - Syllogism - Syllogistic fallacy - Tautology - Temporal logic - Term - Theorem - Tolerance - Truth - Truth condition - Truth function - Truth value - Type theory - Unification - Validity - Venn diagram
[edit] Famous logicians
- George Boole - Abraham Robinson - Gerhard Gentzen - Luitzen Egbertus Jan Brouwer - Haskell Curry - Gottlob Frege - Alonzo Church - Jacques Herbrand - Dana Scott - John Barkley Rosser - Gerhard Gentzen - Jean-Yves Girard - David Hilbert - Kurt Gödel - William Lawvere - William Stanley Jevons - Stephen Cole Kleene - Alfred Tarski - Thoralf Skolem - Saharon Shelah - Jan Łukasiewicz - Giuseppe Peano - Charles Peirce - W.V. Quine - Frank P. Ramsey - Bertrand Russell - Alfred North Whitehead
[edit] Logic lists
- List of logicians
- List of rules of inference.
- There is a list of paradoxes on the paradox page.
- There is a list of fallacies on the logical fallacy page.
- Modern mathematical logic is at the list of mathematical logic topics page.
- For introductory set theory and other supporting material see the list of basic discrete mathematics topics.
[edit] See also
- Wikia has a wiki on this subject: LogicWiki
- An Introduction to Philosophical Logic, by Paul Newall, aimed at beginners
- forall x: an introduction to formal logic, by P.D. Magnus, covers sentential and quantified logic
- Translation Tips, by Peter Suber, for translating from English into logical notation
- Math & Logic: The history of formal mathematical, logical, linguistic and methodological ideas. In The Dictionary of the History of Ideas.
- [1] Test your logic skills
- Logic Self-Taught: A Workbook (originally prepared for on-line logic instruction)
- A Brief Introductory Guide to Formal Logic, by Dr. Hfuhruhurr
