Science formelle et science du réel

[Rudolf Carnap : « Formalwissenschaft und Realwissenschaft », Erkenntnis, 5, n°1, 1935, pp. 30-37]. – Ce texte présenté et traduit de l'allemand par Pierre Wagner, publié avec l'autorisation de Carus Publishing, est issu d'un exposé présenté par Carnap lors de la conférence de Prague, tenue du 31 août au 2 septembre 1934. Comment la méthode syntaxique – i.e. l'expulsion de la signification des termes d'une langue au profit de la forme et de l'ordre des signes qui la composent – permet-elle de justifier la thèse soutenue par Carnap selon laquelle la science formelle est un système de propositions vides de contenu ? Contrairement à « La langue de la physique comme langue universelle de la science » (cf. chapitre 6) le présent texte ne porte pas sur les sciences empiriques (que Carnap appelle « sciences du réel »), mais sur les sciences formelles. Dedans, il y présente sa conception des propositions mathématiques et montre pourquoi la distinction entre science formelle et « science du réel » ne contredit pas selon lui la thèse de l'unité de la science. – Tableau, p. 454 ; Références bibliographiques, p. 459.

F. F.