Qu'est-ce que la logique ? Cet ouvrage aide à comprendre cette discipline en décrivant les questions que se posent les logiciens, les certitudes acquises et la variété des projets qui animent leurs recherches. Il expose clairement les bases de la logique contemporaine, ses origines historiques, les nouvelles directions prises, dans les années 1950, par les recherches logiques telles l'étude des structures syntaxiques et sémantiques des langues naturelles, l'informatique théorique, l'intelligence artificielle... ou encore les sciences cognitives.
Pierre Wagner est maître de conférences à l'Université de Paris I et membre de l'Institut d'histoire et philosophie des sciences et des techniques.