336 PROBABILITY AND INDUCTION
avec le langage uniquement, et non avec les objets du langage. Le langage est constitué de symboles dont l’utilisation est déterminée par certaines règles. La nécessité logique n’est donc rien d’autre qu’une relation entre symboles due aux règles du langage. Il n’y a pas de nécessité logique « inhérente aux choses », comme le soulignent les prophètes de toutes sortes d’« ontologie ». Le caractère de nécessité est entièrement du côté des symboles ; de telles nécessités, cependant, ne disent rien sur le monde parce que les règles du langage sont construites de telle manière qu’elles ne restreignent pas le domaine de l’expérience.
C’est pourquoi Carnap appelle la logique la syntaxe du langage. Il n’y a pas de lois logiques du monde, mais seulement des règles syntaxiques du langage. Ce que nous avons appelé un fait logique (§ 1), doit être appelé dans cette meilleure terminologie un fait syntaxique. Au lieu de parler du fait logique qu’une phrase ne peut être déduite d’une phrase , il vaut mieux parler d’un fait syntaxique : la structure des formules et est telle que la relation syntaxique de « déductibilité » n’existe pas entre elles.
La conception formaliste de la logique nous libère de tous les problèmes d’apriorisme, de toutes les questions de correspondance entre l’esprit et la réalité. Elle est pour cette raison la théorie logique naturelle de tout empirisme. Elle n’exige de nous aucune croyance en des lois non empiriques. Ce que nous savons de la nature est tiré de l’expérience ; la logique n’ajoute rien aux résultats de l’expérience car la logique est vide, elle n’est rien d’autre qu’un système de règles syntaxiques du langage.
Demandons-nous maintenant si nous pouvons insérer la logique des probabilités dans la conception formaliste de la logique. Il est évident qu’il s’agit là, pour toutes les variétés d’empirisme, d’une question fondamentale. Nous avons constaté que le concept de probabilité est indispensable à la connaissance, que la logique des probabilités détermine les méthodes d’investigation scientifique. Si nous ne pouvions pas donner une
