# Alexander Paseau

I read Mathematics (BA 1996) followed by a year of Philosophy (Part II) at Trinity College, Cambridge. After taking the BPhil in Philosophy at Oxford (1999), I returned to Cambridge for my PhD, supervised by Alex Oliver. I spent 2001 as a visiting graduate student at Princeton, working with Paul Benacerraf and David Lewis. Following a three-year Junior Research Fellowship at Jesus College, Cambridge, I was appointed to my present post at Oxford in 2005. I have held visiting appointments at the Sydney Centre for the Foundations of Science (2008), King’s College London (2014) and the Institut d'histoire et de philosophie des sciences et des techniques in Paris (2017). I held a Mind Association Research Fellowship in 2012, will take up a Leverhulme Trust Research Fellowship in 2020 and was an Associate Editor of *Mind *from 2015 to 2018.

**Full CV** (PDF)

Most publications are available here: Phil Papers

** Book**

One True Logic, with Owen Griffiths (Oxford University Press, 2022). |

** Edited collections**

2. Philosophy of Mathematics, 5 volumes (Routledge Major Works, 2017). |

1. Mathematical Knowledge, co-edited with M. Leng & M. Potter (Oxford University Press, 2007). |

** Journal articles (35) and book chapters (5) **

40. ‘Arithmetic, Enumerative Induction and Size Bias’, Synthese, forthcoming. |

39. ‘Is English Consequence Compact?’ (with Owen Griffiths), Thought, forthcoming. |

38. ‘Propositionalism’, The Journal of Philosophy, forthcoming. |

37. ‘Logos, Logic and Maximal Infinity’, Religious Studies, forthcoming. |

36. ‘Propositional Logics of Truth by Logical Form’ (with Owen Griffiths), in |

35. ‘Trumping Naturalism Revisited’, in J. Kennedy (ed.), On the Philosophy of Penelope Maddy: Set-theoretic Foundations and Naturalistic Methodology, Springer, forthcoming. ‘[Draft]’ |

34. ‘Non-metric propositional similarity’, Erkenntnis, forthcoming. |

33. ‘Capturing Consequence’, |

32. ‘A Measure of Inferential-Role Preservation’, Synthese 196 (2019), pp. 2621-42. |

31. ‘Philosophy of the Matrix’, Philosophia Mathematica 25 (2017), pp. 246-67. |

30. ‘Isomorphism Invariance and Overgeneration’ (with Owen Griffiths), |

29. ‘What’s the Point of Complete Rigour?’, Mind 125 (2016), pp. 177-207. |

28. ‘Fairness and Aggregation’ (with Ben Saunders), Utilitas 27 (2015), pp. 460-9. |

27. ‘Did Frege commit a cardinal sin?’, |

26. ‘Six Similarity Theories of Properties’, in G. Rodriguez-Pereyra & G. Guigon (eds), Nominalism about Properties (Routledge, 2015), pp. 95-120. |

25. ‘Knowledge of Mathematics without Proof’ (2014), The British Journal for the Philosophy of Science 66, pp. 775-99. |

24. ‘The Overgeneration Argument(s) : a Succinct Refutation’, |

23. ‘An Exact Measure of Paradox’, Analysis 73 (2013), pp. 17-26. |

22. ‘Against the Judgment-Dependence of Mathematics and Logic’, Erkenntnis 76 (2012), pp. 23-40. |

21. ‘Resemblance Theories of Properties’, |

20. ‘Proving Induction’, Australasian Journal of Logic 10 (2011), pp. 1-17. |

19. ‘Mathematical Instrumentalism, Gödel’s Theorem and Inductive Evidence’, Studies in the History and Philosophy of Science 42 (2011), pp. 140-9. |

18. ‘A Puzzle about Naturalism’, |

17. ‘Pure Second-Order Logic with Second-Order Identity’, Notre Dame Journal of Formal Logic 51 (2010), pp. 351-60. |

16. ‘Proofs of the Compactness Theorem’, History and Philosophy of Logic 31 (2010), pp. 73-98. [A corrigendum appeared in History and Philosophy of Logic 32 (2011), p. 407.] |

15. ‘The Definitions of Ultimate Ontological Basis and the Fundamental Layer’, |

14. ‘Reducing Arithmetic to Set Theory’, in Ø. Linnebo & O. Bueno (eds), New Waves in Philosophy of Mathematics (Palgrave Macmillan, 2009), pp. 35-55. |

13. ‘How to type: reply to Halbach’, Analysis 69 (2009), pp. 280-6. |

12. ‘Justifying Induction Mathematically: Strategies and Functions’, |

11. ‘Motivating Reductionism about Sets’, Australasian Journal of Philosophy 86 (2008), pp. 295- 307. |

10. ‘Fitch’s Argument and Typing Knowledge’, Notre Dame Journal of Formal Logic 49 (2008), pp. 153-76. |

9. ‘Scientific Platonism’, in M. Leng, A. Paseau & M. Potter (eds), |

8. ‘Boolos on the Justification of Set Theory’, Philosophia Mathematica 15 (2007), pp. 30-53. |

