30 found
Order:
Disambiguations
David Corfield [30]David Neil Corfield [5]
  1.  58
    Towards a Philosophy of Real Mathematics.David Corfield - 2005 - Cambridge University Press.
    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 approaches to new thinking about the philosophy of mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing (...)
  2. Towards a Philosophy of Real Mathematics.David Corfield - 2005 - Studia Logica 81 (2):285-289.
     
    Export citation  
     
    Bookmark   21 citations  
  3.  7
    Expressing ‘The Structure of’ in Homotopy Type Theory.David Corfield - unknown
    In this article I show that when working in the new foundational language, homotopy type theory, there is no need to use the word 'structure', since it intrinsically built into the language. I also explain how we can consider mathematicians' use of 'the' where there appear to be multiple possible referents.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  15
    Modal Homotopy Type Theory.David Corfield - unknown
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  18
    Bayesianism in Mathematics.David Corfield - 2001 - In David Corfield & Jon Williamson (eds.), Foundations of Bayesianism. Kluwer Academic Publishers. pp. 175--201.
    A study of the possibility of casting plausible matheamtical inference in Bayesian terms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  50
    Assaying Lakatos's Philosophy of Mathematics.David Corfield - 1997 - Studies in History and Philosophy of Science Part A 28 (1):99-121.
  7.  3
    Assaying Lakatos's Philosophy of Mathematics.David Corfield - 1997 - Studies in History and Philosophy of Science Part A 28 (1):99-121.
  8.  48
    Falsificationism and Statistical Learning Theory: Comparing the Popper and Vapnik-Chervonenkis Dimensions.David Corfield, Bernhard Schölkopf & Vladimir Vapnik - 2009 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 40 (1):51-58.
    We compare Karl Popper’s ideas concerning the falsifiability of a theory with similar notions from the part of statistical learning theory known as VC-theory . Popper’s notion of the dimension of a theory is contrasted with the apparently very similar VC-dimension. Having located some divergences, we discuss how best to view Popper’s work from the perspective of statistical learning theory, either as a precursor or as aiming to capture a different learning activity.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  2
    Lautman et la réalité des mathématiques.David Corfield - 2010 - Philosophiques 37 (1):95-109.
    Cet article examine la thèse de Lautman selon laquelle la réalité des mathématiques doit être approchée par la « réalisation des idées dialectiques ». Pour ce faire, nous reprenons deux exemples que Lautman a lui-même traités. La question est de savoir si on peut ou non mieux décrire les idées dialectiques comme mathématiques, particulièrement maintenant que les moyens mathématiques d’approcher ces idées au niveau de généralisation appropriée existent. Ainsi, la théorie des catégories, inconnue de Lautman, peut donner une description très (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  10.  9
    The Form and Function of Duality in Modern Mathematics.Ralf Krömer & David Corfield - 2014 - Philosophia Scientae 18:95-109.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  73
    Understanding the Infinite II: Coalgebra.David Corfield - 2011 - Studies in History and Philosophy of Science Part A 42 (4):571-579.
    In this paper we give an account of the rise and development of coalgebraic thinking in mathematics and computer science as an illustration of the way mathematical frameworks may be transformed. Originating in a foundational dispute as to the correct way to characterise sets, logicians and computer scientists came to see maximizing and minimizing extremal axiomatisations as a dual pair, each necessary to represent entities of interest. In particular, many important infinitely large entities can be characterised in terms of such (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  60
    Reflections on Michael Friedman's Dynamics of Reason.David Corfield - unknown
    Friedman's rich account of the way the mathematical sciences ideally are transformed affords mathematics a more influential role than is common in the philosophy of science. In this paper I assess Friedman's position and argue that we can improve on it by pursuing further the parallels between mathematics and science. We find a richness to the organisation of mathematics similar to that Friedman finds in physics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  8
    Argumentation and the Mathematical Process.David Corfield - 2002 - In G. Kampis, L.: Kvasz & M. Stöltzner (eds.), Appraising Lakatos: Mathematics, Methodology and the Man. Kluwer Academic Publishers. pp. 115--138.
  14.  39
    Foundations of Bayesianism.David Corfield & Jon Williamson (eds.) - 2001 - Kluwer Academic Publishers.
    The volume includes important criticisms of Bayesian reasoning and also gives an insight into some of the points of disagreement amongst advocates of the ...
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  2
    Understanding the Infinite II: Coalgebra.David Corfield - 2011 - Studies in History and Philosophy of Science Part A 42 (4):571-579.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Varieties of Justification in Machine Learning.David Corfield - 2010 - Minds and Machines 20 (2):291-301.
    Forms of justification for inductive machine learning techniques are discussed and classified into four types. This is done with a view to introduce some of these techniques and their justificatory guarantees to the attention of philosophers, and to initiate a discussion as to whether they must be treated separately or rather can be viewed consistently from within a single framework.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark  
  17.  2
    Understanding the Infinite I: Niceness, Robustness, and Realism†: Articles.David Corfield - 2010 - Philosophia Mathematica 18 (3):253-275.
    This paper treats the situation where a single mathematical construction satisfies a multitude of interesting mathematical properties. The examples treated are all infinitely large entities. The clustering of properties is termed ‘niceness’ by the mathematician Michiel Hazewinkel, a concept we compare to the ‘robustness’ described by the philosopher of science William Wimsatt. In the final part of the paper, we bring our findings to bear on the question of realism which concerns not whether mathematical entities exist as abstract objects, but (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  32
    Duality as a Category-Theoretic Concept.David Corfield - 2017 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 59:55-61.
    In a paper published in 1939, Ernest Nagel described the role that projective duality had played in the reformulation of mathematical understanding through the turn of the nineteenth century, claiming that the discovery of the principle of duality had freed mathematicians from the belief that their task was to describe intuitive elements. While instances of duality in mathematics have increased enormously through the twentieth century, philosophers since Nagel have paid little attention to the phenomenon. In this paper I will argue (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  38
    Some Implications of the Adoption of Category Theory for Philosophy.David Corfield - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  37
    Introduction: Bayesianism Into the 21st Century.Jon Williamson & David Corfield - 2001 - In David Corfield & Jon Williamson (eds.), Foundations of Bayesianism. Kluwer Academic Publishers. pp. 1--16.
    Bayesian theory now incorporates a vast body of mathematical, statistical and computational techniques that are widely applied in a panoply of disciplines, from artificial intelligence to zoology. Yet Bayesians rarely agree on the basics, even on the question of what Bayesianism actually is. This book is about the basics e about the opportunities, questions and problems that face Bayesianism today.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  3
    Correction To: Expressing ‘the Structure of’ in Homotopy Type Theory.David Corfield - forthcoming - Synthese.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  33
    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). [REVIEW]David Corfield - 2005 - Philosophia Mathematica 13 (1):106-111.
  23.  13
    The Importance of Mathematical Conceptualisation.David Corfield - 2001 - Studies in History and Philosophy of Science Part A 32 (3):507-533.
    Mathematicians typically invoke a wide range of reasons as to why their research is valuable. These reveal considerable differences between their personal images of mathematics. One of the most interesting of these concerns the relative importance accorded to conceptual reformulation and development compared with that accorded to the achievement of concrete results. Here I explore the conceptualists' claim that the scales are tilted too much in favour of the latter. I do so by taking as a case study the debate (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  23
    Conceptual Mathematics: A First Introduction to Categories.David Corfield - 2002 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 33 (2):359-366.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    Conceptual Mathematics: A First Introduction to Categories.David Corfield - 2002 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 33 (2):359-366.
  26.  4
    The Importance of Mathematical Conceptualisation.David Corfield - 2001 - Studies in History and Philosophy of Science Part A 32 (3):507-533.
    Mathematicians typically invoke a wide range of reasons as to why their research is valuable. These reveal considerable differences between their personal images of mathematics. One of the most interesting of these concerns the relative importance accorded to conceptual reformulation and development compared with that accorded to the achievement of concrete results. Here I explore the conceptualists' claim that the scales are tilted too much in favour of the latter. I do so by taking as a case study the debate (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  7
    Complementarity and Convergence in the Philosophies of Mathematics and Physics.David Corfield - 2006 - Metascience 15 (2):363-366.
  28.  7
    Projection and Projectability.David Corfield - unknown
    The problem of dataset shift can be viewed in the light of the more general problems of induction, in particular the question of what it is about some objects' features or properties which allow us to project correlations confidently to other times and other places.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  2
    Narrative and the Rationality of Mathematics.David Corfield - unknown
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  1
    Commentaire sur Emmanuel Barot : Lautman.David Corfield - 2010 - Philosophiques 37 (1):207-211.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark