Show simple item record

Files in this item


Item metadata

dc.contributor.authorShapiro, Stewart
dc.contributor.authorUzquiano, Gabriel
dc.contributor.editorEbert, Philip A.
dc.contributor.editorRossberg, Marcus
dc.identifier.citationShapiro , S & Uzquiano , G 2016 , Ineffability within the limits of abstraction alone . in P A Ebert & M Rossberg (eds) , Abstractionism : Essays in Philosophy of Mathematics . Oxford University Press .
dc.identifier.otherPURE: 242527004
dc.identifier.otherPURE UUID: 8c7bbec1-c929-451f-abb7-e21a0710ebad
dc.description.abstractThe purpose of this article is to assess the prospects for a Scottish neo-logicist foundation for a set theory. We show how to reformulate a key aspect of our set theory as a neo-logicist abstraction principle. That puts the enterprise on the neo-logicist map, and allows us to assess its prospects, both as a mathematical theory in its own right and in terms of the foundational role that has been advertised for set theory. On the positive side, we show that our abstraction based theory can be modified to yield much of ordinary mathematics, indeed everything needed to recapture all branches of mathematics short of set theory itself. However, our conclusions are mostly negative. The theory will fall far short of the power of ordinary Zermelo-Fraenkel set theory. It is consistent that our set theory has models that are relatively small, smaller than the first cardinal with an uncountable index. More important, there is a strong tension between the idea that the iterative hierarchy is somehow ineffable, or indefinitely extensible, and the neo-logicist theme of capturing mathematical theories with abstraction principles.
dc.publisherOxford University Press
dc.rightsCopyright the Authors 2017. This work has been made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript and as such may differ slightly from the final published version. The final published version of this work is available at:
dc.subjectBad Companyen
dc.subjectB Philosophy (General)en
dc.subjectBC Logicen
dc.titleIneffability within the limits of abstraction aloneen
dc.typeBook itemen
dc.contributor.institutionUniversity of St Andrews. School of Philosophical, Anthropological and Film Studiesen
dc.contributor.institutionUniversity of St Andrews. Philosophyen
dc.contributor.institutionUniversity of St Andrews. Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemologyen

This item appears in the following Collection(s)

Show simple item record