User:Shapeyness/sandbox/philosophy of maths sources
Overview sources on the philosophy of mathematics:
History
[edit]Ancient
- Marcus & McEvoy, Part I - Pythagoras, Parmenides, Zeno, Plato, Aristotle
- Bostock ch.1 - Plato & Aristotle
- Cevik ch.3 - Plato & Aristotle
- Irvine ch.4 - Aristotle
- Shapiro, part II - Plato, 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 - 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
[edit]- 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.
[edit]- 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
[edit]- Oxford Handbook ch.19 - Predicativity
- Cevic ch.15 - Yablo paradox
- Benacerraf & Putnam - selected readings (primary sources)
Uncategorised
[edit]- Hacking, Bueno & Linnebo, Jacquette, see here for some more