User:Shapeyness/sandbox/philosophy of maths sources

Overview sources on the philosophy of mathematics:

History
Ancient


 * Marcus & McEvoy, Part I - Pythagoras, Parmenides, Zeno, Plato, Aristotle
 * Bostock ch.1 - Plato & Aristotle
 * Cevik ch.3 - Plato & Aristotle
 * Irvine ch.4 - Aristotle

Modern


 * Marcus & McEvoy, Part II & ch.7 - rationalists, empiricists, Kant, Mill
 * Oxford Handbook ch.2-3 - Descartes, Newton, Leibniz, Kant, Mill
 * Shapiro, part II - Plato, Aristotle, Kant, Mill
 * Bostock ch.2-3 - Descartes, British empiricists, Kant, Mill
 * Linnebo 6.2 - Mill
 * Irvine ch.4-5 - Mill, Kant

Early analytic


 * Marcus & McEvoy, Part III - logicism, formalism, intuitionism, conventionalism, Wittgenstein
 * Oxford Handbook ch.3-11 - logical positivism, Wittgenstein, logicism, formalism, intuitionism
 * Shapiro, part III - logicism, formalism, intuitionism
 * Bostock ch.5-8 - logicism, formalism, intuitionism, predicativism
 * Linnebo ch.2-5 - logicism, formalism, deductivism, intuitionism
 * Horsten, section 2 - logicism, intuitionism, formalism, predicativism
 * Colyvan 1.1 - formalism, logicism, intuitionism
 * Cevik ch.4-6 - formalism, logicism, intuitionism
 * Irvine ch.6-8 - logicism, formalism, constructivism
 * George & Velleman ch.2, 4, 5 - logicism, intuitionism

Platonism & nominalism


 * Oxford Handbook ch.12-18 - Quine/naturalism, nominalism, structuralism
 * Bostock ch.9 - Godel, neo-Fregeans, Quine/Putnam, nominalism
 * Shapiro, part IV - Godel, Quine, fictionalism, modal structuralism, structuralism
 * Linnebo ch.6-8, 11 - Quine, nominalism, mathematical intuition, structuralism
 * Marcus & McEvoy, Part IV - contemporary phil.
 * Horsten, sections 3+4 - platonism, nominalism, structuralism
 * Colyvan 1.2, 3-4 - platonism & nominalism
 * Cevic ch.13, 14, 18 - Godel, Quine, Maddy, structuralism, nominalism
 * Irvine ch.1-4, 9 - realism vs antirealism, aristotelian realism, Quine, Putnam, Field, fictionalism

Mathematical practice

 * Colyvan ch.5-8 - mathematical explanation, unreasonable effectiveness, applied mathematics, inconsistent mathematics, mathematical notation
 * Oxford Handbook ch.20 - mathematical application
 * Irvine ch.14-15 - inconsistent mathematics, mathematical application

Foundations of math.

 * Bostock ch.4
 * Linnebo ch.4 - Hilbert's program
 * Linnebo ch.9-12 - abstraction, concept/definition of sets, incompleteness, axioms
 * Marcus & McEvoy ch.8 - Cantor
 * Marcus & McEvoy ch.14 - incompleteness
 * Horsten, section 5
 * Colyvan ch.2 - incompleteness/limits of mathematics
 * Oxford Handbook ch.21-26 - logical consequence, relevance logic, higher-order logic
 * Cevic ch.7-12, 17 - incompleteness, computability, infinity, axioms
 * George & Velleman ch.3, 6, 7 - set theory, finitism, incompleteness
 * Irvine ch.10-13 - set theory, probability, computability

Misc

 * Oxford Handbook ch.19 - Predicativity
 * Cevic ch.15 - Yablo paradox
 * Benacerraf & Putnam - selected readings (primary sources)

Uncategorised

 * Hacking, Bueno & Linnebo, Jacquette