9. Le formalisme – Juan Luis Gastaldi
Biographie
Juan Luis Gastaldi est un philosophe argento-italien basé à Zurich qui s’intéresse aux sciences formelles, à l’informatique, au langage et à l’histoire des idées. Après une maîtrise en sciences politiques à l’Universidad Nacional de Rosario (UNR, Argentine), il étudie les mathématiques à Paris 6, la philosophie à l’École nationale supérieure de Paris et complète une maîtrise à Paris 1. En 2014, il soutient, à l’Université de Bordeaux Montaigne, une dissertation doctorale en philosophie intitulée « Une archéologie logique du sens. Arithmétique et contenu dans le processus de mathématisation de la logique au XIX^e^ siècle », et s’engage alors dans une carrière professorale à Montpellier puis à Zurich. Depuis 2020, Juan Lius Gastaldi poursuit un second doctorat, cette fois en informatique, à l’ETH. Ses articles peuvent être lus dans Minds and Machines, Philosophy & Technology, Notices of the American Mathematical Society, Cités et Interdisciplinary Science Reviews.
Références
Aristote, Métaphysique.
Gastaldi, Juan Luis, « L’archéologie à l’épreuve des savoirs formels. Mathématiques et formalisation dans le projet d’une archéologie des savoirs », in L’épistémologie historique. Histoire et méthodes, Éditions de la Sorbonne, 2019.
—, « Computing Cultures: Historical and Philosophical Perspectives », Minds and Machines, vol. 34, nº 1, 2024, p. 1-10, doi:10.1007/s11023-023-09653-x.
—, « Toward A Critical Formalism: Philosophical and Theoretical Effects of a Mathematical Critique of LLMs », communication donnée au symposium Chat Token Vector (AI MODELS), Università Ca’ Foscari, Venezia, 2025.
Todorov, Tzvetan, Théorie de la littérature. Textes des formalistes russes, 1965.
Wittgenstein, Ludwig, Remarks on the Foundations of Mathematics, 1956.