Category:Concepts in logic

D

• ► Dilemmas‎ (34 P)

I

• ► Interpretation (philosophy)‎ (9 C, 18 P)

L

• ► Latin logical phrases‎ (46 P)
• ► Logic symbols‎ (2 C, 53 P)

L cont.

• ► Logical consequence‎ (5 C, 21 P)
• ► Logical truth‎ (4 C, 14 P)

N

• ► Necessity‎ (2 C, 11 P)

P

• ► Paradoxes‎ (4 C, 122 P)

S

• ► Supertasks‎ (6 P)

T

• ► Theorems‎ (6 C, 11 P)
• ► Truth‎ (5 C, 29 P)

• Law of thought

A

• Absoluteness
• Analytic–synthetic distinction
• Antinomy
• Axiom
• Axiom of reducibility

C

• Canonical form
• Common knowledge (logic)
• Comprehension (logic)
• Connotation

D

• Decidability (logic)
• Deductive closure
• Definition
• Dilemma
• Disquotational principle
• Doxa

E

• Equisatisfiability
• Explanandum
• Explanation
• Extension (semantics)
• Extensionality

F

• Fact
• First-order predicate

H

• Hold come what may
• Hume's fork
• Hume's principle

I

• Identity (philosophy)
• Identity of indiscernibles
• Impredicativity

I cont.

• Inference
• Infinity
• Irrationality
• Irreducibility

J

• Judgment (mathematical logic)

L

• Leap of faith
• Lemma (logic)
• Logic Spectacles
• Logical consequence
• Logical constant
• Logical form
• Logical truth
• Logos

M

• Mutatis mutandis

N

• Name
• Necessity and sufficiency
• Non-rigid designator

O

• Overbelief

P

• Paradox
• Pars destruens/pars construens
• Polychotomous key
• Possible world
• Predicable
• Prescriptivity
• Presupposition
• Primitive notion
• Principle of sufficient reason
• Propositional function
• Propositional variable

R

• Reason
• Reference
• Reflective equilibrium
• Rule bank

S

• Salva congruitate
• Salva veritate
• Satisfiability
• Second-order predicate
• Semantics
• Set (mathematics)
• Singular term
• Situation
• Soundness
• Speculative reason
• Statement (logic)
• Strength (mathematical logic)
• Substitution (logic)
• Supertask
• Symbol (formal)
• Syntax (logic)

T

• Theorem
• Truth
• Truth claim
• Truth value
• Truthmaker
• Type (model theory)

V

• Validity
• Verisimilitude
• Vyapti