Results for 'Corfield David'

1000+ found
Order:
  1.  71
    Towards a Philosophy of Real Mathematics.David Corfield - 2003 - 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  2.  83
    Assaying Lakatos's Philosophy of Mathematics.David Corfield - 1997 - Studies in History and Philosophy of Science Part A 28 (1):99-121.
  3.  10
    Towards a Philosophy of Real Mathematics.David Corfield - 2003 - Studia Logica 81 (2):285-289.
    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 mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   65 citations  
  4. 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 (11 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  14
    Correction To: Expressing ‘the Structure of’ in Homotopy Type Theory.David Corfield - 2020 - Synthese 197 (2):701-701.
    The original article has been corrected. The article is published with Open Access but was missing Open Access information. This has been added.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  52
    Expressing ‘the Structure of’ in Homotopy Type Theory.David Corfield - 2017 - Synthese 197 (2):681-700.
    As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy which have been treated by logic. In this article, definite description, and in particular its employment within mathematics, is formulated within the type theory. Homotopy type theory has been proposed as an inherently structuralist foundational language for mathematics. Using the new formulation of definite descriptions, opportunities (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  42
    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   7 citations  
  8.  77
    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 (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  68
    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   2 citations  
  10.  29
    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   10 citations  
  11.  68
    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  
  12.  17
    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  
  13. 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 (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  30
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    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.
  16.  13
    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 (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  17. 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   2 citations  
  18.  9
    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.
  19.  3
    Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy.David Corfield - 2020 - Oxford, England: Oxford University Press.
    Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    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   2 citations  
  21.  34
    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.
  22.  24
    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   2 citations  
  23.  30
    Modal Homotopy Type Theory.David Corfield - unknown
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  54
    Some Implications of the Adoption of Category Theory for Philosophy.David Corfield - unknown
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Roi Wagner's Making and Breaking Mathematical Sense. [REVIEW]David Corfield - 2018 - BJPS Review of Books.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  11
    Commentaire sur Emmanuel Barot : Lautman.David Corfield - 2010 - Philosophiques 37 (1):207-211.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  27.  13
    Complementarity and Convergence in the Philosophies of Mathematics and Physics.David Corfield - 2006 - Metascience 15 (2):363-366.
  28.  9
    Narrative and the Rationality of Mathematics.David Corfield - unknown
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  45
    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   1 citation  
  30. Beyond the Methodology of Mathematics Research Programmes.Corfield David - 1998 - Philosophia Mathematica 6 (3):272-301.
    In this paper I assess the obstacles to a transfer of Lakatos's methodology of scientific research programmes to mathematics. I argue that, if we are to use something akin to this methodology to discuss modern mathematics with its interweaving theoretical development, we shall require a more intricate construction and we shall have to move still further away from seeing mathematical knowledge as a collection of statements. I also examine the notion of rivalry within mathematics and claim that this appears to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31. David Corfield, Towards a Philosophy of Real Mathematics Reviewed By.Alasdair Urquhart - 2004 - Philosophy in Review 24 (3):175-177.
  32. David Corfield, Towards a Philosophy of Real Mathematics. [REVIEW]Alasdair Urquhart - 2004 - Philosophy in Review 24:175-177.
  33.  12
    David Corfield: Towards a Philosophy of Real Mathematics. [REVIEW]Christopher Pincock - 2005 - Philosophy of Science 72 (4):632-634.
  34.  19
    Review of David Corfield, Towards a Philosophy of Real Mathematics[REVIEW]Timothy Bays - 2004 - Notre Dame Philosophical Reviews 2004 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  51
    Bayesianism, Quo Vadis? —Critical Notice: David Corfield and Jon Williamson , Foundations of BayesianismDavid Corfield and Jon Williamson , Foundations of Bayesianism. Dordrecht: Kluwer Academic Publishers , 428 Pp. $110.00. [REVIEW]Mathias Risse - 2003 - Philosophy of Science 70 (1):225-231.
    This is a review essay about David Corfield and Jon Williamson's anthology Foundations of Bayesianism. Taken together, the fifteen essays assembled in the book assess the state of the art in Bayesianism. Such an assessment is timely, because decision theory and formal epistemology have become disciplines that are no longer taught on a routine basis in good philosophy departments. Thus we need to ask: Quo vadis, Bayesianism? The subjects of the articles include Bayesian group decision theory, approaches to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  36. Review of D. Corfield's Toward A Philosophy Of Real Mathematics. [REVIEW]Andrew Arana - 2007 - Mathematical Intelligencer 29 (2).
    When mathematicians think of the philosophy of mathematics, they probably think of endless debates about what numbers are and whether they exist. Since plenty of mathematical progress continues to be made without taking a stance on either of these questions, mathematicians feel confident they can work without much regard for philosophical reflections. In his sharp–toned, sprawling book, David Corfield acknowledges the irrelevance of much contemporary philosophy of mathematics to current mathematical practice, and proposes reforming the subject accordingly.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  12
    Towards a Philosophy of Real Mathematics David Corfield Cambridge, Cambridge University Press, 2006, 288 P.Yvon Gauthier - 2008 - Dialogue 47 (3-4):700-.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  46
    What the Foundationalist Filter Kept Out.Alexander Paseau - 2005 - Studies in History and Philosophy of Science Part A 36 (1):191-201.
    From title to back cover, a polemic runs through David Corfield's "Towards a Philosophy of Real Mathematics". Corfield repeatedly complains that philosophers of mathematics have ignored the interesting and important mathematical developments of the past seventy years, ‘filtering’ the details of mathematical practice out of philosophical discussion. His aim is to remedy the discipline’s long-sightedness and, by precept and example, to redirect philosophical attention towards current developments in mathematics. This review discusses some strands of Corfield’s philosophy (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  71
    What is Dialectical Philosophy of Mathematics?Brendan Larvor - 2001 - Philosophia Mathematica 9 (2):212-229.
    The late Imre Lakatos once hoped to found a school of dialectical philosophy of mathematics. The aim of this paper is to ask what that might possibly mean. But Lakatos's philosophy has serious shortcomings. The paper elaborates a conception of dialectical philosophy of mathematics that repairs these defects and considers the work of three philosophers who in some measure fit the description: Yehuda Rav, Mary Leng and David Corfield.
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  40.  94
    The Epistemological Status of Computer-Assisted Proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
    Several high-profile mathematical problems have been solved in recent decades by computer-assisted proofs. Some philosophers have argued that such proofs are a posteriori on the grounds that some such proofs are unsurveyable; that our warrant for accepting these proofs involves empirical claims about the reliability of computers; that there might be errors in the computer or program executing the proof; and that appeal to computer introduces into a proof an experimental element. I argue that none of these arguments withstands scrutiny, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  41.  9
    David Hume on Morals, Politics, and Society.David Hume - 2018 - Yale University Press.
    A compact and accessible edition of Hume’s political and moral writings with essays by a distinguished set of contributors A key figure of the Scottish Enlightenment, David Hume was a major influence on thinkers ranging from Kant and Schopenhauer to Einstein and Popper, and his writings continue to be deeply relevant today. With four essays by leading Hume scholars exploring his complex intellectual legacy, this volume presents an overview of Hume’s moral, political, and social philosophy. Editors Angela Coventry and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  5
    The Letters of David Hume: Volume 1.David Hume & J. Y. T. Greig (eds.) - 1932 - Clarendon Press.
    This classic edition presents the correspondence of one of the great thinkers of the 18th century, and offers a rich picture of the man and his age. This first volume contains David Hume's letters from 1727 to 1765. Hume's correspondents include such famous public figures as Jean-Jacques Rousseau, Adam Smith, James Boswell, and Benjamin Franklin.
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  43.  4
    David Hume: Common-Sense Moralist, Sceptical Metaphysician.David Fate Norton - 1982 - Princeton University Press.
    The Description for this book, David Hume: Common-Sense Moralist, Sceptical Metaphysician, will be forthcoming.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  44. David Hume, Contractarian.David Gauthier - 1979 - Philosophical Review 88 (1):3-38.
  45. David Lewis and Schrodinger's Cat.David Papineau - 2004 - Australasian Journal of Philosophy 82 (1):153.
    In 'How Many Lives Has Schrödinger's Cat?' David Lewis argues that the Everettian no-collapse interpretation of quantum mechanics is in a tangle when it comes to probabilities. This paper aims to show that the difficulties that Lewis raises are insubstantial. The Everettian metaphysics contains a coherent account of probability. Indeed it accounts for probability rather better than orthodox metaphysics does.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  46. David Reidy and Cindy Holder, Eds. Human Rights: The Hard Questions. Cambridge.David Reidy & Cindy Holder (eds.) - 2013 - Cambridge University Press.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  10
    A Treatise of Human Nature.David Hume & A. D. Lindsay - 1911 - Dent.
    'These new Oxford University Press editions have been meticulously collated from various exatant versions. Each text has an excellent introduction including an overview of Hume's thought and an account of his life and times. Even the difficult, and rarely commented-on, chapters on space and time are elucidated. There are also useful notes on the text and glossary. These scholarly new editions are ideally adapted for a whole range of readers, from beginners to experts.' -Jane O'Grady, Catholic Herald, 4/8/00. One of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   915 citations  
  48.  76
    Sobel, David. From Valuing to Value: A Defense of Subjectivism. Oxford: Oxford University Press, 2017. Pp. 352. $85.00. [REVIEW]David Enoch - 2018 - Ethics 128 (3):672-677.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Normativity and Judgement: David Papineau.David Papineau - 1999 - Supplement to the Proceedings of the Aristotelian Society 73 (1):17-43.
    It is widely assumed that the normativity of conceptual judgement poses problems for naturalism. Thus John McDowell urges that 'The structure of the space of reasons stubbornly resists being appropriated within a naturalism that conceives nature as the realm of law' (1994, p 73). Similar sentiments have been expressed by many other writers, for example Robert Brandom (1994, p xiii) and Paul Boghossian (1989, p 548).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  50.  55
    David Hume: A Treatise of Human Nature (Two-Volume Set).David Fate Norton & Mary J. Norton (eds.) - 2007 - Clarendon Press.
    David and Mary Norton present the definitive scholarly edition of Hume's Treatise, one of the greatest philosophical works ever written. This set comprises the two volumes of texts and editorial material, which are also available for purchase separately. -/- David Hume (1711 - 1776) is one of the greatest of philosophers. Today he probably ranks highest of all British philosophers in terms of influence and philosophical standing. His philosophical work ranges across morals, the mind, metaphysics, epistemology, religion, and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000