我要吃瓜

Citation

Wright C (2019) "How did the serpent of inconsistency enter Frege's paradise?". In: Ebert PA & Rossberg M (eds.) Essays on Frege's Basic Laws of Arithmetic. Oxford UK: Oxford University Press, pp. 411-436. https://global.oup.com/academic/product/essays-on-freges-basic-laws-of-arithmetic-9780198712084?prevNumResPerPage=60&lang=en&cc=gb#

Abstract
My project here is the appraisal of Michael Dummett's diagnosis that the inconsistency of Frege’s system in Grundgesetze is attributable to his neglect of the indefinite extensibility of fundamental mathematical concepts. I address a problem that obscures the usual intuitive characterisations of the notion of indefinite extensibility, and offer thereby what I believe to be the correct characterisation of the notion. En passant, some issues are reviewed about the "size" of indefinitely extensible concepts. And that will bring us into position to scrutinise the connections of the notion as characterised with paradox, and specifically the paradox that Russell found for Frege’s Basic Law V. It will be argued that Dummett’s diagnosis is apt for the Burali-Forti paradox, wrong for Cantor’s paradox, and correct for the paradox inherent in Law V only on the assumption that full classical imperative higher-order logic is indeed wholly logical.

Keywords
Indefinite Extensibility; Russell's Paradox; Burai-Forti Paradox; Cantor's Paradox;Higher-Order Logic

• Accepted manuscript