Category:Concepts in logic

A

• ► Concepts in ancient Greek logic‎ (2 P)

C

• ► Connotation‎ (2 C, 10 P)

D

• ► Dilemmas‎ (1 C, 51 P)

I

• ► Identity‎ (14 C, 69 P)
• ► Infinity‎ (7 C, 53 P)
• ► Interpretation (philosophy)‎ (11 C, 19 P)

L

• ► Latin logical phrases‎ (1 C, 45 P)
• ► Logic symbols‎ (2 C, 50 P)
• ► Logical consequence‎ (6 C, 21 P)
• ► Logical truth‎ (3 C, 13 P)

N

• ► Necessity‎ (3 C, 11 P)

P

• ► Paradoxes‎ (9 C, 68 P)

R

• ► Razors (philosophy)‎ (16 P)

S

• ► Semantics‎ (24 C, 232 P)
• ► Supertasks‎ (6 P)

T

• ► Theorems‎ (6 C, 26 P)
• ► Truth‎ (7 C, 43 P)

• Law of thought

A

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

C

• Cambridge change
• Canonical form
• Class (philosophy)
• Common knowledge (logic)
• Comprehension (logic)
• Connotation

D

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

E

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

F

• Fa (concept)
• Fact
• First-order predicate

H

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

I

• Identity (philosophy)
• Identity of indiscernibles
• Impredicativity
• Inference
• Infinity
• Instantiation principle
• Irrationality
• Irreducibility

J

• Judgment (mathematical logic)

L

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

M

• Mutatis mutandis

N

• Name
• Necessity and sufficiency
• No-no paradox
• Non-rigid designator

O

• Overbelief

P

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

R

• Rationality
• Reason
• Reference
• Reflective equilibrium

S

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

T

• Term (argumentation)
• Theory of forms
• Trivialism
• Truth
• Truth value
• Truth-apt
• Truthmaker theory
• Type (model theory)

V

• Validity (logic)
• Verisimilitude
• Vicious circle principle
• Vyapti

W

• Wholistic reference