La logique contemporaine développe des méthodes d'analyse applicables à un vaste champ de questions philosophiques. Celles-ci touchent par exemple à la vérité, la signification, la référence, le possible et le nécessaire, la temporalité, les preuves de l'existence de Dieu, aussi bien que la validité des inférences, l'axiomatique ou la formalisation des théories. Ce manuel d'introduction a pour ambition d'offrir aux étudiants et à tout lecteur philosophe une culture ainsi qu'une formation de base en logique. L'objectif est de donner accès à cette vaste partie de la littérature philosophique contemporaine qui suppose connus les concepts et les méthodes fondamentales de la logique formelle