# List of topics in logic

﻿
List of topics in 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 -- 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 -- 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 -- Principia Mathematica -- Principle of bivalence -- Proof theory -- Proposition -- Propositional calculus -- Provability logic

Q

Quantification -- Quantum logic -- Quod erat demonstrandum

R

Reductio ad absurdum -- Relevant logic -- Rule of inference

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 -- Temporal logic -- Term -- Term logic -- Ternary logic -- Theorem -- 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

*George Boole
*Abraham Robinson
*Gerhard Gentzen
*Luitzen Egbertus Jan Brouwer
*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

ee also

*List of rules of inference.
*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.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• List of basic topics in logic — 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… …   Wikipedia

• List of topics in epistemology — * A Defence of Common Sense * A priori and a posteriori (philosophy) * Adaptive representation * Aenesidemus * Aenesidemus (book) * Agrippa the Sceptic * Alison Wylie * Alvin Goldman * Analytic synthetic distinction * Androcentrism * Android… …   Wikipedia

• List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

• List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

• List of basic discrete mathematics topics — Discrete mathematics, also called finite mathematics, is the study of mathematical structures that are fundamentally , in the sense of not supporting or requiring the notion of continuity. Most, if not all, of the objects studied in finite… …   Wikipedia

• List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… …   Wikipedia

• List of fallacies — For specific popular misconceptions, see List of common misconceptions. A fallacy is incorrect argumentation in logic and rhetoric resulting in a lack of validity, or more generally, a lack of soundness. Contents 1 Formal fallacies 1.1… …   Wikipedia

• Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

• List of psychology topics — This page aims to list all topics related to psychology. This is so that those interested in the subject can monitor changes to the pages by clicking on Related changes in the sidebar. It is also to see the gaps in Wikipedia s coverage of the… …   Wikipedia

• List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras …   Wikipedia