La logique occupe dans la pensée contemporaine une place privilégiée : elle est, pour certains, une méthode universelle et, pour d'autres, l'accomplissement d'une rationalité arrogante.Pascal Engel montre combien les questions philosophiques que soulève la logique sont, au-delà de leur apparente technicité, des plus classiques. La logique, en effet, circonscrit le domaine du vrai : quelle est la nature des vérités logiques ? En quoi se distinguent-elles des autres vérités et sont-elles «nécessaires» ou «a priori» ? Décrivent-elles les lois d'un univers immuable ou sont-elles des règles et des conventions linguistiques que nous pourrions changer à notre guise ? Les inférences dont traite la logique et que l'on dit souvent triviales peuvent-elles être fécondes, comme le soutenait Leibniz, par la seule «force de la forme» ? Et qu'est-ce qu'une forme logique ?Faire une philosophie de la logique, ce n'est pas seulement inventorier des formes, c'est surtout analyser leurs conditions d'application au langage, à la pensée et à la réalité. Ainsi la logique retrouve-t-elle sa place : celle d'une théorie des conditions normatives de la rationalité, d'une norme du vrai.
