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)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.
Similar books and articles
How to Characterize Provably Total Functions by Local Predicativity.Andreas Weiermann - 1996 - Journal of Symbolic Logic 61 (1):52-69.
Tarski's Conceptual Analysis of Semantical Notions.Solomon Feferman - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 72.
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]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
Poincaré: Mathematics & Logic & Intuition.Colin Mclarty - 1997 - Philosophia Mathematica 5 (2):97-115.
Subsystems of Quine's ``New Foundations'' with Predicativity Restrictions.M. Randall Holmes - 1999 - Notre Dame Journal of Formal Logic 40 (2):183-196.
Predicativity and Structuralism in Dedekind's Construction of the Reals.Audrey Yap - 2009 - Erkenntnis 71 (2):157 - 173.
Comments on “Predicativity as a philosophical position” by G. Hellman.Solomon Feferman - 2004 - Revue Internationale de Philosophie 3:313-323.
Added to index2009-01-28
Total downloads31 ( #166,463 of 2,172,871 )
Recent downloads (6 months)1 ( #324,901 of 2,172,871 )
How can I increase my downloads?