Projeto
Estudo do Logicismo iniciado por Gottlob Frege, bem como o projeto Neo-Fregeano de Crispin Wright e Bob Hale.