Logique inductive et probabilite: 1945-1970

La constitution d'une logique inductive est le projet auquel Carnap consacra la plus grande partie de sa carriere philosophique, du debut des annees quarante a la fin de sa vie en 1970. L'objectif etait de donner a la science empirique un cadre formel comparable a celui que la logique deductive offrait aux mathematiques, en proposant une analyse conceptuelle de ce qu'on appelle la confirmation d'une hypothese par des donnees. D'autres avant lui avaient envisage une approche probabiliste de la logique inductive. L'originalite de Carnap tient dans son interpretation logique des probabilites, fondee sur le developpement d'une analyse semantique originale qui s'inspire autant du Tractatus logico-philosophicus de Wittgenstein que des travaux de Tarski. Les textes ici reunis sont traduits pour la premiere fois en francais. Ils eclairent non seulement l'histoire de la logique inductive au XXe siecle mais egalement les origines de quelques-unes des questions majeures de la philosophie des sciences contemporaine, comme le probleme de la confirmation ou le bayesianisme en epistemologie.