David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
A specification of a mathematical object is impredicative if it essentially involves quantification over a domain which includes the object being specified (or sets which contain that object, or similar). The basic worry is that we have no non-circular way of understanding such a specification. Predicativism is the view that mathematics should be limited to the study of objects which can be specified predicatively. There are two parts to predicativism. One is the criticism of the impredicative aspects of classical mathematics. The other is the positive project, begun by Weyl in Das Kontinuum (1918), to reconstruct as much as possible of classical mathematics on the basis of a predicatively acceptable set theory, which accepts only countably infinite objects. This is a revisionary project, and certain parts of mathematics will not be saved. Chapter 2 contains an account of the historical background to the predicativist project. The rigorization of analysis led to Dedekind's and Cantor's theories of the real numbers, which relied on the new notion of abitrary infinite sets; this became a central part of modern classical set theory. Criticism began with Kronecker; continued in the debate about the acceptability of Zermelo's Axiom of Choice; and was somewhat clarified by Poincaré and Russell. In the light of this, chapter 3 examines the formulation of, and motivations behind the predicativist position. Chapter 4 begins the critical task by detailing the epistemological problems with the classical account of the continuum. Explanations of classicism which appeal to second-order logic, set theory, and primitive intuition are examined and are found wanting. Chapter 5 aims to dispell the worry that predicativism might collapses into mathematical intuitionism. I assess some of the arguments for intuitionism, especially the Dummettian argument from indefinite extensibility. I argue that the natural numbers are not indefinitely extensible, and that, although the continuum is, we can nonetheless make some sense of classical quantification over it. We need not reject the Law of Excluded Middle. Chapter 6 begins the positive work by outlining a predicatively acceptable account of mathematical objects which justifies the Vicious Circle Principle. Chapter 7 explores the appropriate shape of formalized predicative mathematics, and the question of just how much mathematics is predicatively acceptable. My conclusion is that all of the mathematics which we need can be predicativistically justified, and that such mathematics is particularly transparent to reason. This calls into question one currently prevalent view of the nature of mathematics, on which mathematics is justified by quasi-empirical means.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Geoffrey Hellman (2004). Predicativism as a Philosophical Position. Revue Internationale de Philosophie 3:295-312.
Christopher Pincock (2009). Towards a Philosophy of Applied Mathematics. In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave Macmillan
Shaughan Lavine (1995). Finite Mathematics. Synthese 103 (3):389 - 420.
John Bigelow (1988). The Reality of Numbers: A Physicalist's Philosophy of Mathematics. Oxford University Press.
Carlo Cellucci (2013). Philosophy of Mathematics: Making a Fresh Start. Studies in History and Philosophy of Science Part A 44 (1):32-42.
Alan Baker (2003). The Indispensability Argument and Multiple Foundations for Mathematics. Philosophical Quarterly 53 (210):49–67.
Anne Newstead & Franklin James (2008). On the Reality of the Continuum. Philosophy 83 (01):117-28.
Solomon Feferman, Relationships Between Constructive, Predicative and Classical Systems of Analysis.
Geoffrey Hellman (1994). Real Analysis Without Classes. Philosophia Mathematica 2 (3):228-250.
Thomas Tymoczko (1991). Mathematics, Science and Ontology. Synthese 88 (2):201 - 228.
Raymond Louis Wilder (1965/2012). Introduction to the Foundations of Mathematics: Second Edition. Dover Publications, Inc..
Paul Anthony Wilson, Constructing Numbers Through Moments in Time: Kant's Philosophy of Mathematics.
José Ferreirós (2011). On Arbitrary Sets and ZFC. Bulletin of Symbolic Logic 17 (3):361-393.
Colin Mclarty (1997). Poincaré: Mathematics & Logic & Intuition. Philosophia Mathematica 5 (2):97-115.
Added to index2010-09-14
Total downloads20 ( #139,887 of 1,725,629 )
Recent downloads (6 months)3 ( #211,030 of 1,725,629 )
How can I increase my downloads?