La logique. 2e édition

Résumé : Au moment où Carnap fait paraître L'Espace, en 1922, les mathématiques du XIXe siècle ont si profondément transformé la géométrie héritée d'Euclide et de Descartes que les questions soulevées par le concept d'espace sont multiples et âprement discutées : de quel genre d'objets est-il question en géométrie ? Quelles sont les sources de notre connaissance de l'espace ? Dans le même temps, la physique fait elle aussi surgir de nouvelles interrogations. La théorie de la relativité générale d'Einstein révolutionne en effet les conceptions usuelles des relations entre géométrie et expérience. Aussi n'est-il pas étonnant que le jeune Carnap, à l'issue de ses études de philosophie, de mathématiques et de physique à l'université d'Iéna, choisisse de contribuer à la "théorie de la science" par une thèse sur l'espace dans ses multiples significations. Cette oeuvre de jeunesse nous fait découvrir une première philosophie des sciences de Carnap, avant que, sous l'influence de la lecture du Tractatus de Wittgenstein, l'analyse logique du langage ne devienne sa méthode philosophique de prédilection. Il y a loin de cette réflexion empreinte de néokantisme et marquée par la pensée de Husserl au Carnap empiriste logique, membre du Cercle de Vienne, de La Construction logique du monde (1928) et de La Syntaxe logique du langage (1934). Mais son approche du problème de l'espace reste d'une étonnante pénétration philosophique.

Résumé : 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.

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 acquis 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. Biographie de l'auteur Pierre Wagner est maître de conférences à l'Université Paris 1, où il enseigne la logique et la philosophie des sciences, et membre de l'IHPST (Institut d'histoire et philosophie des sciences et techniques) IL a notamment dirigé Les philosophes et la science (Gallimard, "Folio Essais", 2002).