I. 80 PHILOSOPHIE SCIENTIFIQUE ET EMPIRISME LOGIQUE
bien indépendante de tout idéalisme. D’autre part elle est complètement indépendante de toute hypothèse arbitraire, ces axiomes n’étant que de simples descriptions d’opérations qu’on peut effectuer sur des expressions construites d’après des règles données d’avance. Notons encore que ces axiomes sont construits sans l’aide des variables apparentes.
Comme la sémantique rationnelle nous permet de reconstruire toutes les mathématiques, nous pouvons constater que l’idéalisme a été éliminé d’une façon radicale du domaine qui a été jusqu’à présent son refuge le plus commode.
Le système d’une science objective, libre de tout idéalisme, une fois donné, nous pouvons nous en servir comme modèle de toute science rationnelle. Dans ce travail nous devons nous appuyer sur le bon sens ordinaire, ainsi que nous l’avons fait au début de la sémantique.
Le rôle de notre système-modèle sera ici plutôt négatif. Il s’agira tout simplement d’éviter les hypothèses arbitraires et l’hypercriticisme trop raffiné.
Cette méthode nous mène à constater qu’aucune théorie de la réalité ne peut devenir une partie essentielle de la science objective. En effet, nous pouvons montrer que toute théorie générale de la réalité doit être relative. Néanmoins il ne peut y avoir une réalité embrassant le sujet qui pense sur elle, ce qui nous fait aboutir dans tous les cas à une sorte de matérialisme. Cette méthode nous permet de retrouver tout ce qu’il y a de fécond dans la doctrine du matérialisme dialectique, tout en éliminant d’elle ses éléments irrationnels.
