Metz médiévale (anglais)

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.

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.

Comment les mathématiques, pure création de l'esprit humain, peuvent-elles s'appliquer au monde réel qui nous entoure? Comment les géométries non euclidiennes, nées de spéculations abstraites, peuvent-elles décrire l'atome ou l'Univers? Comment la pure logique du calcul des probabilités peut-elle servir à établir les lois de la physique ou les statistiques des assurances? Ce sont ces questions qu'affronte dans l'entre-deux guerres l'empirisme logique, ce grand courant du rationalisme européen qui suscite aujourd'hui un intérêt nouveau. Ses grandes figures, Carnap, Schlick. Reichenbach et quelques autres, ont été des penseurs très différents et profondément originaux. La philosophie des sciences contemporaine a encore de nombreuses leçons à tirer de leurs innovations conceptuelles et de leurs débats internes, mais aussi de la réflexion sur les limites de leur démarche et sur les obstacles qu'ils ont rencontrés. Biographie de l'auteur Jacques Bouveresse est professeur au Collège de France, titulaire de la chaire de philosophie du langage et de la connaissance. Il a publié près d'une trentaine d'ouvrages, dont récemment Peut-on ne pas croire? Sur la vérité, la croyance et la foi et La Connaissance de l'écrivain, Sur la littérature, la vérité et la vie. Pierre Wagner est maître de conférences à l'université Paris I. Il est l'auteur de La Logique.