Philosophy of mathematics and its logic : introduction / Stewart Shapiro -- Apriority and application : philosophy of mathematics in the modern period / Lisa Shabel -- Later empiricism and logical positivism / John Skorupski -- Wittgenstein on philosophy of logic and mathematics / Juliet Floyd -- The logicism of Frege, Dedekind, and Russell / William Demopoulos, Peter Clark -- Logicism in the twenty-first century / Bob Hale, Crispin Wright -- Logicism reconsidered / Agustín Rayo -- Formalism / Michael Detlefsen -- Intuitionism and philosophy / Carl Posy -- Intuitionism in mathematics / C.C. McCarty -- Intuitionism reconsidered / Roy Cook -- Quine and the web of belief / Michael D. Resnik -- Three forms of naturalism / Penelope Maddy -- Naturalism reconsidered / Alan Weir -- Nominalism / Charles Chihara -- Nominalism reconsidered / Gideon Rosen, John P. Burgess -- Structuralism / Geoffrey Hellman -- Structuralism reconsidered / Fraser MacBride -- Predicativity / Solomon Feferman -- Mathematics - application and applicability / Mark Steiner -- Logical consequence, proof theory, and model theory
Logical consequence from a constructivist point of view / Dag Prawitz -- Relevance in reasoning / Neil Tennant -- No requirement of relevance / John P. Burgess -- Higher-order logic / Stewart Shapiro -- Higher-order logic reconsidered / Ignacio Jané