Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorShapiro, Stewart
dc.contributor.authorUzquiano, Gabriel
dc.contributor.editorEbert, Philip A.
dc.contributor.editorRossberg, Marcus
dc.date.accessioned2018-12-10T09:38:20Z
dc.date.available2018-12-10T09:38:20Z
dc.date.issued2016-12-08
dc.identifier242527004
dc.identifier8c7bbec1-c929-451f-abb7-e21a0710ebad
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 . https://doi.org/10.1093/acprof:oso/9780199645268.003.0014en
dc.identifier.isbn9780199645268
dc.identifier.urihttps://hdl.handle.net/10023/16655
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.format.extent165000
dc.language.isoeng
dc.publisherOxford University Press
dc.relation.ispartofAbstractionismen
dc.subjectZermeloen
dc.subjectFregeen
dc.subjectReflectionen
dc.subjectIterationen
dc.subjectSeten
dc.subjectConservationen
dc.subjectBad Companyen
dc.subjectExtensionen
dc.subjectB Philosophy (General)en
dc.subjectBC Logicen
dc.subject.lccB1en
dc.subject.lccBCen
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
dc.identifier.doihttps://doi.org/10.1093/acprof:oso/9780199645268.003.0014
dc.date.embargoedUntil2018-12-08


This item appears in the following Collection(s)

Show simple item record