Les concepts de paradigme et de thématisation, par lesquels Jean Cavaillès décrit dans l’ouvrage posthume Sur la Logique et la théorie de la science la dynamique de l’activité mathématique, trouvent dans la théorie des catégories à la fois une illustration et une formalisation, et dans la dialectique hégélienne un précédent. Dans un premier temps, nous examinerons cette hypothèse, non sans définir le concept de thématisation et les quelques notions élémentaires de théorie des catégories qui nous serviront par la suite. Ensuite, (...) en supposant hégélienne la notion de « dialectique » employée par Cavaillès, nous vérifierons si le concept de « thématisation » peut prétendre décrire le processus dialectique de la logique hégélienne, interprétation dont nous trouverons l’esquisse chez William Lawvere. Enfin, nous mettrons à l’épreuve cette interprétation en analysant la dialectique hégélienne de l’être et du néant dans la Science de la logique et les Leçons sur l’histoire de la philosophie. Nous verrons ainsi comment la dialectique hégélienne peut tout à la fois décrire la pratique mathématique et s’y voir représenter. (shrink)

Les concepts de paradigme et de thématisation, par lesquels Jean Cavaillès décrit dans l’ouvrage posthume Sur la Logique et la théorie de la science la dynamique de l’activité mathématique, trouvent dans la théorie des catégories à la fois une illustration et une formalisation, et dans la dialectique hégélienne un précédent. Dans un premier temps, nous examinerons cette hypothèse, non sans définir le concept de thématisation et les quelques notions élémentaires de théorie des catégories qui nous serviront par la suite. Ensuite, (...) en supposant hégélienne la notion de « dialectique » employée par Cavaillès, nous vérifierons si le concept de « thématisation » peut prétendre décrire le processus dialectique de la logique hégélienne, interprétation dont nous trouverons l’esquisse chez William Lawvere. Enfin, nous mettrons à l’épreuve cette interprétation en analysant la dialectique hégélienne de l’être et du néant dans la Science de la logique et les Leçons sur l’histoire de la philosophie. Nous verrons ainsi comment la dialectique hégélienne peut tout à la fois décrire la pratique mathématique et s’y voir représenter. (shrink)

Les études récentes consacrées à la pensée épistémologique de Bachelard en France et en Italie mettent en évidence le caractère créatif et propulsif assigné aux mathématiques dans la construction du réel physique. Les travaux de Bachelard consacrés à la mécanique quantique dans les années '30, et en particulier à la physique théorique de Dirac, introduisent un concept particulier, celui de« rêverie anagogique » pour comprendre le caractère toujours plus abstrait et créateur de la mathématique dans la pensée des différents niveaux (...) de la réalité physique. Sur les traces de ce que Federigo Enriques qualifiait de « poésie mathématique », Bachelard propose une véritable « nouménologie mathématique » qui fournit les bases épistémiques pour comprendre I '« efficacité rationnelle » des mathématiques et leur application au réel. Pour toutes ces raisons, Bachelard utilisera dans ces années-là un terme nouveau pour désigner son engagement rationaliste: le « surrationalisme » qui condense ce qu' Enriques appelait « la philosophie implicite » dans les sciences, soit la « pensée des sciences » où, à travers la fonction jouée par la « rêverie anagogique », les mathématiques mettent en acte les « enjeux » continus du rationnel comme tel. (shrink)