La naissance de la théorie des types

La théorie des types que Bertrand Russell proposa en 1908 ne se voulait pas une solution ad hoc au problème des contradictions, elle prétendait plutôt être la solution naturelle, celle que tout le monde reconnaîtra comme la solution attendue. En fait, il s'agit d'une théorie philosophique qui concrétise un projet grandiose: réduire les mathématiques à la logique. Le présent texte se propose d'examiner les thèses russelliennes et la dynamique de leur évolution de 1903 à 1907, c'est-à-dire des Principles à la naissance de la théorie des types.The theory of types that Bertrand Russell proposed in 1908 didn't present itself as an ad hoc solution to the problem of contradictions. Rather it pretended to be the natural solution, the one that everybody would recognize as the expected solution. In fact, it is a philosophical theory materializing an imposing project: to reduce mathematics to logic. This paper examines the russellian theses and their evolution from 1903 to 1907 i.e. from the Principles to the birth of the theory of types