- A priori and a posteriori
- Abstract object
- Alan Turing
- Albertus Magnus
- Alfred North Whitehead
- Alfred Tarski
- Ambiguity
- Ambiguous
- Ampliative
- Ancient history
- Angelika Kratzer
- Annals of Mathematics
- Anviksiki
- Arend Heyting
- Argument
- Aristotelian logic
- Aristotle
- Arithmetic
- Artificial intelligence
- Atomic propositions
- Augustus De Morgan
- Automated theorem proving
- Avicenna
- Axiom
- Axiom of Choice
- Barbara Partee
- Barry Smith (ontologist)
- Bayesian epistemology
- Begriffschrift
- Begriffsschrift
- Bertrand Russell
- Binding (linguistics)
- Bishop (chess)
- Boethius
- Boolean logic
- Cambridge University Press
- Cantor's theorem
- Categorical propositions
- Category theory
- Centre de Recherches Mathématiques
- Charles Babbage
- Chess
- Christian faith
- Church–Turing thesis
- Claude Shannon
- Completeness (logic)
- Complexity class
- Compositionality
- Computability theory
- Computational logic
- Computer science
- Concept
- Conjunction (logic)
- Conjunction introduction
- Consistency
- Constructive logic
- Constructivism (philosophy of mathematics)
- Context (language use)
- Continuum hypothesis
- Contraposition
- Conventionalism
- Copula (linguistics)
- Countable noun
- Critical thinking
- David Hilbert
- Decidability (logic)
- Deductive inference
- Defeasible reasoning
- Denotation
- Denying the antecedent
- Deontic logic
- Deviant logic
- Dialetheism
- Dialogue
- Digital electronics
- Dirk van Dalen
- Discourse
- Doi (identifier)
- Double negation elimination
- Douglas N. Walton
- Dov Gabbay
- Dynamic semantics
- Edward N. Zalta
- Elliott Mendelson
- Empirical
- Encyclopedia of Mathematics
- Encyclopædia Britannica
- English language
- Entailment
- Entscheidungsproblem
- Epistemic logic
- Erasmus Montanus
- European Mathematical Society
- Existential quantification
- Explanation
- Expression (mathematics)
- Expressive power (computer science)
- Fakhr al-Din al-Razi
- Fallacies
- Fallacy
- False Dilemma
- False dilemma
- First-order logic
- Formal epistemology
- Formal ethics
- Formal fallacy
- Formal language
- Formal languages
- Formal science
- Formal system
- Formulae-as-types correspondence
- Foundations of mathematics
- Fuzzy logic
- Fuzzy logics
- Garrett Birkhoff
- General relativity
- Georg Cantor
- Georg Wilhelm Friedrich Hegel
- George Boole
- Gerhard Gentzen
- Gongsun Long
- Gottlob Frege
- Graham Priest
- Gödel
- Gödel's incompleteness theorem
- Gödel–Dummett logic
- Han Feizi
- Harry R. Lewis
- Hdl (identifier)
- Herbert Enderton
- High Middle Ages
- Higher-order logic
- Hilary Putnam
- Hilbert's program
- Hypothetical syllogism
- ISBN (identifier)
- ISSN (identifier)
- Imperative logic
- Inference rule
- Informal fallacies
- Information
- Inquisitive semantics
- Interpretation (logic)
- Intuitionistic logic
- Inverse (logic)
- Irene Heim
- Is Logic Empirical?
- JSTOR (identifier)
- Jan Łukasiewicz
- John Barwise
- John Benjamins Publishing Company
- John Stuart Mill
- John von Neumann
- Józef Maria Bocheński
- King (chess)
- Kluwer Academic/Plenum Publishers
- Kurt Gödel
- L.E.J. Brouwer
- L.T.F. Gamut
- Lambda calculus
- Language
- Large cardinal
- Law of excluded middle
- Law of the excluded middle
- Laws of thought
- Lewis Carroll
- Linguistic modality
- Linguistics
- List of logic journals
- List of logic journals
- List of logic symbols
- Logic (disambiguation)
- Logic in China
- Logic in Islamic philosophy
- Logic programming
- Logic puzzle
- Logic puzzle
- Logical connective
- Logical connectives
- Logical constant
- Logical necessity
- Logical reasoning
- Logical reasoning
- Logician
- Logician
- Logicism
- Logos
- Logos
- Ludvig Holberg
- Map (mathematics)
- Maria Aloni
- Martin Davis (mathematician)
- Material conditional
- Mathematics
- Mechanics
- Medhātithi
- Method of reasoning
- Michael Dummett
- Mill's Methods
- Mind
- Modal logic
- Model theory
- Modus ponens
- Mohists
- Multi-valued logics
- Multiverse (set theory)
- Natural deduction
- Natural language
- Natural science
- Non-monotonic logic
- Nuel Belnap
- OCLC (identifier)
- Online Etymology Dictionary
- Ontological
- Organon
- Outline of logic
- P.D. Magnus
- PMID (identifier)
- Paraconsistent logic
- Peter Suber
- Petr Hájek
- Philosophy and Phenomenological Research
- Possible world
- Predicable
- Predicate (grammar)
- Predicate (mathematical logic)
- Prentice Hall
- Presupposition
- Principia Mathematica
- Principle of bivalence
- Principle of distributivity
- Principle of explosion
- Principles of Mathematical Logic
- Prior Analytics
- Problem of multiple generality
- Programming language
- Prolog
- Proof system
- Proof theory
- Property (philosophy)
- Proposition
- Propositional calculus
- Propositional logic
- Psychologism
- Psychology
- Qin dynasty
- Quantification (logic)
- Quantifier (logic)
- Quantum logic
- Rationality
- Real number
- Reasoning
- Recursion theory
- Relational semantics
- Relations (philosophy)
- Richard Montague
- Routledge
- Rule of inference
- Rules of inference
- Russell's paradox
- S2CID (identifier)
- Science
- Scientific method
- Scope (formal semantics)
- Sentence (linguistics)
- Sentence (mathematical logic)
- Sequent calculus
- Singular term
- Social science
- Soundness
- Soundness (logic)
- Speech act
- Square of opposition
- Stanford Encyclopedia of Philosophy
- Stanislaw Schayer
- Statistics
- Stephen Cole Kleene
- Stoic logic
- Strawman fallacy
- Subject (grammar)
- Subjective probability
- Sum of Logic
- Susan Haack
- Syllogism
- Tautology (logic)
- Temporal logic
- Term logic
- Terminology
- Ternary logic
- The Laws of Thought
- Theories of reference
- Theory of computation
- Transistor
- Transition system
- Truth function
- Truth table
- Truth value
- Truth-bearer
- Turing degree
- Vagueness
- Vector logic
- Vector logic
- W. V. Quine
- Well-formed formula
- Wilfrid Hodges
- Wilhelm Ackermann
- William Kneale
- William of Ockham