Outline of Logic - Concepts of Logic

Concepts of Logic

Mathematical logic –

Proof theory –
Set theory –
Formal system –
- Predicate logic –
  - Predicate –
  - Higher-order logic –
- Propositional calculus –
  - Proposition –
Boolean algebra –
- Boolean logic –
- Truth value –
- Venn diagram –
- Pierce's law –
Aristotelian logic –
Non-Aristotelian logic –
Informal logic –
Fuzzy logic –
Infinitary logic –
- Infinity –
Categorical logic –
College logic –
Linear logic –
Metalogic –
Ordered logic –
Temporal logic –
Sequential logic –
Provability logic –
- Interpretability logic –
  - Interpretability –
Quantum logic –
Relevant logic –
Consequent –
Affirming the consequent –
Antecedent –
Denying the antecedent –
Theorem –
Axiom –
Axiomatic system –
Axiomatization –
Conditional proof –
Invalid proof –
Degree of truth –
Truth –
Truth condition –
Truth function –
Double negative –
- Double negative elimination –
Fallacy –
- Existential fallacy –
- Logical fallacy –
- Syllogistic fallacy –
Type theory –
Game theory –
Game semantics –
Rule of inference –
Inference procedure –
Inference rule –
Introduction rule –
Law of excluded middle –
Law of non-contradiction –