Mes recherches en logique formelle et en philosophie des sciences portent essentiellement sur les fondements des mathématiques et les fondements de la physique dans leurs aspects techniques, critiques, historiques et philosophiques. Sur le plan proprement philosophique, je défends une thèse constructiviste radicale qui consiste à montrer que l'arithmétique et sa logique interne ou théorie des nombres sont au fondement des théories mathématiques.

En philosophie de la physique, mon point de vue antiréaliste a mis l'accent sur la logique interne des théories physiques et de la physique mathématique dans le même esprit constructiviste.

Enfin, j'ai aussi mené des recherches parallèles sur la logique dialectique de Hegel et j'ai pu montrer qu'il s'agit d'une syllogistique traditionnelle accouplée au procès dynamique de la sursomption (Aufhebung) à l'aide d'une opération de double négation.

Mes recherches portent principalement sur des questions de logique, fondements des mathématiques et de la philosophie des mathématiques. Elles se découpent grossièrement en trois champs qui s'entrecoupent: la portée philosophique et les applications de la logique catégorique, les fondements des mathématiques dérivant de la théorie des catégories et, finalement, l'épistémologie et l'ontologie des mathématiques contemporaines.