Os objetivos do projeto são fundamentalmente teóricos: examinar questões relativas à filosofia da lógica e filosofia e fundamentos da matemática da tríplice perspectiva ontológica, epistemológica e semântica. No entanto, alguns dos assuntos a serem tratados possuem conexões naturais com o conceito de computabilidade, de forma tal que não está excluida a possibilidade de aplicações práticas dos resultados alcançados. Outrossim, vários problemas dizem respeito ao ensino da lógica e da matemática, com o qual também não fica excluida a possibilidade de aplicações no âmbito do ensino.
