La machine en logique

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.

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).

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.

Résumé : Achevée à l?aube du XIVe siècle, la nef de la cathédrale Saint-Étienne de Metz est, avec une hauteur sous voute de 42 m, l?une des cathédrales de France les plus élevées. Sa silhouette toute particulière résulte de la réunion de deux édifices perpendiculaires : Saint-Étienne et la collégiale Notre-Dame. Menées dans un souci d?unité de structure et de style, les constructions successives témoignent de la variété des influences issues de tous les horizons de l?Occident chrétien. L?élancement de la nef et l?importance des surfaces vitrées lui valent le surnom de "Lanterne de Dieu". Les immenses baies de la façade ouest et du transept (1392-1527) comptent parmi les plus vastes jamais réalisées au Moyen-Age et constituent un précieux témoignage de l?évolution de l?art du vitrail. Au XXe siècle, de grands créateurs contemporains contribuent à enrichir la vitrerie (Jacques Villon, Roger Bissière et Marc Chagall) comme l?exceptionnel mobilier liturgique, créé par Mattia Bonetti en 2006. Dans un texte d?une grande rigueur scientifique et largement documenté, l?auteur retrace l?histoire de la cathédrale puis propose une visite détaillée de l?extérieur vers l?intérieur du monument.