List of topics in logic 302178 207640861 2008-04-23T16:39:41Z 116.71.155.59 /* L */ {{portalpar|Logic}} This is a '''list of topics in [[logic]]'''. See also: [[List of mathematical logic topics]] ==Alphabetical list== ===A=== [[Abacus logic]] -- [[Abduction (logic)]] -- [[Abductive validation]] -- [[Affine logic]] -- [[Affirming the antecedent]] --[[Affirming the consequent]] -- [[Antecedent (logic)|Antecedent]] -- [[Antinomy]] -- [[Argument form]] -- [[Aristotelian logic]] -- [[Axiom]] -- [[Axiomatic system]] -- [[Axiomatization]] ===B=== [[Backward chaining]] -- [[Barcan formula]] -- [[Biconditional elimination]] -- [[Biconditional introduction]] -- [[Bivalence and related laws]] -- [[Boolean algebra (logic)]] -- [[Boolean algebra (structure)]] ===C=== [[Categorical logic]] -- [[Clocked logic]] --[[Cointerpretability]] --[[College logic]] -- [[Combinatorial logic]] -- [[Combinatory logic]] -- [[Computability logic]] -- [[Conditional]] -- [[Conditional proof]] -- [[Conjunction elimination]] --[[Conjunction introduction]] -- [[Conjunctive normal form]] -- [[Consequent]] -- [[Constructive dilemma]] -- [[Contradiction]] -- [[Contrapositive]] -- [[Control logic]] -- [[Converse (logic)]] -- [[Converse Barcan formula]] -- [[Cotolerance]] -- [[Counterfactual conditional]] -- [[Curry's paradox]] ===D=== [[De Morgan's laws]] -- [[Deduction theorem]] -- [[Deductive reasoning]] -- [[Degree of truth]] -- [[Denying the antecedent]] -- [[Deviant logic]] -- [[Disjunction elimination]] -- [[Disjunction introduction]] -- [[Disjunctive normal form]] -- [[Disjunctive syllogism]] -- [[Double negative]] -- [[Double negative elimination]] ===E=== [[Elimination rule]] -- [[End term]] -- [[Exclusive nor]] -- [[Exclusive or]] -- [[Existential fallacy]] -- [[Existential quantification]] ===F=== [[Fallacy of distribution]] -- [[Fallacy of the four terms]] -- [[First-order predicate]] - [[First-order predicate calculus]] - [[First-order resolution]] -- [[Fluidic logic]] -- [[Forward chaining]] -- [[Free variables and bound variables]] -- [[Fuzzy logic]] ===G=== [[Game semantics]] ===H=== [[Heyting algebra]] -- [[Higher-order predicate]] -- [[Horn clause]] -- [[Hypothetical syllogism]] ===I=== [[Iff]] -- [[Illicit major]] -- [[Illicit minor]] -- [[Implicant]] -- [[Inductive logic]] -- [[Inductive logic programming]] -- [[Inference procedure]] -- [[Inference rule]] -- [[Infinitary logic]] -- [[Informal logic]] -- [[Intensional statement]] --[[Interpretability]] -- [[Interpretability logic]] -- [[Introduction rule]] --[[Intuitionistic linear logic]] -- [[Intuitionistic logic]] -- [[Invalid proof]] -- [[Inverse (logic)]] ===J=== [[Johnston diagram]] ===K=== [[Karnaugh map]] ===L=== [[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]] -- [[Engineered language#Logical languages|Logical language]] -- [[Logical nand]] -- [[Logical nor]] -- [[Logical operator]] -- [[Logicism]] -- [[Logic programming]] --[[language]] ===M=== Major premise -- [[Major term]] -- [[Mathematical logic]] -- [[Mereology]] -- [[Metalogic]] -- [[Middle term]] -- [[Minor premise]] -- [[Modal logic]] -- [[Modus ponens]] -- [[Modus tollens]] -- [[Multi-valued logic]] ===N=== [[Naive set theory]] -- [[Natural deduction]] -- [[Necessary and sufficient]] -- [[Negation]] -- [[Non-Aristotelian logic]] -- [[Nonfirstorderizability]] -- [[Non-monotonic logic]] -- [[Non sequitur (logic)]] ===O=== [[Open sentence]] -- [[Ordered logic]] ===P=== [[Paraconsistent logics]] -- [[Paradox]] -- [[Pierce's law]] -- [[Plural quantification]] --[[Polish notation]] -- [[Polysyllogism]] --[[Predicate (logic)|Predicate]] -- [[Principia Mathematica]] -- [[Principle of bivalence]] -- [[Proof theory]] -- [[Proposition]] -- [[Propositional calculus]] -- [[Provability logic]] ===Q=== [[Quantification]] -- [[Quantum logic]] -- [[Q.E.D.|Quod erat demonstrandum]] ===R=== [[Reductio ad absurdum]] -- [[Relevant logic]] -- [[Rule of inference]] ===S=== [[Satisfiability]] -- [[Scholastic logic]] -- [[Second-order predicate]] -- [[Self-reference]] -- [[Sequent]] -- [[Sequent calculus]] -- [[Sequential logic]] -- [[Singular term]] -- [[Soundness]] -- [[Square of opposition]] -- [[Strict conditional]] -- [[Strict implication]] -- [[Strict logic]] -- [[Structural rule]] -- [[Sufficient condition]] -- [[Syllogism]] -- [[Syllogistic fallacy]] ===T=== [[Tautology (logic)|Tautology]] -- [[Temporal logic]] -- [[First-order logic#Formation_rules|Term]] -- [[Term logic]] -- [[Ternary logic]] -- [[Theorem]] -- [[Tolerance (in logic)|Tolerance]] -- [[Trilemma]] --[[Truth]] -- [[Truth condition]] -- [[Truth function]] -- [[Truth value]] -- [[Type theory]] ===U=== [[Unification]] -- [[Universal quantification]] -- [[Uniqueness quantification]] ===V=== [[Vacuous truth]] -- [[Validity]] -- [[Venn diagram]] ==Famous logicians== ''See also'': [[list of 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]] ==See also== *[[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]]. {{Logic}} [[Category:Mathematics-related lists|Logic]] [[Category:Logic| ]] [[Category:Philosophy-related lists]] [[Category:Topical indexes|Logic]]