DOCSLIB.ORG

Alexander Christopher Paseau

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Alexander Christopher Paseau ALEXANDER CHRISTOPHER PASEAU Address: Wadham College, Oxford OX1 3PN E-mail: [email protected] or [email protected] Webpage: www.acpaseau.com AREAS OF SPECIALISATION Logic, Philosophy of Mathematics, Formal Philosophy (esp. Formal Metaphysics & Epistemology), Philosophy of Religion AREAS OF TEACHING COMPETENCE General Metaphysics & Epistemology, Philosophy of Science, Philosophy of Language, Decision Theory, Philosophy of Economics EMPLOYMENT University of Oxford Acting Waynflete Professor of Metaphysical Philosophy (during Prof. Magidor’s leave) 2016–18 Associate Professor of Philosophy (formerly CUF Lecturer) 2005–present Stuart Hampshire Fellow and Tutor in Philosophy, Wadham College 2005–present University of Cambridge Research Fellow, Jesus College 2002–05 Director of Studies in Philosophy, Queens’ & Jesus Colleges 2002–04 & Autumn 2003 VISITING POSITIONS Institute for the History and Philosophy of Science and Technology, Paris, Visiting Researcher Spring 2017 King’s College London, Visiting Senior Research Fellow Autumn 2014 Centre for the Foundations of Science, University of Sydney, Visiting Fellow Winter 2008 RESEARCH GRANTS Leverhulme Trust Research Fellowship (15 months) 2020–21 REF Strategic Support Fund, University of Oxford 2018 Mind Association Research Fellowship (6 months) 2012 British Academy & AHRB Postgraduate Studentships, Competitions A & B 1997–2001 Rouse Ball Travelling Studentship, Trinity College, University of Cambridge 2001 AHRB Overseas Visit Award 2001 Internal Graduate Studentship, Trinity College, University of Cambridge 1999 HIGHER EDUCATION MSc Economics, Birkbeck, University of London (Distinction) 2010–12 PhD Philosophy, Trinity College, University of Cambridge 1999–2003 Visiting Graduate Student, Philosophy Department, Princeton University 2001 BPhil Philosophy, Merton College, University of Oxford (First-class marks in all components) 1997–99 Part II Philosophy, Trinity College, University of Cambridge (First; overall mark 1+) 1996–97 BA Mathematics Parts IA, IB, II(b), Trinity College, University of Cambridge (First; First; Wrangler) 1993–96 PUBLICATIONS (see www.acpaseau.com for links) BOOKS One True Logic (with Owen Griffiths), Publication date: early 2022, Oxford University Press. (77,000 words) What Is Mathematics About?, under contract with OUP, 2021 ms. submission. (225,000 words) 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. Arabic translation forthcoming in 2021/2. JOURNAL ARTICLES (33, 2 co-authored) & BOOK CHAPTERS (5, 1 co-authored) 38. ‘Trumping Naturalism Revisited’, in J. Kennedy (ed.), On the Philosophy of Penelope Maddy: Set-theoretic Foundations and Naturalistic Methodology, Springer, forthcoming. 37. ‘Propositional Logics of Truth by Logical Form’ (with Owen Griffiths), in The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning, G. Sagi & J. Woods (eds), Cambridge University Press, forthcoming. 36. ‘Propositionalism’, The Journal of Philosophy, forthcoming. 35. ‘Logos, Logic and Maximal Infinity’, Religious Studies, forthcoming. 34. ‘Non-metric Propositional Similarity’, Erkenntnis (2020), vol. & pp. tbc 33. ‘Capturing Consequence’, Review of Symbolic Logic 12 (2019), pp. 271–95. 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), Bulletin of Symbolic Logic 22 (2016), pp. 482–503. 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?’, Analysis 75 (2015), pp. 379–86. 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’ (2015), The British Journal for the Philosophy of Science 66, pp. 775–99. 24. ‘The Overgeneration Argument(s): a Succinct Refutation’, Analysis 74 (2014), pp. 40–7. 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’, Philosophical Studies 157 (2012), pp. 361–382. 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’, Metaphilosophy 41 (2010), pp. 642–8. 17. ‘Pure Second-Order Logic with Second-Order Identity’, Notre Dame Journal of Formal Logic 51 (2010), pp. 351–360. 16. ‘Proofs of the Compactness Theorem’, History and Philosophy of Logic 31 (2010), pp. 73-98. [Corrigendum in History and Philosophy of Logic 32 (2011), p. 407.] 15. ‘The Definitions of Ultimate Ontological Basis and the Fundamental Layer’, Philosophical Quarterly 60 (2010), pp. 169–175. 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–286. 12. ‘Justifying Induction Mathematically: Strategies and Functions’, Logique et Analyse 203 (2008), pp. 263–9. 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–176. 9. ‘Scientific Platonism’, in M. Leng, A. Paseau & M. Potter (eds), Mathematical Knowledge (Oxford University Press, 2007), pp. 123–149. 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)’, Dialectica 60 (2006), pp. 145–156. 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’, Synthese 135 (2003), pp. 379–399. 2. ‘Why the Subtraction Argument Does Not Add Up’, Analysis 62 (2002), pp. 74–76. 1. ‘Should the Logic of Set Theory Be Intuitionistic?’, Proceedings of the Aristotelian Society 101 (2001), pp. 369–378. REVIEWS & SYMPOSIA 12. Review (with Michael Bevan) of Mathematics and Morality by Justin Clarke-Doane, Philosophia Mathematica 28 (2020), pp. 442–6. 11. Review of Naturalizing Logico-Mathematical Knowledge, S. Bangu (ed.), Notre Dame Philosophical Reviews (web-published 16 May 2018). 10. Review of Truth, Objects, Infinity: New Perspectives on the Philosophy of Paul Benacerraf, F. Pataut (ed.), Notre Dame Philosophical Reviews (web-published 4 July 2017). 9. Review of The Laws of Belief by Wolfgang Spohn, Mind 126 (2017), pp. 273–8. 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 Platonism, Naturalism and Mathematical Knowledge by James Robert Brown, Philosophia Mathematica 20 (2012), pp. 359–64. 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 Towards a Philosophy of Real Mathematics by David Corfield, Studies in History and Philosophy of Science 36 (2005), pp. 191–201. 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–150. ENCYCLOPEDIA ENTRIES 3. ‘The Compactness Theorem’ (with Robert Leek), in J-Y. Beziau (ed.), Encyclopedia of Logic/Internet Encyclopedia of Philosophy, forthcoming. [34 pages] 2. ‘Naturalism in the Philosophy of Mathematics’, in E. Zalta (ed.) Stanford Encyclopedia of Philosophy (2008–present). <plato.stanford.edu/entries/naturalism-mathematics> 1. ‘Naturalised Philosophy of Mathematics’, Routledge Encyclopedia of Philosophy (2008). ARTICLES & REVIEWS FOR A GENERAL MATHEMATICAL AUDIENCE 7. ‘Why are there no infinite left-handed decimal expansions?’, The Mathematical Gazette 105 (2021), pp. tbc 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 Why is there Philosophy of Mathematics at all? by Ian Hacking, The Mathematical Gazette 100 (2016), pp. 381–2. 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). INTERVIEWS
Load more

