|Abstract||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)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Andreas Weiermann (1996). How to Characterize Provably Total Functions by Local Predicativity. Journal of Symbolic Logic 61 (1):52-69.
G. Aldo Antonelli (1999). Conceptions and Paradoxes of Sets. Philosophia Mathematica 7 (2):136-163.
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.
Colin Mclarty (1997). Poincaré: Mathematics & Logic & Intuition. Philosophia Mathematica 5 (2):97-115.
M. Randall Holmes (1999). Subsystems of Quine's ``New Foundations'' with Predicativity Restrictions. Notre Dame Journal of Formal Logic 40 (2):183-196.
Audrey Yap (2009). Predicativity and Structuralism in Dedekind's Construction of the Reals. Erkenntnis 71 (2):157 - 173.
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 downloads17 ( #77,959 of 722,698 )
Recent downloads (6 months)1 ( #60,006 of 722,698 )
How can I increase my downloads?