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 Paradoxes

Sorites Paradox*

Liar Paradox

Russell's Paradox*

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

Russell's Paradox

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

Minimalism and Deflationism about Truth

Pragmatism about Truth

Tarskian Theories of Truth

Theories of Truth, Misc

Truth, Misc

Relativism about Truth

Truth Bearers

Truth and Justification

Truthmakers*

The Liar Paradox

Theories of Vagueness

Contextual Theories of Vagueness

Degree-Theoretic Theories of Vagueness

Epistemic Theories of Vagueness

Incoherentism about Vagueness

Nihilism about Vagueness

Many-Valued Logic

Supervaluationism

Theories of Vagueness, Misc

Vagueness, Misc

Higher-Order Vagueness

Vague Objects*

Vagueness in Ethics and the Law