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.
- OK — In Logic 101, what would *you* say about names and quantifiers in English vs FOL? https://t.co/Q7MgNPOpse, Feb 24
- RT @LewyLib: #OnThisDay in 1903, Frank Plumpton Ramsey, the Cambridge philosopher, mathematician and economist and close friend… https://t.co/k8LkiqjzCv, Feb 22
- Just a reminder, LaTeX (not just) For Logicians has its own direct url: https://t.co/OCO2zdDxpy Spread the word! #LaTeX #Tex, Feb 21
- The Pavel Haas Quartet and friends obviously not enjoying themselves at all https://t.co/k4zl4Cz10l, Feb 20
- RT @Scruton_Quotes: "When I think of Schubert's death, and lament that he did not live to the age of Mozart, I think of the love that h… https://t.co/C9i5vBgDXY, Feb 20