The Review of Symbolic Logic

Research Article

CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FOR ABSTRACT MATHEMATICS

JEAN-PIERRE MARQUIS 

Département de philosophie, Université de Montréal

Abstract

Feferman’s argument presented in 1977 seemed to block any possibility for category theory to become a serious contender in the foundational game. According to Feferman, two obstacles stand in the way: one logical and the other psychological. We address both obstacles in this paper, arguing that although Feferman’s argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

(Received March 28 2012)

Correspondence

DÉPARTEMENT DE PHILOSOPHIE and CIRST, UNIVERSITÉ DE MONTRÉAL, H3C 3J7 MONTRÉAL, QC, CANADA E-mail: jean-pierre.marquis@umontreal.ca