My research in formal logic and philosophy of science essentially focuses on the foundations of mathematics and the foundations of physics from technical, critical, historical and philosophical points of view. From a strictly philosophical viewpoint, I support a radical constructivist thesis that consists of showing that arithmetic or number theory and its internal logic are the building blocks of mathematical theories.

In philosophy of physics, my antirealist viewpoint emphasizes the internal logic of physical theories and of mathematical physics in the same constructivist spirit.

Lastly, I have also carried out parallel research into Hegel's dialectical logic and have been able to show that it is a traditional syllogistic logic coupled with the dynamic process of sublation or sursumption (Aufhebung) with the help of a double negation operation.

My research concerns modern philosophy (17^th and 18^th centuries), in particular Leibniz and the German and French Enlightenment. I am particularly interested in the epistemological and metaphysical aspects, such as the problem of individuation, the relationship between the mind and body, conceptions of space, analytical and synthetical methods, theories of hypothesis and definition, the systematic character of knowledge and the relations between mental faculties.

My recent research mainly deals with the reception of Leibniz in 18^th-century German and French philosophy. Some of my studies have also concerned Kant's philosophy, particularly his methodology.

My research mainly concerns questions of logic, the foundations of mathematics and the philosophy of mathematics. It can be divided roughly into 3 overlapping fields: the philosophical scope and applications of categorical logic, the foundations of mathematics deriving from category theory and, lastly, the epistemology and ontology of contemporary mathematics.