Research output

Chapter (in Edited Book) ()

"How did the serpent of inconsistency enter Frege's paradise?" (Forthcoming)

Citation
Wright C (2017) "How did the serpent of inconsistency enter Frege's paradise?" (Forthcoming). In: Ebert P, Rossberg M (ed.). Essays on Frege's Basic Laws of Arithmetic, Oxford UK: Oxford University Press.

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

StatusIn press
EditorEbert P, Rossberg M
AuthorsWright Crispin
Publication date2017
PublisherOxford University Press
Place of publicationOxford UK
LanguageEnglish
© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal