List of basic topics in logic
From Wikipedia, the free encyclopedia
- For a more comprehensive list, see the List of logic topics.
Basic topics in logic include:
Logic Portal |
Contents |
[edit] Nature of logic
- Main article: Logic
[edit] Branches of logic
[edit] History of logic
- Main article: History of logic
[edit] Basic logic concepts
- Abduction
- Affirming the consequent
- Antecedent
- Argument form
- Aristotelian logic
- Axiom
- Axiomatic system
- Axiomatization
- Boolean algebra
- Boolean logic
- Categorical logic
- College logic
- Conditional
- Conditional proof
- Consequent
- Contradiction
- Deductive reasoning
- Degree of truth
- Denying the antecedent
- Double negative
- Double negative elimination
- Existential fallacy
- Fallacy
- Fallacies
- Fuzzy logic
- Game theory
- Game semantics
- Higher-order predicate
- Hypothetical syllogism
- Inductive logic
- Inductive reasoning
- Inference procedure
- Inference rule
- Infinitary logic
- Infinity
- Informal logic
- Interpretability
- Interpretability logic
- Introduction rule
- Invalid proof
- Inverse (logic)
- Law of excluded middle
- Law of non-contradiction
- Laws of logic
- Laws of Form
- Linear logic
- Logic
- Logic gate
- Logical argument
- Logical assertion
- Logical biconditional
- Logical conditional
- Logical conjunction
- Logical disjunction
- Logical equivalence
- Logical fallacy
- Logical language
- Logical nand
- Logical nor
- Logical operator
- Logicism
- Logic programming
- Major premise
- Major term
- Mathematical logic
- Metalogic
- Middle term
- Minor premise
- Necessary and sufficient
- Negation
- Non-Aristotelian logic
- Nonfirstorderizability
- Non sequitur
- Occam's Razor
- Ordered logic
- Paradox
- Pierce's law
- Plural quantification
- Polish notation
- Polysyllogism
- Predicate
- Principia Mathematica
- Proof theory
- Proposition
- Propositional calculus
- Propositional logic
- Provability logic
- Quantification
- Quantum logic
- Quod erat demonstrandum
- Reductio ad absurdum
- Relevant logic
- Rhetoric
- Rule of inference
- Satisfiability
- Self-reference
- Sequential logic
- Set theory
- Singular term
- Socratic dialog
- Socratic method
- Soundness
- Sufficient condition
- Syllogism
- Syllogistic fallacy
- Tautology
- Temporal logic
- Term
- Theorem
- Tolerance
- Truth
- Truth condition
- Truth function
- Truth value
- Type theory
- Unification
- Validity
- Venn diagram
[edit] Famous logicians
- George Boole
- Abraham Robinson
- Gerhard Gentzen
- Luitzen Egbertus Jan Brouwer
- Haskell Curry
- Gottlob Frege
- Alonzo Church
- Jacques Herbrand
- Dana Scott
- John Barkley Rosser
- Gerhard Gentzen
- Jean-Yves Girard
- David Hilbert
- Kurt Gödel
- William Lawvere
- William Stanley Jevons
- Stephen Cole Kleene
- Alfred Tarski
- Thoralf Skolem
- Saharon Shelah
- Jan Łukasiewicz
- Giuseppe Peano
- Charles Peirce
- W.V. Quine
- Frank P. Ramsey
- Bertrand Russell
- Alfred North Whitehead
[edit] Logic lists
- Main article: List of logic topics
- List of logicians
- List of rules of inference.
- There is a list of paradoxes on the paradox page.
- There is a list of fallacies on the logical fallacy page.
- Modern mathematical logic is at the list of mathematical logic topics page.
- For introductory set theory and other supporting material see the list of basic discrete mathematics topics.
[edit] See also
List resources |
---|
Basic topic lists • Topic lists • Reference tables • Countries • People • Timelines |