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.