Nous reconsidérons les arguments de Zénon d’Élée dits de l’« Achille » et de la « Dichotomie », en réunissant les perspectives de plusieurs disciplines, dont l’histoire de la philosophie ancienne, l’histoire et la philosophie des mathématiques, et la philosophie du temps. Nous soutenons que les réponses ordinairement données à ces arguments au XXe siècle, d’après lesquelles la mathématique moderne nous donne les moyens de dissoudre l’aporie, sont erronées et s’accompagnent d’une vue faussée sur le problème originel, notamment sur le concept d’infini qu’il implique. Dans la première partie, nous étudions les sources sur Zénon et sur son contexte de réception, pour établir que l’infini est chez lui second par rapport à l’idée d’inachevabilité, qui découle d’un mode de raisonnement nouveau qu’on peut nommer « itératif indéfini ». Nous examinons comment Zénon a utilisé ce raisonnement dans l’élaboration d’apories dialectiques, et comment l’ensemble des systèmes antiques étaient susceptibles de résoudre ces dernières. Dans la seconde partie, nous défendons l’aporie zénonienne du mouvement. Nous montrons qu’elle repose sur un principe que nous nommons « principe d’achevabilité », lui-même ancré dans notre intuition temporelle du passage. À travers la considération de la littérature sur les « supertasks », des problèmes concernant la réalité et la nature du temps, des différents concepts d’infini, et de la réflexion métamathématique, nous montrons à la fois pourquoi les théories de l’infini mathématique sont, de fait, la seule raison conduisant à rejeter le principe d’achevabilité, et pourquoi elles ne sont pas, de droit, en mesure de justifier ce rejet. / We reconsider Zeno of Elea’s arguments known as “Achilles” and the “Dichotomy”, bringing together perspectives from several disciplines, including the history of ancient philosophy, the history and philosophy of mathematics and the philosophy of time. We contend that the usual contemporary answers to these arguments – according to which modern mathematics allow us to dissolve the aporia – are wrong, and carry a false view of the original problem, especially of the concept of infinity it implies. In the first part of the dissertation, we study the sources relevant to Zeno and his arguments’ reception context, in order to establish that Zeno’s infinite is dependant upon an idea of unachievability, acquired through to a new mode of reasoning that we call “indefinite iterative”. We examine the ways Zeno used this mode of reasoning in order to design dialectical aporias, and how ancient philosophical systems were capable of solving them. In the second part, we vindicate Zeno’s aporia of motion. We show that it rests on what we call “the achievability principle”, that itself is anchored in our intuition of passage. Through the consideration of problems relevant to so-called ‘supertasks’, to the reality and the nature of time, to the notion of infinity and to the metamathematical debate, we show, at the same time, how mathematical theories of the infinite are the only de facto reason to deny the achievability principle, and how they cannot, de jure, justify such a denial.

Ce mémoire a pour objectif principal l'analyse du concept de métalangage tel qu'il s'est développé en logique mathématique. L'introduction et la conclusion mises à part, chaque chapitre porte sur un auteur -logicien, mathématicien ou philosophe ayant contribué de manière significative à l'évolution de ce concept. Ces auteurs sont, en ordre de présentation, Gottlob Frege, Bertrand Russell, Ludwig Wittgenstein, David Hilbert, Kurt Godel et Alfed Tarski. Puisque la notion de métalangage s'est développée avec la formalisation progressive de la logique, une attention particulière est accordée à l'émergence des systèmes formels et à leur présentation. Trois périodes se dessinent dans la genèse de cette notion. Une première, que j'appelle « pré-météthéorique », où l'intervention d'une théorie externe au langage formel est rejetée catégoriquement, mais où certaines notions métathéoriques sont implicitement tracées. Une seconde, dite « hilbertienne », qui marque l'entrée en jeu de la métamathématique et qui consacre le métalangage dans l'étude des mathématiques, quoiqu'avec des moyens limités. Et une troisième, dite « tarskienne », où la notion moderne de métalangage est exposée. Par ailleurs, j'effectue une analyse détaillée de la preuve que Godel donne de son second théorème d'incomplétude où je prétends qu'il commet une erreur conceptuelle entre langage et métalangage. Enfin, en conclusion, j'explore une conception fondationnelle de la logique compatible avec l'étude métathéorique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Métalangage, Logique, Philosophie, Métamathématique, Godel, Tarski.