La cathédrale Saint-Étienne de Metz (anglais)

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.

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.

Résumé : La logique contemporaine développe des méthodes d'analyse applicables à un vaste champ de questions philosophiques. Celles-ci touchent par exemple à la vérité, la signification, la référence, le possible et le nécessaire, la temporalité, les preuves de l'existence de Dieu, aussi bien que la validité des inférences, l'axiomatique ou la formalisation des théories. Ce manuel d'introduction a pour ambition d'offrir aux étudiants et à tout lecteur philosophe une culture ainsi qu'une formation de base en logique. L'objectif est de donner accès à cette vaste partie de la littérature philosophique contemporaine qui suppose connus les concepts et les méthodes fondamentales de la logique formelle.