148 IMPRESSIONS AND THE EXTERNAL WORLD
dans une relation telle avec ceux de qu’un énoncé vérifié confère une probabilité déterminée à un énoncé e sur le domaine . Cette relation n’est pas simplement une correspondance univoque ; à chaque correspond une classe d’énoncés e, dont chacun est coordonné à avec une probabilité différente (et inversement). Supposons maintenant deux déclarations et avec les caractères suivants :
Nous allons maintenant introduire deux langages ; le langage le plus étroit peut être défini par la signification de vérité en combinaison avec le principe de rétrogression, le langage le plus large par la signification de probabilité. Le langage plus large appellera les énoncés et différents. Le langage plus étroit les acceptera également comme significatifs parce qu’ils impliquent des prédictions pour le domaine ; ce langage, cependant, ne peut reconnaître aucune différence entre et parce que les prédictions impliquées pour sont les mêmes, et que toute différence est basée sur un calcul de probabilités qui sont trop faibles pour servir de vérification pratique. Le langage plus étroit qualifie donc les énoncés et d’équivalents. Pour ce langage, il y a autant de signification dans un énoncé que ce qui peut être vérifié (absolument ou pratiquement) dans ; ce langage peut donc remplacer les énoncés et par l’énoncé , si est conçu comme impliquant les mêmes prédictions pour , et qualifier d’équivalent et .
Le langage du positiviste concernant le monde cubique est de ce type. Dans le langage réaliste, et sont deux hypothèses différentes sur les oiseaux et est la description coordonnée des paires d’ombres. La restriction