- A Greek-English Lexicon
- ACM Computing Classification System
- Alan Turing
- Alethic modality
- Alfred North Whitehead
- Alfred Tarski
- Ammonius Saccas
- An Essay Concerning Human Understanding
- Analytical philosophy
- Ancient Greek language
- Annals of Mathematics
- Antoine Arnauld
- Anviksiki
- Arend Heyting
- Argument
- Argument
- Argumentation
- Argumentation theory
- Aristotelian logic
- Aristotle
- Arithmetic
- Arithmetic and logic structures
- Arthur Prior
- Artificial intelligence
- Atomic propositions
- Augustus De Morgan
- Automated theorem proving
- Avicenna
- Axiom
- Axiom of Choice
- Barber paradox
- Barry Smith (ontologist)
- Begriffschrift
- Begriffsschrift
- Bertrand Russell
- Biconditional
- Boethius
- Boolean logic
- C.I. Lewis
- Cambridge University Press
- Cantor's theorem
- Charles Babbage
- Charles Sanders Peirce
- Christianity
- Church–Turing thesis
- Clarence Irving Lewis
- Claude Shannon
- Cognitive science
- Colin McGinn
- Communication
- Completeness (logic)
- Complexity class
- Computability theory
- Computational linguistics
- Computational logic
- Computer science
- Conceptions of logic
- Consequent
- Consistency proof
- Constructive logic
- Continuum hypothesis
- Critical thinking
- David Hilbert
- De Interpretatione
- Decision tree
- Default logic
- Defeasible reasoning
- Deontic logic
- Description logic
- Dialectic
- Dialectical logic
- Dialetheism
- Digital electronics
- Digital electronics
- Digital logic
- Digital object identifier
- Domain of discourse
- Dov Gabbay
- Dynamic logic (modal logic)
- Edward N. Zalta
- Elliott Mendelson
- Encyclopedia of Mathematics
- Encyclopædia Britannica
- Engineering
- Entscheidungsproblem
- Epistemic logic
- Erasmus Montanus
- Euclid
- Europe
- Expressive power (computer science)
- Fallacies
- Fallacies
- Fallacy
- First-order logic
- First-order predicate logic
- Formal logic
- Formal logical systems
- Formal methods
- Formal semantics of programming languages
- Formal system
- Formula
- Formulae-as-types correspondence
- Foundations of mathematics
- Free logic
- Fuzzy logic
- Game semantics
- Garrett Birkhoff
- General relativity
- Geometry
- Georg Cantor
- Georg Wilhelm Friedrich Hegel
- George Boole
- George Boolos
- Gerhard Gentzen
- Gongsun Long
- Gottfried Wilhelm Leibniz
- Gottlob Frege
- Graham Priest
- Graph theory
- Gricean maxim
- György Lukács
- Gödel
- Gödel's completeness theorem
- Gödel's incompleteness theorem
- Gödel's incompleteness theorems
- Han Feizi
- Harvard University Press
- Hegel
- Hegelian dialectic
- Henry Liddell
- High Middle Ages
- Hilary Putnam
- Hilbert's program
- Hoare logic
- Horn clause
- Human, All Too Human
- Hypothetical syllogism
- If and only if
- Incompleteness theorems
- Inconsistency
- Indian logic
- Indiana Philosophy Ontology Project
- Individual
- Inference rule
- Infinitary logic
- Information
- Integrated Authority File
- International Standard Book Number
- Internet Encyclopedia of Philosophy
- Interpretation function
- Intuitionism
- Intuitionistic logic
- Is Logic Empirical?
- JSTOR
- Jan Łukasiewicz
- John Locke
- John McCarthy (computer scientist)
- John von Neumann
- Jon Barwise
- Józef Maria Bocheński
- Jürgen Habermas
- Knowledge representation formalisms and methods
- Kripke semantics
- Kurt Gödel
- L.E.J. Brouwer
- Large cardinal
- Law
- Law of non-contradiction
- Law of the excluded middle
- Legal
- Lewis Carroll
- LibriVox
- Linguistic modality
- Linguistics
- List of logic journals
- List of logic journals
- List of logic symbols
- List of mathematics articles
- List of mathematics articles
- List of philosophy topics
- List of philosophy topics
- Logic (disambiguation)
- Logic Theorist
- Logic and dialectic
- Logic and rationality
- Logic gate
- Logic in China
- Logic programming
- Logic puzzle
- Logic puzzle
- Logical argument
- Logical conjunction
- Logical connectives
- Logical disjunction
- Logical reasoning
- Logical reasoning
- Logical system
- Logician
- Logician
- Logician (horse)
- Logicism
- Logos
- Logos
- Ludvig Holberg
- Many-sorted logic
- Marvin Minsky
- Marx
- Material conditional
- Material inference
- Mathematical model
- Mathematical notation
- Mathematics
- Mathematics
- Mechanics
- Metalogic
- Michael Dummett
- Michiel Hazewinkel
- Modal fallacy
- Modal logic
- Model theory
- Modus ponens
- Monotonicity of entailment
- Multi-valued logic
- Nathaniel Rochester (computer scientist)
- National Diet Library
- Natural language
- Navya-Nyaya
- Necessary and sufficient conditions
- Negation
- Nicholas Rescher
- Nicolai A. Vasiliev
- Nuel Belnap
- OCLC
- On Interpretation
- On Truth and Lies in a Nonmoral Sense
- Online Etymology Dictionary
- Organon
- Outline of logic
- Outline of mathematics
- Outline of mathematics
- P.D. Magnus
- Paraconsistent logic
- Paradoxes of material implication
- Perseus Project
- Petr Hájek
- PhilPapers
- Philo the Dialectician
- Philosophy of Mind
- Port Royal-Logic
- Posterior Analytics
- Potentiality
- Pragma-dialectics
- Predicables
- Predicate calculus
- Predicate logic
- Principia Mathematica
- Principle of bivalence
- Principle of distributivity
- Principle of explosion
- Principles of Mathematical Logic
- Prior Analytics
- Probability theory
- Problem of future contingents
- Problem of multiple generality
- Programming language
- Prolog
- Proof calculus
- Proof theory
- Proof-theoretic semantics
- Proposition
- Propositional calculus
- Propositional logic
- Psychologism
- Psychology
- Qin dynasty
- Quantification (logic)
- Quantifier (logic)
- Quantifiers (logic)
- Quantum logic
- Rationality
- Real number
- Realism versus anti-realism
- Reason
- Recursion theory
- Relational semantics
- Relevance logic
- Rhetoric
- Robert Brandom
- Robert Scott (philologist)
- Romanization of Ancient Greek
- Routledge
- Rule induction
- Russell's paradox
- Saul Kripke
- Scholastic logic
- Science education
- Second-order logic
- Semantic theory of truth
- Semantics of logic
- Senary
- Sextus Empiricus
- Soundness
- Square of opposition
- Stanford Encyclopedia of Philosophy
- Stephen Cole Kleene
- Stephen Toulmin
- Stewart Shapiro
- Stoic logic
- Stoics
- Strict implication
- Strong induction
- Structural proof theory
- Sum of Logic
- Supervaluationism
- Supposition Theory
- Susan Haack
- Syllogism
- Syllogisms
- Symbolic logic
- Syntax
- Tautology (logic)
- Temporal logic
- Tense logic
- Term logic
- Terminology
- Ternary logic
- Tetralemma
- The Gay Science
- The Laws of Thought
- Topics (Aristotle)
- Truth
- Truth value
- Turing degree
- Universal logic
- Universal quantification
- Universal quantifier
- Vector logic
- Vector logic
- W. V. Quine
- Walter Burley
- Wilfred Hodges
- Wilfred Sellars
- Wilhelm Ackermann
- Willard Van Orman Quine
- William Kneale (logician)
- William Wallace (Scottish philosopher)
- William of Ockham
- Wittgenstein