Recommended publications
  • Diagrammatics in Categorification and Compositionality
    Diagrammatics in Categorification and Compositionality by Dmitry Vagner Department of Mathematics Duke University Date: Approved: Ezra Miller, Supervisor Lenhard Ng Sayan Mukherjee Paul Bendich Dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the Graduate School of Duke University 2019 ABSTRACT Diagrammatics in Categorification and Compositionality by Dmitry Vagner Department of Mathematics Duke University Date: Approved: Ezra Miller, Supervisor Lenhard Ng Sayan Mukherjee Paul Bendich An abstract of a dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the Graduate School of Duke University 2019 Copyright c 2019 by Dmitry Vagner All rights reserved Abstract In the present work, I explore the theme of diagrammatics and their capacity to shed insight on two trends|categorification and compositionality|in and around contemporary category theory. The work begins with an introduction of these meta- phenomena in the context of elementary sets and maps. Towards generalizing their study to more complicated domains, we provide a self-contained treatment|from a pedagogically novel perspective that introduces almost all concepts via diagrammatic language|of the categorical machinery with which we may express the broader no- tions found in the sequel. The work then branches into two seemingly unrelated disciplines: dynamical systems and knot theory. In particular, the former research defines what it means to compose dynamical systems in a manner analogous to how one composes simple maps. The latter work concerns the categorification of the slN link invariant. In particular, we use a virtual filtration to give a more diagrammatic reconstruction of Khovanov-Rozansky homology via a smooth TQFT.
    [Show full text]
  • Philosophia Scientiæ, 18-3 | 2014, « Logic and Philosophy of Science in Nancy (I) » [Online], Online Since 01 October 2014, Connection on 05 November 2020
    Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 18-3 | 2014 Logic and Philosophy of Science in Nancy (I) Selected Contributed Papers from the 14th International Congress of Logic, Methodology and Philosophy of Science Pierre Édouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (dir.) Electronic version URL: http://journals.openedition.org/philosophiascientiae/957 DOI: 10.4000/philosophiascientiae.957 ISSN: 1775-4283 Publisher Éditions Kimé Printed version Date of publication: 1 October 2014 ISBN: 978-2-84174-689-7 ISSN: 1281-2463 Electronic reference Pierre Édouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (dir.), Philosophia Scientiæ, 18-3 | 2014, « Logic and Philosophy of Science in Nancy (I) » [Online], Online since 01 October 2014, connection on 05 November 2020. URL : http://journals.openedition.org/ philosophiascientiae/957 ; DOI : https://doi.org/10.4000/philosophiascientiae.957 This text was automatically generated on 5 November 2020. Tous droits réservés 1 This issue collects a selection of contributed papers presented at the 14th International Congress of Logic, Methodology and Philosophy of Science in Nancy, July 2011. These papers were originally presented within three of the main sections of the Congress. They deal with logic, philosophy of mathematics and cognitive science, and philosophy of technology. A second volume of contributed papers, dedicated to general philosophy of science, and other topics in the philosophy of particular sciences, will appear in the next issue of Philosophia Scientiæ (19-1), 2015. Philosophia Scientiæ, 18-3 | 2014 2 TABLE OF CONTENTS Logic and Philosophy of Science in Nancy (I) Preface Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister Copies of Classical Logic in Intuitionistic Logic Jaime Gaspar A Critical Remark on the BHK Interpretation of Implication Wagner de Campos Sanz and Thomas Piecha Gödel’s Incompleteness Phenomenon—Computationally Saeed Salehi Meinong and Husserl on Existence.
    [Show full text]
  • CHAPTER 9 Narrative and the Rationality of Mathematical Practice
    August 19, 2011 Time: 12:21pm chapter9.tex CHAPTER 9 Narrative and the Rationality of Mathematical Practice DAVID CORFIELD 1. Introduction How is it to act rationally as a mathematician? For much of the Anglo- American philosophy of mathematics this question is answered in terms of what mathematicians most obviously produce—journal papers. From this perspective, the mathematician’s work is taken to be of interest solely insofar as in consists in deducing the consequences of various axioms and definitions. This view of the discipline, with its strong focus on aspects of mathematics that do not feature largely elsewhere—its use of deductive proof, its supposed capacity to be captured by some formal calculus, the abstractness of the objects it studies—isolates the philosophy of mathematics from philosophical accounts of other forms of enquiry. Against this position, some have refused to class as philosophically insignificant readily observable similarities between mathematics and the natural sciences, such as that each discipline has its own very long history. Mathematics constitutes a continuous intellectual effort stretching back through many centuries, “one of mankind’s longest conversations,” as Barry Mazur beautifully describes it. And, as with the sciences, this is not just any conversation but a series of vigorous, socially embodied arguments as to how the field should progress. Now, one of the few philosophers to make much of these and other similarities with the natural sciences was the philosopher Imre Lakatos. His understanding of what constitutes rational enquiry led him to call on mathematical practitioners not to hide their conceptual thinking behind the formal barrier of journal articles but rather to expose their work in novel ways, telling the stories of the development of their concepts.
    [Show full text]
  • The Importance of Being Externalist About Mathematics – One More Turn?
    Philosophica 74 (2004) pp.103-122 THE IMPORTANCE OF BEING EXTERNALIST ABOUT MATHEMATICS – ONE MORE TURN? Bart Van Kerkhove & Hans Comijn1 1. Introduction Over thirty years ago, Stephen Toulmin, in his Human Understanding, argued that a bridging of the gap between scientific practice and its reflective analysis was in order.2 We are convinced that today the argument still stands, above all when it comes to mathematics. Indeed, while opinions might differ over the extent to which bridge-builders have succeeded in their task for science in general, there can be little or no discussion as to the lack of much progress in this respect as far as mathematics is concerned. The thing is that much of the people committed to one of both sides of the divide, respectively mathematicians and meta-reflectors (philosophers, sociologists, and historians), do not themselves think that the gap should be closed, let alone that doing so would be a priority of any sort for any of them. We strongly disagree with this view. Standing in front of the gap, as philosophers cum social scientists, looking hopefully towards the other side, but finding only the tiniest traces of durable crossings, we are prompted to ask if mathematicians have become too unreflective, or if 1 Research for this paper was supported by the Fund for Scientific Research - Flanders (Belgium), for the former author, and the Inter University Attraction Poles program (phase V), granted by the Belgian Federal Science Policy, for the latter. 2 “There are good reasons (…) for re-establishing links between the scientific extension of our knowledge and its reflective analysis, and reconsidering ourselves as knowers in the light of recent extensions to the actual content of our knowledge” (Toulmin [1972], p.2).
    [Show full text]
  • Rationality and Mathematical Narrative David Corfield, School of European Culture and Language, University of Kent
    Rationality and Mathematical Narrative David Corfield, School of European Culture and Language, University of Kent We dream in narrative, day-dream in narrative, remember, anticipate, hope, despair, believe, doubt, plan, revise, criticize, construct, gossip, learn, hate and love by narrative. (Barbara Hardy 'Towards a Poetics of Fiction: An Approach Through Narrative', Novel 2, 5-14, 1968: 5) Introduction It is hardly controversial to emphasise the importance of the role of narrative in our lives. Phenomenologists, such as David Carr, have taken this point most seriously. Through the length of his Time, Narrative, and History, Carr argues that we don't just live an unmediated experience to which we later add a narrative gloss, rather our experience is already structured as narrativised. Narrative also provides us with the means to understands each other's actions, as Alasdair MacIntyre remarks: We identify a particular action only by invoking two kinds of context, implicitly if not explicitly. We place the agent's intentions, I have suggested, in causal and temporal order with reference to their role in his or her history; and we also place them with reference to their role in the history of the setting or settings to which they belong. In doing this, in determining what causal efficacy the agent's intentions had in one or more directions, and how his short-term intentions succeeded or failed to be constitutive of long-term intentions, we ourselves write a further part of these histories. Narrative history of a certain kind turns out to be the basic and essential genre for the characterization of human actions.
    [Show full text]
  • Homotopy Type Theory: a Revolution in the Foundations of Mathematics?
    Homotopy type theory: A revolution in the foundations of mathematics? David Corfield University of Kent 19 February, 2016 We live in interesting times! A new foundational language for mathematics has just appeared. Why I might have predicted the second coming I came to philosophy on a diet of: I Imre Lakatos I Albert Lautman I Category theory and categorical logic Albert Lautman I Proto-category theorist: thematic similarities everywhere. I Rather than accord logic philosophical priority over other parts of mathematics, we should consider it as any other branch, a place where key ideas recurrently manifest themselves. My Masters thesis - categorical logic Question: What should we make of the two kinds of semantics for intuitionistic logic? I Proof theoretic I Topological Categorical logic went some way to explaining this. Topos theory combines the logical and the spatial. Constructive type theory as `internal language' of a topos. In the intervening 24 years... I However much one speaks of `the rich, lived experience of the mathematician', `mathematics as a tradition of intellectual enquiry', etc., there were always those philosophers content with set theory who claim that nothing goes beyond its bounds. I Many of the `rebels' turned to category theory (Marquis, McLarty, me), and yet categories can be thought of as sets or classes with a certain structure. I However much one protests that set theory has lost contact with the conceptual content of mathematics, still it is possible to maintain mathematics to be the accumulation of timeless truths in the framework of first-order logic + axioms of set theory. Maybe this time I Where Homotopy Type Theory differs is in having logic already contained intrinsically within it.
    [Show full text]
  • Towards a Philosophy of Real Mathematics
    TOWARDS A PHILOSOPHY OF REAL MATHEMATICS In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically, and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of new ways to think philosophically about mathe- matics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics, to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme, and the ways in which new concepts are justified. His highly original book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines, and points clearly to the ways in which this can be done. david corfield holds a Junior Lectureship in Philosophy of Science at the University of Oxford. He is co-editor (with Jon Williamson) of Foundations of Bayesianism (2001), and he has pub- lished articles in journals including Studies in History and Philosophy of Science and Philosophia Mathematica. TOWARDS A PHILOSOPHY OF REAL MATHEMATICS DAVID CORFIELD The Pitt Building, Trumpington Street, Cambridge, United Kingdom The Edinburgh Building, Cambridge CB2 2RU, UK 40 West 20th Street, New York, NY 10011-4211, USA 477 Williamstown Road, Port Melbourne, VIC 3207, Australia Ruiz de Alarcón 13, 28014 Madrid, Spain Dock House, The Waterfront, Cape Town 8001, South Africa http://www.cambridge.org © David Corfield 2004 First published in printed format 2003 ISBN 0-511-04270-1 eBook (netLibrary) ISBN 0-521-81722-6 hardback From the east to western Ind, No jewel is like Rosalind.
    [Show full text]
  • Proof, Rigour & Informality
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by St Andrews Research Repository PROOF, RIGOUR & INFORMALITY: A VIRTUE ACCOUNT OF MATHEMATICAL KNOWLEDGE Fenner Stanley Tanswell A Thesis Submitted for the Degree of PhD at the University of St Andrews 2017 Full metadata for this item is available in St Andrews Research Repository at: http://research-repository.st-andrews.ac.uk/ Please use this identifier to cite or link to this item: http://hdl.handle.net/10023/10249 This item is protected by original copyright PROOF, RIGOUR & INFORMALITY: A VIRTUE ACCOUNT OF MATHEMATICAL KNOWLEDGE Fenner Stanley Tanswell This thesis is submitted in partial fulfilment for the degree of PhD at the University of St Andrews Date of Submission 31st August 2016 Declaration 1. Candidate's declarations: I, Fenner Stanley Tanswell, hereby certify that this thesis, which is approx- imately 65000 words in length, has been written by me, and that it is the record of work carried out by me, or principally by myself in collaboration with others as acknowledged, and that it has not been submitted in any previous application for a higher degree. I was admitted as a research student in September 2013 and as a candi- date for the degree of Doctor of Philosophy in September 2013; the higher study for which this is a record was carried out in the University of St An- drews between 2013 and 2016. Date signature of candidate 2. Supervisor's declaration: I hereby certify that the candidate has fulfilled the conditions of the Resolu- tion and Regulations appropriate for the degree of Doctor of Philosophy in the University of St Andrews and that the candidate is qualified to submit this thesis in application for that degree.
    [Show full text]
  • Real Mathematics
    Book Review Towards a Philosophy of Real Mathematics Reviewed by E. Brian Davies Towards a Philosophy of Real Mathematics to the other extreme, letting his book become no David Corfield more than a study of the history of mathematics. Cambridge University Press, 2003 But, being a philosopher, he succeeds in this task. US$105.00, 300 pages The first word of the title of the book is “To- ISBN-13: 9780521817226 wards”, and Corfield admits that he intends to cover a wide range of topics, each of which needs David Corfield starts his interesting book with a to be fleshed out in much more detail. Many of radical rejection of much that has been written his examples come from the fields he knows best, about the philosophy of mathematics. He has but this is inevitable. Its range is wider than the no interest in ontology, epistemology, logicism, expertise of most mathematicians, and Corfield Platonism, Kantianism, nominalism, fictionalism, knows what he is talking about, at least as far as and so forth and does not mention most of them. I could tell. An important merit of the book is its Taking his cue from Nietzsche, Lakatos, and a few large number of quotations. These help to keep others, he likens the traditional approach to the the arguments anchored in the real world—to the examination of a dead body (pp. 3–5). He criticizes extent that mathematicians live in the real world. the attitude that has led many philosophers of Before I continue, a small digression is in order. mathematics to imagine that everything of inter- In most circumstances a reviewer should not read est to their subject occurred between 1880 and other reviews, in order to assure independence.
    [Show full text]
  • Heuristics and Mathematical Discovery: the Case of Bayesian Networks by Donald Gillies, University College London ([email protected])
    Heuristics and Mathematical Discovery: the Case of Bayesian Networks by Donald Gillies, University College London ([email protected]) This is the final author version of a paper published in C.Cellucci & D.Gillies (eds.) Mathematical Reasoning and Heuristics, King’s College Publications, 2005, pp. 87-118. Contents 1. Introduction 2. The Development of Artificial Intelligence and the Discovery of Bayesian Networks 3. Heuristics Involved: (a) the Use of Philosophical Ideas 4. Heuristics Involved: (b) New Practical Problems 5. Heuristics Involved: (c) Domain Interaction 6. Heuristics of Mathematical Discovery versus Logic of Mathematical Discovery 1. Introduction I will begin this paper by discussing some ideas to be found in two recent books on the philosophy of mathematics. These are (i) Carlo Cellucci’s Filosofia e matematica, published by La Terza in 2002, and (ii) David Corfield’s Towards a Philosophy of Real Mathematics, published by Oxford University Press in 2003. I will start with Cellucci’s book. In his book, Cellucci is highly critical of the traditional or foundational approach to the philosophy of mathematics, based on the attempt to justify mathematics. Instead he advocates what he calls the heuristic approach to the philosophy of mathematics. As he says (2002, p. viii): ‘According to the dominant point of view the principal problem in the philosophy of mathematics is that of the justification of mathematics. … In this book I maintain instead that the principal problem of reflection on mathematics is that of mathematical discovery. This problem includes the problem of justification …’ I partly agree and partly disagree with this. It is certainly true that traditional philosophy of mathematics focussed exclusively on the problem of the justification of mathematics and neglected the problem of mathematical discovery.
    [Show full text]
  • How Mathematicians May Fail to Be Fully Rational (Version 21 November 2005)
    How Mathematicians May Fail To Be Fully Rational (version 21 November 2005) David Corfield Max Planck Institute for Biological Cybernetics, Tübingen, Germany david.corfield AT tuebingen.mpg.de Abstract: The possibility that narrative might play a crucial role in the practice of mathematics has been paid little attention by philosophers. The majority of Anglophone philosophers of mathematics have followed those working in the logical empiricist tradition of the philosophy of science by carving apart rational enquiry into a 'context of discovery' and a 'context of justification'. In so doing, they have aligned the justification component with the analysis of timeless standards of logical correctness, and the discovery component with the historical study of the contingent, the psychological, and the sociological. The failings of this strategy are by now plain. In this debating arena there can be no discussion of the adequacy of current conceptions of notions such as space, dimension, quantity or symmetry. Such matters become questions purely internal to the practice of mathematics, and no interest is shown in the justificatory narratives mathematicians give for their points of view. In this talk, I would like to outline the views of the moral philosopher, Alasdair MacIntyre, whose descriptions of tradition-constituted forms of enquiry are highly pertinent to the ways in which mathematics can best be conducted, and allow us to discern the rationality of debates concerning, say, the mathematical understanding of space. An essential component of a thriving research tradition is a narrative account of its history, the internal obstacles it has overcome, and its responses to the objections of rival traditions.
    [Show full text]