La logique est un compagnon naturel de la philosophie. Qu'est-ce qu'un raisonnement correct ? Qu'est-ce qu'une preuve ? Peut-on définir le concept de vérité ? Que faire face aux paradoxes ? Ces questions sont débattues par les philosophes depuis l'Antiquité. La logique moderne, usant de langages formels, développe une analyse rigoureuse de ces concepts les plus fondamentaux. Les onze textes classiques réunis ici proposent un retour réflexif sur cette discipline et sur la signification philosophique de ses achèvements. Ils s'adressent à quiconque souhaite prendre la mesure des enjeux conceptuels de la logique, et à tous les étudiants désireux de compléter leur apprentissage de la discipline par une réflexion épistémologique sur ses fondements.

Cet ouvrage présente l'objet, les méthodes et la portée de la logique déductive et constitue un élément stratégique et original dans l'oeuvre du philosophe. Il montre notamment que la logique est une partie du grand tout de la science, sans lui attribuer de statut épistémologique particulier, et permet d'éclairer les débats philosophiques.