Σχολή

Théories dysfonctionnelles

La théorie ne sert à rien ...

mais elle a le mérite de nous faire perdre beaucoup de temps


9. Le formalisme – Juan Luis Gastaldi

Le concept philosophique de forme résiste aux définitions simples, il semble qu’il soit tojours déployé en rapport aux problèmes de son temps. À la frontière entre la philosophie, les arts et les sciences, différentes traditions formalistes repoussent les limites de ce que les humain·e·s peuvent se représenter et définir. Dans cet épisode, Juan Luis Gastaldi nous parle de la forme, une notion philosophique qui cherche à saisir les articulations entre l’immuable et le changement.

Télécharger l'audio au format MP3 Apple Podcasts

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.

Par ces balades dysfonctionnelles, nous espérons que vous ne retrouverez pas le temps perdu ... mais que vous continuerez à en perdre encore.