Département de philosophie, Université de Montréal
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)
DÉPARTEMENT DE PHILOSOPHIE and CIRST, UNIVERSITÉ DE MONTRÉAL, H3C 3J7 MONTRÉAL, QC, CANADA E-mail: email@example.com