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 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 inspiring 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. (shrink)

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 (...) 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. (shrink)

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.

The original article has been corrected. The article is published with Open Access but was missing Open Access information. This has been added.

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 (...) to express ‘the structure of’ within homotopy type theory are explored, and it is shown there is little or no need for this expression. (shrink)

The volume includes important criticisms of Bayesian reasoning and also gives an insight into some of the points of disagreement amongst advocates of the ...

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.

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 (...) that a reassessment is overdue. Something beyond doubt is that category theory has an enormous amount to say on the subject, for example, in terms of arrow reversal, dualising objects and adjunctions. These developments have coincided with changes in our understanding of identity and structure within mathematics. While it transpires that physicists have employed the term ‘duality’ in ways which do not always coincide with those of mathematicians, analysis of the latter should still prove very useful to philosophers of physics. Consequently, category theory presents itself as an extremely important language for the philosophy of physics. (shrink)

A study of the possibility of casting plausible matheamtical inference in Bayesian terms.

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.

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.

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 (...) rather whether the choice of our concepts is forced upon us. (shrink)

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 (...) approfondie de l’idée de dualité. Je soumets de plus que les instances, données par Lautman, de la réalisation des idées dialectiques en dehors des mathématiques et de la physique mathématique sont assez maigres, ce qui suggère fortement que les idées qu’il a décrites si admirablement sont immanentes à la pratique des mathématiques, au lieu d’appartenir à « une réalité idéale, supérieure aux mathématiques ».This paper examines Lautman’s claim that the reality of mathematics is to be addressed through the “realisation of dialectical ideas”. This is done in the context of two examples treated by Lautman himself. The question is raised as to whether we might better describe dialectical ideas as mathematical ones, especially now that we have mathematical means to approach these ideas at the right level of generality. For example, category theory, unknown to Lautman, can describe the idea of duality very thoroughly. It is argued that the instances given by Lautman of the realisation of dialectical ideas outside of mathematics and mathematical physics are rather slight, leading us to conclude that the ideas he so brilliantly describes are immanent to mathematical practice, rather than belonging to “an ideal reality, superior to mathematics”. (shrink)

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 (...) axiomatisations. We consider reasons for the delay in arriving at the coalgebraic framework, despite many unrecognised manifestations occurring years earlier, and discuss an apparent asymmetry in the relationship between algebra and coalgebra. (shrink)

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.

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 (...) surrounding the question as to whether groupoids are significantly more powerful than groups at capturing the symmetry of a mathematical situation. The introduction of groupoids provides a suitable case as they score highly according to criteria relating to theory-building rather than problem-solving.Several of the arguments for the adoption of the groupoid concept are outlined, including claims as to its capacity for reformulating existing theory, its ability to measure symmetry more systematically, and its ‘naturalness’. This last notion is given an extensive treatment. (shrink)

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.

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 (...) be significant only at a high level. In addition, ideas of ‘progress’ in mathematics are outlined. (shrink)

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 (...) the concept of probability, Bayesian approaches in the philosophy of mathematics, reflections on the relationship between causation and probability, the Independence axiom, and a range of criticisms of Bayesianism, among other subjects. While critical of some of the arguments presented in the articles, this review recommends Corfield and Williamson's volume to anyone who is trying to stay abreast of Bayesian research. (shrink)

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.

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 (...) of real mathematics and briefly assesses some of his objections to orthodox philosophy of mathematics. (shrink)

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.

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, (...) and so there is no reason to believe that computer-assisted proofs are not a priori. Thanks are due to Michael Levin, David Corfield, and an anonymous referee for Philosophia Mathematica for their helpful comments. Earlier versions of this paper were presented at the Hofstra University Department of Mathematics colloquium series, and at the 2005 New Jersey Regional Philosophical Association; I am grateful to both audiences for their comments. CiteULike Connotea Del.icio.us What's this? (shrink)

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 (...) Andrew Valls bring together a selection of writings from Hume’s most important works, with contributors placing them in their appropriate context and offering a lively discourse on the relevance of Hume’s thought to contemporary subjects like reason’s dependence on emotion and the importance of social convention in political and economic behavior. Perfect for classroom use, this volume is an invaluable companion for anyone studying an important thinker who advanced the development of moral philosophy, economics, cognitive science, and many other fields of the Western tradition. (shrink)

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.

The Description for this book, David Hume: Common-Sense Moralist, Sceptical Metaphysician, will be forthcoming.

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.

'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 (...) the greatest of all philosophical works, covering knowledge, imaginatio, emotion, morality and justice. Hume is down-to-earth, capable of putting other, pretentious philosophers down, but deeply sceptical even about his own reasoning. Baroness Warnock, The List, The Week 18/11/2000A Treatise of Human Nature, David Hume's comprehensive attempt to base philosophy on a new, observationally grounded study of human nature, is one of the most important texts in Western philosophy. It is also the focal point of current attempts to understand 18th-century western philosophy. The Treatise addresses many of the most fundamental philosophical issues: causation, existence, freedom and necessity, and morality. The volume also includes Humes own abstract of the Treatise, a substantial introduction, extensive annotations, a glossary, a comprehensive index, and suggestions for further reading. (shrink)

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).

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 (...) aesthetics; he had broad interests not only in philosophy as it is now conceived but in history, politics, economics, religion, and the arts. He was a master of English prose. -/- The Clarendon Hume Edition will include all of his works except his History of England and minor historical writings. It is the only thorough critical edition, and will provide a far more extensive scholarly treatment than any previous editions. This edition (which has been in preparation since the 1970s) offers authoritative annotation, bibliographical information, and indexes, and draws upon the major advances in textual scholarship that have been made since the publication of earlier editions - advances both in the understanding of editorial principle and practice and in knowledge of the history of Hume's own texts. (shrink)