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.