David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
What is predicativity? While the term suggests that there is a single idea involved, what the history will show is that there are a number of ideas of predicativity which may lead to different logical analyses, and I shall uncover these only gradually. A central question will then be what, if anything, unifies them. Though early discussions are often muddy on the concepts and their employment, in a number of important respects they set the stage for the further developments, and so I shall give them special attention. NB. Ahistorically, modern logical and set-theoretical notation will be used throughout, as long as it does not conflict with original intentions.
|Keywords||No keywords specified (fix it)|
No categories specified
(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
Jeffrey W. Roland (2009). On Naturalizing the Epistemology of Mathematics. Pacific Philosophical Quarterly 90 (1):63-97.
Zhaohui Luo (2012). Formal Semantics in Modern Type Theories with Coercive Subtyping. Linguistics and Philosophy 35 (6):491-513.
Similar books and articles
Audrey Yap (2009). Predicativity and Structuralism in Dedekind's Construction of the Reals. Erkenntnis 71 (2):157 - 173.
M. Randall Holmes (1999). Subsystems of Quine's ``New Foundations'' with Predicativity Restrictions. Notre Dame Journal of Formal Logic 40 (2):183-196.
Colin Mclarty (1997). Poincaré: Mathematics & Logic & Intuition. Philosophia Mathematica 5 (2):97-115.
Toshiyasu Arai (2002). Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW] Bulletin of Symbolic Logic 8 (3):437-439.
G. Aldo Antonelli (1999). Conceptions and Paradoxes of Sets. Philosophia Mathematica 7 (2):136-163.
Solomon Feferman (2008). Tarski's Conceptual Analysis of Semantical Notions. In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press 72.
Andreas Weiermann (1996). How to Characterize Provably Total Functions by Local Predicativity. Journal of Symbolic Logic 61 (1):52-69.
Solomon Feferman (2004). Comments on “Predicativity as a philosophical position” by G. Hellman. Revue Internationale de Philosophie 3:313-323.
Added to index2009-01-28
Total downloads25 ( #108,415 of 1,699,716 )
Recent downloads (6 months)7 ( #88,892 of 1,699,716 )
How can I increase my downloads?