46 MEANING
possible a pour limite supérieure la possibilité physique ; en ce sens, on peut dire que la décision d’adopter la signification physique est la décision quant aux opérations réalisables. Ce serait donc le but de l’épistémologie de construire une théorie de la physique dans laquelle toutes les propositions concernant notre monde seraient justifiées par la signification physique et n’auraient pas besoin d’être soutenues par le concept de signification logique.
Ce postulat n’est pas satisfait par les considérations développées précédemment. Nous avons constaté que les phrases concernant des événements d’un futur lointain, ou concernant la structure de l’atome, présupposent une signification logique parce qu’elles ne peuvent pas être vérifiées si les lois de la physique s’appliquent. Mais si cela est vrai, nous avons le sentiment qu’une telle justification par la signification logique fait violence à ce que nous pensons réellement. Nous ne sommes pas d’accord pour accepter une phrase sur la température à l’intérieur du soleil uniquement parce que nous pouvons imaginer un thermomètre qui continue docilement à remplir ses fonctions dans des conditions où tous les autres corps sont vaporisés. Nous ne croyons pas que les énoncés physiques concernant la structure de l’atome ont une signification uniquement parce que nous pouvons imaginer notre propre corps réduit aux dimensions atomiques, observant le mouvement des électrons comme nous observons le lever du soleil. Il doit y avoir quelque chose d’erroné dans notre théorie de la signification ; et nous allons essayer de découvrir ce que c’est.
Une issue à cette difficulté a été indiquée par le pragmatisme et le positivisme. Elle consiste à introduire un second type de vérification, que nous appellerons vérification indirecte. Il existe des propositions qui ne peuvent pas être vérifiées directement, mais qui peuvent être réduites d’une certaine manière à d’autres propositions susceptibles d’être vérifiées directement. Appelons
