List of topics in logic

People like you are child sponsors

This is a list of topics in logic.

Table of contents

1 Alphabetical list

1.1 A
1.2 B
1.3 C
1.4 D
1.5 E
1.6 F
1.7 H
1.8 I
1.9 J
1.10 K
1.11 L
1.12 M
1.13 N
1.14 O
1.15 P
1.16 Q
1.17 R
1.18 S
1.19 T
1.20 U
1.21 V

2 Famous Logicians
3 Related topics

Alphabetical list

A

Abacus logic -- Abduction (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

C

Categorial logic -- College logic -- Combinatorial logic -- Combinatory logic -- Conditional -- Conditional proof -- Conjunction elimination --Conjunction introduction -- Conjunctive normal form -- Consequent --Contradiction -- Contrapositive -- Converse (logic) -- Counterfactual conditional -- Curry's paradox

D

De Morgan's laws -- Deduction theorem -- Deductive reasoning -- Degree of truth -- Denying the antecedent --Disjunction elimination -- Disjunction introduction -- Disjunctive normal form -- Disjunctive syllogism -- Double negative -- Double negative elimination

E

Exclusive disjunction -- Existential quantification

F

First-order predicate - First-order predicate calculus - First order resolution -- Fluidic logic -- Forward chaining -- Free variables and bound variables -- Fuzzy logic

H

Heyting algebra -- Higher-order predicate -- Horn clause

I

Iff -- Inductive logic -- Inductive logic programming -- Inference rule -- Intuitionistic logic -- Invalid proof -- Inverse (logic)

J

Johnston diagram

K

L

Law of excluded middle -- Law of non-contradiction -- Laws of logic -- Linear logic -- Logic -- Logic gate -- Logical assertion -- Logical biconditional -- Logical conditional --Logical conjunction -- Logical disjunction -- Logical equivalence -- Logical fallacy -- Logical nor -- Logical operator -- Logicism -- Logic programming

M

Metalogic -- Modal logic -- Modus ponens -- Modus tollens -- Multi-valued logic

N

Naive set theory -- Natural deduction -- Necessary and sufficient -- Negation -- Non-Aristotelian logic -- Non-monotonic logic

O

P

Paraconsistent logics -- Paradox -- Pierce's law -- [Plural quantification]] --Polish notation -- Polylogic -- Predicate -- Principia Mathematica -- Principle of bivalence -- Proof theory -- Proposition -- Propositional calculus

Q

Quantification -- Quod erat demonstrandum:(QED)

R

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

S

Satisfiability -- Scholastic logic -- Second-order predicate -- Self-reference -- Sequent -- Sequent calculus -- Sequential logic -- Sheffer stroke -- Singular term -- Soundness -- Square of opposition -- Sufficient condition -- Syllogism

T

Tautology -- Temporal logic -- Term -- Term logic -- Ternary logic -- Theorem -- Truth -- Truth condition -- Truth value -- Type theory

U

Unification -- Universal quantification -- Uniqueness quantification

V

Vacuous truth -- Validity -- Venn diagram

Famous Logicians

See also: list of logicians

Related topics

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.