La machine en logique

Quels sont les problèmes philosophiques soulevés par les ordinateurs et par l'informatique ? Les réponses les plus fréquentes invoquent l'intelligence artificielle, la pensée des machines ou les théories computationnelles de l'esprit. Mais ces réponses occultent la possibilité d'une autre ouverture philosophique sur l'informatique, conçue à partir d'une réflexion sur la machine en logique. Comment comprendre que la logique, qui est à la fois une discipline de la pensée et un instrument d'analyse du langage, puisse devenir aussi bien une science des machines informatiques ? Pierre Wagner montre pourquoi la machine s'est progressivement imposée, depuis les années trente, comme l'un des objets majeurs de l'analyse logique ; et à partir de cette réflexion d'ordre historique, il trace les linéaments d'une philosophie des machines informatiques qui ne se réduit pas aux questions d'intelligence artificielle ou de théorie de l'esprit. L'ouvrage se présente également comme une introduction à certaines notions logiques fondamentales (les machines de Turing, le lambda-calcul, la correspondance de Curry-Howard...) dont l'auteur met en évidence la portée philosophique.