De la logique à l’arithmétique. Pourquoi des logiques et des mathématiques constructivistes?

Abstract

Dans cet essai informel, je veux exposer les motivations et les motifs de l’approche constructiviste en logique et en mathématiques et, au-delà, dans le savoir scientifique en général et la physique théorique en particulier. Les questions fondationnelles dans ces domaines ne relèvent pas de la philosophie, mais la critique philosophique des fondements est ici un motif recteur ou un leitmotiv dans la mesure où elle départage les options théoriques d’une pratique scientifique souvent aveugle à ses propres présupposés doctrinaux. Il s’agit dès lors de la justification d’une option ou d’une posture philosophique critique dans le champ du savoir scientifique.