7. ‘Genuine Modal Realism and Completeness’, Mind 115 (2006), pp. 721-9. |

6. ‘The Subtraction Argument(s)’, |

5. ‘Naturalism in Mathematics and the Authority of Philosophy’, The British Journal for the Philosophy of Science 56 (2005), pp. 399-418. |

4. ‘On an Application of Categoricity’, Proceedings of the Aristotelian Society 105 (2005), pp. 411- 415. |

3. ‘The Open-Endedness of the Set Concept and the Semantics of Set Theory”, |

2. ‘Why the Subtraction Argument Does Not Add Up’, Analysis 62 (2002), pp. 74-6. |

1. ‘Should the Logic of Set Theory Be Intuitionistic?’, Proceedings of the Aristotelian Society 101 (2001), pp. 369-78. |

** Reviews and symposia**

12. |

11. Review of Naturalizing Logico-Mathematical Knowledge, S. Bangu (ed.), Notre Dame Philosophical Reviews (16 May 2018). |

10. Review of Truth, Objects, Infinity: New Perspectives on the Philosophy of Paul Benacerraf, F. Pataut (ed.), Notre Dame Philosophical Reviews (4 July 2017). |

9. Review of |

8. Review of Rigor and Structure by John Burgess, The British Journal for the Philosophy of Science, 67 (2016), pp. 1185-7. |

7. Review of Philosophical Devices by David Papineau, Philosophia Mathematica 22 (2014), pp. 121-3. |

6. Review of |

5. ‘Practitioners First’, Book Symposium on Mathematics and Reality by Mary Leng, Metascience 21 (2012), pp. 282-8. |

4. Review of Logical Pluralism by JC Beall and Greg Restall, Mind 116 (2007), pp. 391-6. |

3. ‘What the Foundationalist Filter Kept Out’, Essay Review of |

2. Review of The Search for Certainty by Marcus Giaquinto, Philosophical Books 46 (2005), pp. 382- 4. |

1. Review of Resemblance Nominalism by Gonzalo Rodriguez-Pereyra, European Journal of Philosophy 13 (2005), pp. 146-50. |

** Encylopedia entries**

3. (with Rob Leek) ‘The Compactness Theorem’, in J-Y. Beziau (ed.), |

2. ‘Naturalism in the Philosophy of Mathematics’, in E.Zalta (ed.) Stanford Encyclopedia of Philosophy (2008- present). |

1. ‘Naturalised Philosophy of Mathematics’, Routledge Encyclopedia of Philosophy (2008). |

** Articles and reviews for a general mathematical audience**

7. ‘Why are there no infinite left-sided decimal expansions?’, |

6. Review of Philosophy of Mathematics by Øystein Linnebo, The Mathematical Gazette 102 (2018), pp. 379-81. |

5. ‘Letter Games: A Metamathematical Taster’, The Mathematical Gazette 100 (2016), pp. 442-9. |

4. Review of |

3. Review of L.E.J. Brouwer: Topologist, Intuitionist, Philosopher by Dirk van Dalen, The Mathematical Gazette 98 (2014), pp. 552-4. |

2. ‘The stop after k girls or N children policy’, The Mathematical Gazette 98 (2014), pp. 402-13. |

1. ‘Family Planning’, The Mathematical Gazette 95 (2011), pp. 213-7. |

** Popular articles**

Various venues incl. Fuse (Magazine of the National Association for Gifted Children), Oxford Philosophy Faculty newsletter, Varsity (Cambridge University student newspaper). |

I am a mathematical philosopher. I have published on topics in philosophy of mathematics, philosophy of logic, mathematical logic, philosophical logic, formal epistemology and formal metaphysics. I co-edited the collection Mathematical Knowledge (Oxford University Press 2007) and edited the five-volume anthology Philosophy of Mathematics (Routledge 2017). Owen Griffiths and I recently completed *One True Logic, *a research monograph arguing that there is only one correct foundational logic and that its nature is highly infinitary. I am currently finishing up another monograph and graduate-level introduction to the philosophy of mathematics, entitled *What Is Mathematics About*? Both books are to be published by Oxford University Press.

Specific interests include:

- Indispensability arguments
- Rigour in mathematics
- Naturalism
- Inductive reasoning
- Philosophy of set theory
- Logical consequence
- Logical constants
- Formalisation
- The metaphysics of properties
- Modal logic and metaphysics
- The a priori
- Second-order logic

3:16 am interview:

Recent lecture or seminar courses at Oxford include: Philosophy of Mathematics; Elements of Deductive Logic (EDL); Logical Consequence; Logic and Philosophy of Logic; and Gödel’s Incompleteness Theorems. My EDL notes may be found here.

**Mathematics and Philosophy BA/MMatPhil at Oxford**

More information here. Students new to logic may enjoy reading this popular article (__English original__, __Italian translation__).

I was born in Greece and grew up there as well as in Spain and France before settling in England. My surname is French and pronounced ‘Pazo’. I’m a native speaker of English, and speak near-native French and Greek. I also speak Italian, some Spanish, and try to keep up my German, Latin and Ancient Greek reading. I enjoy urban walks, quizzes and playing chess with fellow patzers.