# David Corfield

#26,292

Most Influential Person Now

Philosopher

## David Corfield's AcademicInfluence.com Rankings

David Corfieldphilosophy Degrees

Philosophy

#2904

World Rank

#4814

Historical Rank

Logic

#3009

World Rank

#4101

Historical Rank

## Download Badge

Philosophy

## Why Is David Corfield Influential?

(Suggest an Edit or Addition)According to Wikipedia, David Neil Corfield is a British philosopher specializing in philosophy of mathematics and philosophy of psychology. He is Senior Lecturer in Philosophy at the University of Kent. Education Corfield studied mathematics at the University of Cambridge, and later earned his MSc and PhD in the philosophy of science and mathematics at King's College London. His doctoral advisor was Donald A. Gillies.

## David Corfield's Published Works

### Published Works

- Higher-dimensional algebra (2003) (127)
- Conceptual mathematics: a first introduction to categories (2002) (61)
- Towards a Philosophy of Real Mathematics (2003) (52)
- Foundations of Bayesianism (2011) (42)
- Assaying lakatos's philosophy of mathematics (1997) (36)
- Review of F. William Lawvere and Stephen Schanuel, 'Conceptual Mathematics: A First Introduction to Categories' (2002) (35)
- Falsificationism and Statistical Learning Theory: Comparing the Popper and Vapnik-Chervonenkis Dimensions (2009) (34)
- Towards a Philosophy of Real Mathematics: Contents (2003) (23)
- Varieties of Justification in Machine Learning (2009) (16)
- Duality as a category-theoretic concept (2017) (14)
- Chapter 9. Narrative and the Rationality of Mathematical Practice (2012) (12)
- What is Dialectical Philosophy of Mathematics ? (11)
- Argumentation and the Mathematical Process (2002) (11)
- Homotopy Types (2020) (10)
- Why Do People Get Ill (2007) (10)
- Mathematical Kinds, or Being Kind to Mathematics (2004) (9)
- Popper, Falsification and the VC-dimension (2005) (9)
- Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy (2020) (8)
- The importance of mathematical conceptualisation (2001) (7)
- Bayesianism in Mathematics (2001) (7)
- From Mathematics to Psychology: Lacan’s missed encounters (2002) (7)
- Expressing ‘the structure of’ in homotopy type theory (2017) (6)
- Understanding the Infinite I: Niceness, Robustness, and Realism† (2010) (5)
- Dependent Types (2020) (5)
- Understanding the infinite II: Coalgebra (2011) (4)
- Introduction: a role for history (2003) (4)
- Modal Homotopy Type Theory (2018) (4)
- The Form and Function of Duality in Modern Mathematics (2014) (4)
- Reviving the Philosophy of Geometry (2018) (3)
- CONTRIBUTIONS TO A SCIENCE OF CONTEMPORARY MATHEMATICS (2011) (3)
- Fundamental weight systems are quantum states (2021) (3)
- Lautman et la réalité des mathématiques (2010) (3)
- Introduction: Bayesianism into the 21st Century (2001) (2)
- Towards a Philosophy of Real Mathematics: THE GROWTH OF MATHEMATICS (2003) (2)
- Lautman and the Reality of Mathematics (2010) (1)
- Reflections on Michael Friedman's Dynamics of Reason (2005) (1)
- Correction to: Expressing ‘the structure of’ in homotopy type theory (2018) (1)
- Some Implications of the Adoption of Category Theory for Philosophy (2006) (1)
- The duality of space and function, and category-theoretic dualities (2013) (1)
- Categorification as a Heuristic Device (2004) (1)
- Spatial Types (2020) (0)
- THE INTERPRETATION OF MATHEMATICS (2003) (0)
- Towards a Philosophy of Real Mathematics: Lakatos's philosophy of mathematics (2003) (0)
- Narrative and the Rationality of Mathematics (2012) (0)
- Modal Types (2020) (0)
- JON WILLIAMSON AND DAVID CORFIELD INTRODUCTION: BAYESIANISM INTO THE 21ST CENTURY (2014) (0)
- Expressing ‘the structure of’ in homotopy type theory (2017) (0)
- Towards a Philosophy of Real Mathematics: Beyond the methodology of mathematical research programmes (2003) (0)
- Towards a Philosophy of Real Mathematics: The role of analogy in mathematics (2003) (0)
- Towards a Philosophy of Real Mathematics: Preface (2003) (0)
- Homotopy type theory and the vertical unity of concepts in mathematics (2017) (0)
- Chapter IV : Modal homotopy type theory (2018) (0)
- The vertical unity of concepts in mathematics through the lens of homotopy type theory (2016) (0)
- David Corfield, Towards a Philosophy of Real Mathematics (2010) (0)
- Complementarity and Convergence in the Philosophies of Mathematics and Physics (2006) (0)
- Correction to: Expressing ‘the structure of’ in homotopy type theory (2018) (0)
- Automated conjecture formation (2003) (0)
- Conclusion (2020) (0)
- Thomas Kuhn, Modern Mathematics and the Dynamics of Reason (2022) (0)
- Towards a Philosophy of Real Mathematics: Communicating with automated theorem provers (2003) (0)
- Towards a Philosophy of Real Mathematics: Bayesianism in mathematics (2003) (0)
- A Path to a New Logic (2020) (0)
- Commentaire sur Emmanuel Barot : Lautman (2010) (0)
- Reviving the Philosophy of Geometry 1 Introduction (2015) (0)
- Towards a Philosophy of Real Mathematics: Bibliography (2003) (0)
- n-Categories in the Light of Earlier Debates on Correct Generality in Category Theory (2005) (0)
- HUMAN AND ARTIFICIAL MATHEMATICIANS (2003) (0)
- Uncertainty in mathematics and science (2003) (0)
- Towards a Philosophy of Real Mathematics: PLAUSIBILITY, UNCERTAINTY AND PROBABILITY (2003) (0)
- Martin H. Krieger. Doing Mathematics: Convention, Subject, Calculation, Analogy. Singapore: World Scientific Publishing, 2003. Pp. xviii + 454. ISBN 981-238-2003 (cloth); 981-238-2062 (paperback) (2005) (0)

This paper list is powered by the following services:

## Other Resources About David Corfield

## What Schools Are Affiliated With David Corfield?

David Corfield is affiliated with the following schools: