 This article is an outcome of the project “Philosophie et histoire de la logique. Les concepts formels” at the University of Geneva, in which I was involved from January to September 2004. I am indebted to the University of Geneva for financial support. I also wish to thank Gideon Rosen and Edward N. Zalta for constructive criticism and helpful advice.