following 153 pages are in this category, out of 153 total.

This list may not reflect recent changes (learn more).

• Template:Logic-stub
A
• Accident (fallacy)
• Affine logic
• Affirmative conclusion from a negative premise
• Analytic reasoning
• Animistic fallacy
• Antecedent (logic)
• Antepredicament
• Appeal to ridicule
• Appeal to the stone
• Argumentum ad baculum
• Assertoric
• Association for Symbolic Logic
B
• Bar induction
• Baralipton
• Barcan formula
• Binary decision
• Buridan formula
C

1
 • Calculus of structures
• Card paradox
• Cirquent calculus
• Class (philosophy)
• Classical modal logic
• Cointerpretability
• Completeness (knowledge bases)
• Comprehension (logic)
• Conditioned disjunction
• Consequent
• Conservativity theorem
• Consistency (knowledge bases)
• Converse accident
• Converse implication
• Counterargument
• Counterinduction
• Counting quantification
D
• Deep inference
• Defeasible logic
• Degree of truth
• Descriptive fallacy
• Divine fallacy
• Don't-care term
• Double counting (fallacy)
• Double turnstile
• Downwards zigzag arrow

2
E
• Effective method
• Empty domain
• End term
• Enumerative definition
• Existential fallacy
• Existential generalization
• Existential instantiation
• Explanatory power
• Extension (predicate logic)
F
• Fallacies of illicit transference
• Fallacy of division
• Fallacy of exclusive premises
• Falsism
• First-order predicate
• Fluent calculus
• Fragment (logic)
• Frege's theorem
G
• The Game of Logic
• Guarded logic
H
• Herbrand interpretation

3
 • Hybrid logic
I
• Idempotency of entailment
• Illicit major
• Illicit minor
• Inclusion (logic)
• Informal fallacy
• Instantiation principle
• Interpretability
• Interval temporal logic
• Inverse (logic)
• Inverse resolution
• Invincible ignorance fallacy
• Issue tree
L
• Lambert of Auxerre
• Lemma (logic)
• Limitation of size
• Lindenbaum's lemma
• Literal (mathematical logic)
• Logic Spectacles
• Logical constant
• Logical cube
• Logical pluralism
• LowerUnivalents
M
4
 • Main contention
• Material nonimplication
• MaxEnt school
• Middle term
• Models And Counter-Examples
• Monadic Boolean algebra
• Monadic second-order logic
• Monotonicity of entailment
• Multimodal logic
• Multiple-conclusion logic
N
• Neighborhood semantics
• Non-wellfounded mereology
• Nonfirstorderizability
• Normal form (natural deduction)
• Normal modal logic
O
• Objection (argument)
P
• Pars destruens/pars construens
• Valentino Annibale Pastore
• Per fas et nefas
• Philosophical logic
• PhoX
• Plato's beard

5
 • Polysyllogism
• Post disputation argument
• Principle of nonvacuous contrast
• Principles of Mathematical Logic
• Probabilistic proposition
• Problem of multiple generality
• Proof net
• Proof-theoretic semantics
• Propositional variable
• Prototype Verification System
• Provability logic
• Proving a point
• Proving too much
R
• Regular modal logic
• Relative term
• Robinson's joint consistency theorem
• Rule of replacement
• Rules of passage (logic)
S
• Sacrifice of the intellect
• Second-order predicate
• Second-order propositional logic
• Self-reference puzzle
• Self-verifying theories
• Sentence (mathematical logic)

6
 • Slothful induction
• Specialization (logic)
• Strict logic
• Syllogistic fallacy
T
• T-schema
• Tacit assumption
• Takeuti's conjecture
• Tee (symbol)
• Transparent Intensional Logic
• Triangle of opposition
• Trivial objections
• Truth predicate
• Two-variable logic
U
• Unique name assumption
• Unsatisfiable core
V
• Vagrant predicate
• Vampire (theorem prover)
• Van Gogh fallacy
• Virtuality fallacy
• Vivid knowledge