This thesis provides a clarification of Girard's recent work entitled "transcendental syntax". Girard suggests a reorganisation and a reinterpretation of concepts of mathematical logic coming from his previous works on linear logic, proof-nets, ludics and geometry of interaction. Unlike the approac…