# Taxonomy for Logic and Philosophy of Mathematics

David Chalmers and David Bourget are setting up a new online resource for papers in philosophy, for which they’re designing a taxonomy of philosophical topics to be used for classifying papers in the database. David asks

For now, I’m calling for feedback from the philosophical community, either via e-mail or via comments on this blog. Especially valuable will be thoughts on categories that we’ve missed, on ways to structure categories that don’t yet have much structure, and on better ways of structuring things in tricky cases.

Please post responses at Dave’s blog. The logic and philosophy of math part of the taxonomy right now looks like this:

Logic and Philosophy of Logic
Logics
Classical Logic
Aristotelian Logic
Propositional Logic
Predicate Logic
Deontic Logic
Epistemic Logics
Doxastic and Epistemic Logic
Inductive Logic
Nonmonotonic Logic
Higher-Order Logics
Second-Order Logic
Higher-Order Logics, Misc
Modal and Intensional Logic
Intensional Modal Logic
Modal Logic
Provability Logics
Quantified Modal Logic
Semantics for Modal Logic
Nonclassical Logics
Fuzzy Logics
Infinitary Logics
Intuitionistic Logic
Many-Valued Logics
Paraconsistent Logics
Quantum Logic
Relevance Logics
Substructural Logics
Temporal Logic
Logics, Misc
Logical Pluralism
Logical Consequence and Entailment
Logical Expressions
Logical Constants
Logical Connectives
Quantifiers*
Variables
Logical Semantics and Logical Truth
Model Theory and Proof Theory
Philosophy of Logic, Misc
Dialetheism
Epistemology of Logic
Informal Logic
Logical Pluralism
Logic in Philosophy

Philosophy of Mathematics
Epistemology of Mathematics
Apriority in Mathematics
Epistemology of Mathematics, Misc
Mathematics and the Causal Theory of Knowledge
Mathematical Intuition
Mathematical Proof
Godel's Theorem
Computer Proof
Probabilistic Proof
Undecidability
Mathematical Proof, Misc
Revisability in Mathematics
Mathematical Objects
Fictionalism
Indeterminacy
Nominalism
Platonism
Structuralism
Neo-Fregean Approaches
Indispensability Arguments
Numbers
The Nature of Sets*
Mathematical Truth
Analyticity in Mathematics
Axiomatic Truth
Objectivity Of Mathematics
Philosophy of Set Theory
The Nature of Sets
The Iterative Conception of Set
Ontology of Sets
Axioms of Set Theory
Axiomatic Truth*
The Axiom of Choice
The Axiom of Constructibility
The Axiom of Determinacy
The Axiom of Infinity
New Axioms
Independence Results
Cardinals and Ordinals
The Continuum Hypothesis
Large Cardinals
Set Theory as a Foundation
Set Theory and Logicism
Set-Theoretic Constructions
Areas of Mathematics
Algebra
Analysis
Category Theory
Geometry
Logic*
Number Theory
Topology
Theories of Mathematics
Logicism
Formalism
Intuitionism and Constructivism
Predicativism
Mathematical Naturalism
Philosophy of Mathematics, Misc
Explanation in Mathematics
The Infinite
The Application of Mathematics

Logic in the M&E part of the taxonomy:

Metaphysics and Epistemology
Philosophy of Language
Specific Expressions
Conditionals
Truth-Conditional Accounts of Indicative Conditionals
Epistemic Accounts of Indicative Conditionals
Pragmatic Accounts of Indicative Conditionals
Indicative Conditionals and Conditional Probabilities
Indicative Conditionals, Misc
Counterfactuals and Possible Worlds
Subjunctive Conditionals, Misc
Conditionals, Misc
Truth and Vagueness
Theories of Truth
Coherence Theory of Truth
Correspondence Theory of Truth
Tarskian Theories of Truth
Theories of Truth, Misc
Truth, Misc
Truth Bearers
Truth and Justification
Truthmakers*