- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History
Oxford, England: Oup Usa (2004)
Add citations
You must login to add citations.
|
|
|
W. Tait, The provenance of pure reason. Essays in the philosophy of mathematics and its history. New York: Oxford University Press, 2005. ix + 332 pp. £36.50. ISBN 0-19-514192-X. Reviewed by J. W.... |
|
|
A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics. |
|
|
Nosso objetivo neste artigo é o de lançar luz sobre alguns aspectos das concepções de Gödel acerca da percepção de conceitos. Começamos investigando a natureza e o papel da analogia entre percepção sensível e percepção de conceitos. A seguir, examinamos as conexões entre percepção de conceitos, razão e compreensão, tentando mostrar que a percepção de conceitos é compreensão de conceitos. Por fim, examinamos aqueles aspectos da concepção de Gödel em que a percepção de conceitos de fato se aproxima perigosamente da (...) |
|
|
Charles Parsons’ book “Mathematical Thought and Its Objects” of 2008 (Cambridge University Press, New York) is critically discussed by concentrating on one of Parsons’ main themes: the role of intuition in our understanding of arithmetic (“intuition” in the specific sense of Kant and Hilbert). Parsons argues for a version of structuralism which is restricted by the condition that some paradigmatic structure should be presented that makes clear the actual existence of structures of the necessary sort. Parsons’ paradigmatic structure is the (...) |
|
|
I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) |
|
|
I discuss some problems related to extreme mathematical realism, focusing on a recently proposed “shut-up-and-calculate” approach to physics. I offer arguments for a moderate alternative, the essence of which lies in the acceptance that mathematics is a human construction, and discuss concrete consequences of this—at first sight purely philosophical—difference in point of view. |
|
|
This is a survey of Gödel's perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert's program, using his published and unpublished articles and lectures as well as the correspondence between Bernays and Gödel on these matters. There is also an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end. |
|
|
Since the discovery of incommensurability in ancient Greece, arithmeticism and geometricism constantly switched roles. After ninetieth century arithmeticism Frege eventually returned to the view that mathematics is really entirely geometry. Yet Poincaré, Brouwer, Weyl and Bernays are mathematicians opposed to the explication of the continuum purely in terms of the discrete. At the beginning of the twenty-first century ‘continuum theorists’ in France (Longo, Thom and others) believe that the continuum precedes the discrete. In addition the last 50 years witnessed the (...) |
|
|
A Christian approach to scholarship, directed by the central biblical motive of creation, fall and redemption and guided by the theoretical idea that God subjected all of creation to His Law-Word, delimiting and determining the cohering diversity we experience within reality, in principle safe-guards those in the grip of this ultimate commitment and theoretical orientation from absolutizing or deifying anything within creation. In this article my over-all approach is focused on the one-sided legacy of mathematics, starting with Pythagorean arithmeticism (“everything (...) |
|
|
In response to comments on my book, Being Realistic about Reasons, by Justin Clarke-Doane, David Enoch and Tristram McPherson, and Gideon Rosen, I try to clarify my domain-based view of ontology, my understanding of the epistemology of normative judgments, and my interpretation of the phenomenon of supervenience. |
|
|
|
|
|
In 5, Tait identifies a set of reflection principles called equation image-reflection principles which Peter Koellner has shown to be consistent relative to the existence of κ, the first ω-Erdős cardinal 1. Tait also defines a set of reflection principles called equation image-reflection principles; however, Koellner has shown that these are inconsistent when m > 2, but identifies restricted versions of them which he proves consistent relative to κ 2. In this paper, we introduce a new large-cardinal property, the α-reflective (...) |
|
|
The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...) |
|
|
At the most general level, the concept of finitism is typically characterized by saying that finitistic mathematics is that part of mathematics which does not appeal to completed infinite totalities and is endowed with some epistemological property that makes it secure or privileged. This paper argues that this characterization can in fact be sharpened in various ways, giving rise to different conceptions of finitism. The paper investigates these conceptions and shows that they sanction different portions of mathematics as finitistic. |
|
|
The later Wittgenstein’s perspective on mathematical sentences as norms is motivated for sentences belonging to Hilbertian axiomatic systems where the axioms are treated as implicit definitions. It is shown that in this approach the axioms are employed as norms in that they function as standards of what counts as using the concepts involved. This normative dimension of their mode of use, it is argued, is inherited by the theorems derived from them. Having been motivated along these lines, Wittgenstein’s perspective on (...) |
|
|
Set theory deals with the most fundamental existence questions in mathematics—questions which affect other areas of mathematics, from the real numbers to structures of all kinds, but which are posed as dealing with the existence of sets. Especially noteworthy are principles establishing the existence of some infinite sets, the so-called “arbitrary sets.” This paper is devoted to an analysis of the motivating goal of studying arbitrary sets, usually referred to under the labels of quasi-combinatorialism or combinatorial maximality. After explaining what (...) |
|
|
The concept of the (full) unfolding of a schematic system is used to answer the following question: Which operations and predicates, and which principles concerning them, ought to be accepted if one has accepted ? The program to determine for various systems of foundational significance was previously carried out for a system of nonfinitist arithmetic, ; it was shown that is proof-theoretically equivalent to predicative analysis. In the present paper we work out the unfolding notions for a basic schematic system (...) |
|
|
The sum of all objects of a science, the objects’ features and their mutual relations compose the reality described by that sense. The reality described by mathematics consists of objects such as sets, functions, algebraic structures, etc. Generally speaking, the use of terms reality and existence, in relation to describing various objects’ characteristics, usually implies an employment of physical and perceptible attributes. This is not the case in mathematics. Its reality and the existence of its objects, leaving aside its application, (...) |
|
|
|
|
|
The initial motivating question for this thesis is what the standard of rigour in modern mathematics amounts to: what makes a proof rigorous, or fail to be rigorous? How is this judged? A new account of rigour is put forward, aiming to go some way to answering these questions. Some benefits of the norm of rigour on this account are discussed. The account is contrasted with other remarks that have been made about mathematical proof and its workings, and is tested (...) |
|
|
This monograph discusses the question of what it is to be a reason – mainly in practical ethics – and proposes an original contribution to metaethics.It critically examines theories of metaethical realism, constructivism and error theory and identifies several misunderstandings or unclarities in contemporary debates. Based on this examination, the book suggests a distinction between a conceptual question, that can be answered by pure first-personal thinking, and a material question, that targets responses to reasons as a natural phenomenon in space (...) |
|
|
There are some puzzles about G¨ odel’s published and unpublished remarks concerning finitism that have led some commentators to believe that his conception of it was unstable, that he oscillated back and forth between different accounts of it. I want to discuss these puzzles and argue that, on the contrary, G¨ odel’s writings represent a smooth evolution, with just one rather small double-reversal, of his view of finitism. He used the term “finit” (in German) or “finitary” or “finitistic” primarily to (...) |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-b9rvg uwo