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.