Abstract Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the" neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program,...
moreAbstract Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the" neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory.