RÉALISME, mathématique

2.  La réalité idéelle des concepts

La réalité immanente des totalités infinies en acte pose leur existence dans un monde séparé d'objets, qui ne sont pas obtenus par abstraction et idéalisation à partir des objets du monde sensible, encore qu'il arrive qu'un réaliste admette simultanément une genèse empirique des objets mathématiques, au moins des objets primitifs : les figures géométriques et les nombres entiers. L'univers mathématique du réaliste est une « Begriffssphäre », un monde d'objets idéels, conceptuels. Cantor considère que le problème de la « réalité » de l'infini est le même que celui de la « réalité » de n'importe quel concept. Et le développement du « matériau idéel » des mathématiques repose uniquement sur la « réalité immanente de leurs concepts », la réalité transcendante étant l'affaire des applications à la mécanique, l'astronomie et la physique. Il s'agit donc d'un développement interne selon des lois de connexion objective qui « ajustent » les nouveaux concepts aux concepts déjà connus et « éprouvés ». Ainsi le concept d'ensemble infini de points est « requis » par l'analyse des problèmes de convergence des séries trigonométriques. Cet auto-engendrement des concepts induit un « réalisme conceptuel » de type dynamique. On est loin du ciel fixe des Idées platoniciennes.

Pour un réaliste strict, le monde idéel objectif n'est pas seulement distinct du monde sensible extérieur et distinct du monde subjectif intérieur. Il est, en outre, irréductible à eux. C'est bien la conception de concepts en soi, détachés des objets qu'ils subsument et indépendants des sujets qui les conçoivent. Il s'ensuit une distinction providentielle entre la réalité, sensible ou mentale, située dans le temps et l'espace, et l'objectivité, qui fonde l'identité transindividuelle et transculturelle des concepts mathématiques. L'origine de cette distinction, explicitement introduite par Frege, vient de la théorie logique des significations objectives de Bolzano. Les significations ob […]