The final section of Ch. 8 sits rather uneasily with what’s gone before. The preceding sections are about arithmetic and ordinary arithmetic induction, while this one briskly touches on issues arising from Feferman’s work on predicative analysis, and iterating reflection into the transfinite. It also considers whether there is a sense in which a rather different (and stronger) theory given by Paul Lorenzen some fifty years ago can also be called ‘predicative’. There is a page here reminding us of something of the historical genesis of the notion of predicativity: but there is nothing, I think, in this section which helps us get any clearer about the situation with arithmetic, the main concern of the chapter. So I’ll say no more about it.
- Now 125+ Logical Snippets at https://t.co/8BzsQyJzhO Answers to qns of interest to beginning/intermediate logic students. Spread the word!, 1 hour ago
- RT @I__Love__Italy: Venice https://t.co/EIGQrKe0JD, Nov 20
- Was fine exhib at Nat Gal of C19 purchases, incl “Botticelli” that’s now OBV not! Bet this’ll be in 2117 exhib of… https://t.co/RAqeFr6Xsx, Nov 16
- RT @JohnRentoul: @georgeeaton Let’s build on it & create an island megalopolis! https://t.co/vc4bjQGR3c, Nov 16
- RT @venezia_56: Dogana da Mar #Benoni Punta della Salute Sull' orizzonte la Giudecca e la Chiesa e Ospizio delle Zitelle… https://t.co/QVvYr6qAOK, Nov 16