Logique, Dynamique Et Cognition

Preparing link to download Please wait... Download

E-Book Overview

Présentation de l'éditeur le présent volume regroupe les textes de conférences données lors de la rencontre " Logique mathématique, Informatique et Philosophie ", organisée en avril 2003 à l'université Paris I Panthéon-Sorbonne sous la direction de Jean-Baptiste Joinet. Ce colloque réunissait les principaux acteurs du collectif interdisciplinaire " Logique et Interaction : vers une Géométrie de la Cognition " (LIGC) et divers universitaires d'autres horizons. La première partie, intitulée la logique à la croisée des chemins, rassemble des réflexions sur les évolutions récentes de la logique et les aspects fondamentaux de la mathématisation de champs scientifiques spécifiques (physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet, F. Bailly et G. Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la logique et les mathématiques, et à tirer les leçons philosophiques de ces évolutions quant à la rationalité scientifique et l'intelligibilité de la nature. Dans la seconde partie, intitulée Questions sémantiques : réalisme, règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles sous l'angle des évolutions récentes de la logique dans son dialogue avec l'informatique fondamentale. Biographie de l'auteur Jean-Baptiste Joinet est maître de conférences en logique et épistémologie à l'UFR de philosophie de l'université Paris 1. Ses recherches sont consacrées à la logique (au sein de l'équipe Preuves-Programmes-Systèmes, CNRS-Univ. Paris 7) et à la philosophie de la logique, du langage et des sciences (au sein de l'équipe Philosophies contemporaines, EXeCO - Univ. Paris 1 et de LIGC, groupe de recherche interdisciplinaire en sciences et philosophie qu'il coordonne).

E-Book Content

Sous la di redion de Jean-Baptiste Joinet logique, dynamique et cognition logiquelangage SciencesPhi losophie PUBLICATIONS DE LA [email protected] LOGIQUE, DYNAMIQUE ET COGNITION Collection Logique, langage, sciences, philosophie Université Paris 1 – Panthéon-Sorbonne Logique, dynamique et cognition Sous la direction de Jean-Baptiste Joinet Ouvrage publié avec le concours du Conseil scientifique de l’université Paris 1 Publications de la Sorbonne 2007 C OLLECTION « L OGIQUE , LANGAGE , SCIENCES , PHILOSOPHIE » D IRECTEUR : Jean-Baptiste Joinet La collection Logique, langage, sciences, philosophie est dédiée au dialogue entre les sciences contemporaines, la logique et la philosophie. Elle est ouverte aux réflexions épistémologiques sur les méthodes, les objets et les fondements des sciences ; aux recherches en théorie de la connaissance et du langage ; aux enjeux philosophiques des transformations récentes de la logique au contact de l’informatique fondamentale et de son évolution actuelle vers une théorie générale de l’interaction, de valeur transdisciplinaire (interaction en biologie, physique, linguistique, économie . . .). c Publications de la Sorbonne, 2007 " 212, rue Saint-Jacques, 75005 Paris www.univ-paris1.fr Loi du 11 mars 1957 ISBN : 978-2-85944-584-3 ISSN à venir Sommaire Présentation 7 PREMIÈRE PARTIE. La logique à la croisée des chemins J.-Y. Girard, La logique comme géométrie du cognitif 13 J.-B. Joinet, Sur le temps logique 31 F. Bailly et G. Longo, Causalités et symétries dans les sciences de la nature. Le continu et le discret mathématiques 51 Th. Paul, La mécanique quantique vue comme processus dynamique 99 SECONDE PARTIE. Questions sémantiques : réalisme, règles et vérité