Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Otávio Bueno, Truth and Proof.Current versions of nominalism in the philosophy of mathematics face a significant problem to understand mathematical knowledge. They are unable to characterize mathematical knowledge as knowledge of the objects mathematical theories are taken to be about. Oswaldo Chateaubriand’s insightful reformulation of Platonism (Chateaubriand 2005) avoids this problem by advancing a broader conception of knowledge as justified truth beyond a reasonable doubt, and by introducing a suitable characterization of logical form in which the relevant mathematical facts play an important role in the truth of the corresponding mathematical propositions. In this paper, I contrast Chateaubriand’s proposal with an agnostic form of nominalism that is able to accommodate mathematical knowledge without the commitment to mathematical facts.In my reading list | Discuss this article | Edit | Categorize |My bibliography
| Export citation | Scholar
Discussion of Otávio Bueno, Truth and proof
Nothing in this forum yet.
Similar books and articles
Proof and Knowledge in Mathematics tackles the main problem that arises when considering an epistemology for mathematics, the nature and sources of mathematical justification. Focusing both on particular and general issues, these essays from leading philosophers of mathematics raise important issues for our current understanding of mathematics. Is mathematical justification a priori or a posteriori? What role, if any, does logic play in mathematical reasoning or inference? And how epistemologically important is the formalizability of proof? Michael Detlefsen has brought together (...)
There is a basic division in the philosophy of mathematics between realist, ‘platonist’ theories and anti-realist ‘constructivist’ theories. Platonism explains how mathematical truth is strongly objective, but it does this at the cost of invoking mind-independent mathematical objects. In contrast, constructivism avoids mind-independent mathematical objects, but the cost tends to be a weakened conception of mathematical truth. Neither alternative seems ideal. The purpose of this paper is to show that in the philosophical writings of Henri Poincaré there is a coherent (...)
The Quine/Putnam indispensability approach to the confirmation of mathematical theories in recent times has been the subject of significant criticism. In this paper I explore an alternative to the Quine/Putnam indispensability approach. I begin with a van Fraassen-like distinction between accepting the adequacy of a mathematical theory and believing in the truth of a mathematical theory. Finally, I consider the problem of moving from the adequacy of a mathematical theory to its truth. I argue that the prospects for justifying this (...)
The specific characteristics of mathematical argumentation all depend on the centrality that writing has in the practice of mathematics, but blindness to this fact is near universal. What follows concerns just one of those characteristics, justification by proof. There is a prevalent view that long proofs pose a problem for the thesis that mathematical knowledge is justified by proof. I argue that there is no such problem: in fact, virtually all the justifications of mathematical knowledge are ‘long proofs’, but because (...)
There are two general questions which many views in the philosophy of mathematics can be seen as addressing: what are mathematical objects, and how do we have knowledge of them? Naturally, the answers given to these questions are linked, since whatever account we give of how we have knowledge of mathematical objects surely has to take into account what sorts of things we claim they are; conversely, whatever account we give of the nature of mathematical objects must be accompanied by (...)
No categories
Nominalism (the thesis that there are no abstract objects) faces the task of explaining away the ontological commitments of applied mathematical statements. This paper reviews an argument from the philosophy of logic that focuses on this task and which has been used as an objection to certain specific formulations of nominalism. The argument as it is developed in this paper aims to show that nominalism in general does not have the epistemological advantages its defendants claim it has. I distinguish between (...)
No categories
In my reading list
| Discuss this article | Edit | Categorize | My bibliography | Export citation | Other links: interscience.wiley.com | Scholar | More..
| | Other links: interscience.wiley.com | Scholar | More.. I outline a variant on the formalist approach to mathematics which rejects textbook formalism's highly counterintuitive denial that mathematical theorems express truths while still avoiding ontological commitment to a realm of abstract objects. The key idea is to distinguish the sense of a sentence from its explanatory truth conditions. I then look at various problems with the neo-formalist approach, in particular at the status of the notion of proof in a formal calculus and at problems which Gödelian results seem to (...)
In historical claims for nativism, mathematics is a paradigmatic example of innate knowledge. Claims by contemporary developmental psychologists of elementary mathematical skills in human infants are a legacy of this. However, the connection between these skills and more formal mathematical concepts and methods remains unclear. This paper assesses the current debates surrounding nativism and mathematical knowledge by teasing them apart into two distinct claims. First, in what way does the experimental evidence from infants, nonhuman animals and neuropsychology support the nativist (...)
This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti-Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply (...)
In this paper, I introduce and examine the notion of “mathematical engineering” and its impact on mathematical change. Mathematical engineering is an important part of contemporary mathematics and it roughly consists of the “construction” and development of various machines, probes and instruments used in numerous mathematical fields. As an example of such constructions, I briefly present the basic steps and properties of homology theory. I then try to show that this aspect of contemporary mathematics has important consequences on our conception (...)
