Concept
Outline of logic
Overview
overview of and topical guide to logic
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Socratic dialogue
- Belief
- Socratic questioning
- Exclusive or
- Formal language
- First-order logic
- Analysis
- Computable function
- Independence (mathematical logic)
- Walter Kaufmann (philosopher)
- Finite set
- Game theory
- Gödel's completeness theorem
- Buddhist logico-epistemology
- Effective method
- Argument
- Argumentation theory
- Tuple
- Deontic logic
- Skolem's paradox
- Philosophy
- Law of identity
- Informal logic
- Infinite set
Place in the tradition
Part of Outline of philosophy.
Narrower topics:
- Antecedent (logic)
- Argumentation theory
- Boolean domain
- Church–Turing thesis
- Computable function
- Domain of a function
- Effective method
- Element of a set
- Explanatory power
- Forcing (mathematics)
- Formal semantics (natural language)
- Gödel, Escher, Bach
- Identity (mathematics)
- Independence (mathematical logic)
- Lambda calculus
- Map (mathematics)
- Modus tollens
- Partition of a set
- Posterior Analytics
- Q.E.D.
- Rigour
- Sentence (mathematical logic)
- Socratic questioning
- Substitution (logic)