Jump to content

User:Oniw17/Books/logic

From Wikipedia, the free encyclopedia


Logic
Mathematics
Philosophy
Computer science
Inductive reasoning
Deductive reasoning
Analytic-synthetic distinction
Argumentation theory
Definitions of logic
Formal language
Inference
Argument form
Informal logic
Fallacies
Mathematical formalism
Propositional logic
Predicate logic
Mathematical logic
Model theory
Proof theory
Set theory
Recursion theory
Prior Analytics
Problem of multiple generality
Universal quantification
Logical connective
Entailment
Cogency
Semantics
Logical system
Consistency proof
Validity
Completeness
Soundness
Argumentation
Stanford Encyclopedia of Philosophy
Rationality
Immanuel Kant
Gottlob Frege
Aristotle
Judgment
History of logic
Aristotelian logic
Hypothetical syllogism
Temporal logic
Modal logic
Logic in China
Gongsun Long
Logic in Islamic philosophy
Nyaya
Charles Babbage
Augustus De Morgan
George Boole
Syllogism
Foundations of mathematics
The Laws of Thought
Alfred North Whitehead
Bertrand Russell
Principia Mathematica
Gödel
Wittgenstein
Philosophy of mathematics
Digital electronics
Organon
Term logic
Predicate calculus
Artificial intelligence
Legal
Propositional calculus
First-order logic
Second-order logic
Many-sorted logic
Infinitary logic
Quantifiers
Analytical philosophy
Principles of Mathematical Logic
David Hilbert
Wilhelm Ackermann
Alfred Tarski
Willard Van Orman Quine
George Boolos
Stewart Shapiro
Linguistic modality
Alethic modality
Necessity
Logical possibility
De Morgan duality
Clarence Irving Lewis
Deontic logic
Epistemic logic
Arthur Prior
Saul Kripke
Kripke semantics
Graph theory
Computational linguistics
Dynamic logic (modal logic)
Rhetoric
Dialectic
Critical thinking
Geometry
Euclid
Plato
Logicism
Tautology (logic)
Russell's paradox
Hilbert's program
Gödel's incompleteness theorem
Gödel's completeness theorem
Proof calculus
Georg Cantor
Continuum hypothesis
Large cardinal
Arithmetic
Entscheidungsproblem
Alan Turing
Church-Turing thesis
Complexity class
Turing degree
Philosophical logic