Il est devenu si courant aujourd'hui de

parler des logiques qu'on ne sait bien

souvent plus ce qu'est la logique. Cet

ouvrage donne à comprendre cette discipline

en décrivant le genre de questions

que se posent ou que se sont posées les

logiciens, le genre de certitudes qu'ils ont

acquises et la variété des projets qui

animent leurs recherches.

S'il expose avec clarté les bases de la

logique contemporaine et ses origines

historiques, l'auteur montre aussi que,

depuis les années 1950, les recherches

logiques ont pris de nouvelles directions,

comme l'étude des structures syntaxiques

et sémantiques des langues naturelles,

l'informatique théorique, l'intelligence

artificielle, la théorie des jeux,

l'analyse dynamique des croyances et de

la connaissance, ou encore les sciences

cognitives.