Neither categorical nor set-theoretic foundations

Research output: Contribution to journalReview article

Abstract

First we review highlights of the ongoing debate about foundations of category theory, beginning with Feferman's important article of 1977, then moving to our own paper of 2003, contrasting replies by McLarty and Awodey, and our own rejoinders to them. Then we offer a modest proposal for reformulating a theory of category of categories that would actually meet the objections of Feferman and Hellman and provide a genuine alternative to set theory as a foundation for mathematics. This proposal is more modest than that of our (2003) in omitting modal logic and in permitting a more top-down approach, where particular categories and functors need not be explicitly defined. Possible reasons for resisting the proposal are offered and countered. The upshot is to sustain a pluralism of foundations along lines actually foreseen by Feferman (1977), something that should be welcomed as a way of resolving this long-standing debate.

Original languageEnglish (US)
Pages (from-to)16-23
Number of pages8
JournalReview of Symbolic Logic
Volume6
Issue number1
DOIs
StatePublished - Mar 1 2013

Fingerprint Dive into the research topics of 'Neither categorical nor set-theoretic foundations'. Together they form a unique fingerprint.

Cite this