Jean-Baptiste Joinet (dir.)
Publications de la Sorbonne, Paris, 2007
Auteur(s) : Jean-Baptiste Joinet (dir.)
Editeur(s) : Publications de la Sorbonne
Collection : Logique, langage, sciences, philosophie
Edition : 1ère édition
Parution : 13/09/2007
Nb de pages : 240 pages
Format : 16 x 24
Couverture : Broché
Poids : 394 g
Intérieur : Noir et Blanc
Langue : Français
ISBN10 : 2-85944-584-6
ISBN13 : 978-2-85944-584-3
EAN13 : 9782859445843
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.
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).
Groupe LIGC
c/o Jean-Baptiste Joinet
UFR de Philosophie
Université Paris 1
17 rue de la Sorbonne
75231 Paris cedex 05
joinet ULB univ-paris1.fr