LIGC 2003 (Paris)

"Logique Mathématique, Informatique et Philosophie"


{{{OBJECTIFS SCIENTIFIQUES DU COLLOQUE}}} Depuis l'année 2000, un réseau interdisciplinaire (le groupe " Logique mathématique, Informatique et Philosophie") s'est mis en place, rassemblant un noyau d'universitaires et chercheurs relevant d'horizons divers (principalement des spécialistes de Logique mathématique, d'Informatique théorique et de Philosophie de la logique et des mathématiques). Entre autres activités, depuis sa création il y a trois ans, le groupe LMIP a été à  l'initiative de " Rencontres " régulières (à  Aix-en-Provence, à  Marseille, à  Rome). L'objectif de ce réseau est de provoquer, par le dialogue entre ces spécialités, l'élaboration d'une réflexion philosophique commune sur les métamorphoses récentes de cette discipline bi-millénaire qu'est la Logique dans le contexte de son interaction avec l'informatique théorique (enjeux philosophiques de l'abandon du paradigme des preuves-comme-textes, géométrisation de la notion de preuve, approche de la dynamique des preuves comme interaction, sémantique interactionnelle), mais aussi sur les implications épistémologiques de ces évolutions (intuitionnisme mathématique et monisme ontologique, réalisations physiques et biologiques de l'interaction calculatoire et communicationnelle, complexité calculatoire et complexité systémique du vivant, interaction et causalité). Sont en particulier visés les enjeux épistémologiques, sémantiques et ontologiques des théories récentes du calcul, de l'interaction et de la causalité. Les travaux du colloque se dérouleront en français. {{{ORATEURS}}} - {{Michele ABRUSCI}} {{Philosophie et Logique}} - Università  Roma tre _ abrusci mao uniroma3.it - {{Francis BAILLY}} {{Physique}} - CNRS Meudon _ bailly mao cnrs-bellevue.fr - {{Denis BONNAY}} {{Philosophie et Logique}} - Doctorant à  l'Université Paris 1 et PPS _ denisbonnay mao aol.com - {{Gabriella CROCCO}} {{Philosophie}} - Université d'Aix-en-Provence _ gabriella.crocco mao wanadoo.fr - {{Patrick DEHORNOY}} {{Mathématiques}} - Université de Caen, Institut Universitaire de France _ dehornoy mao math.unicaen.fr - {{Gilles DOWEK}} {{Informatique}} - INRIA et Ecole Polytechnique _ Gilles.Dowek mao polytechnique.fr - {{Jean-Yves GIRARD}} {{Logique Mathématique}} - Institut de Mathématique de Luminy _ girard mao iml.univ-mrs.fr - {{Jean-Baptiste JOINET}} {{Logique et Philosophie}} - Université Paris 1 et CNRS-PPS _ joinet mao univ-paris1.fr - {{Pierre LIVET}} {{Philosophie}} - Université d'Aix-en-Provence _ Pierre.Livet mao up.univ-mrs.fr - {{Giuseppe LONGO}} {{Informatique}} - Ecole Normale Supérieure _ longo mao di.ens.fr - {{Paul-André MELLIES}} {{Informatique}} - CNRS-PPS _ mellies mao pps.jussieu.fr - {{Frédéric NEF}} {{Philosophie}} - E.H.E.S.S. _ fredericnef mao aol.com - {{Thierry PAUL}} {{Mathématiques}} - Ecole Normale Supérieure _ thierry.paul mao ens.fr - {{Jean-Michel SALANSKIS}} {{Philosophie}} - Université Paris 10 _ jmsalans mao u-paris10.fr - {{Giovanni SAMBIN}} {{Logique mathématique}} - Università  di Padova _ sambin mao math.unipd.it - {{Bernard TEISSIER}} {{Mathématiques}} - Université Paris 7 _ teissier mao math.jussieu.fr - {{Samuel TRONCON}} {{Philosophie}} - doctorant à  l'Université d'Aix-Marseille et à  l'IML _ troncon mao iml.univ-mrs.fr {{{PLANNING DES EXPOSES}}} ||Jeudi|Résumé du Tableau|| | {{Horaire}} | {{Orateur}} | {{Titre de l'exposé}} | | 9h15 - 9h30 || Ouverture | | 9h30 - 10h30 | J-Y. GIRARD | Entre Logique et Quantique | | 10h30 - 11h30 | G. LONGO | Discret vs. continu mathématique et causalité | | 11h30 - 11h50 || Pause café | | 11h50 - 12h50 | F. BAILLY | Symétries et causalité en physique | | 12h50 - 14h30 || Pause déjeuner | | 14h30 - 15h30 | T. PAUL | Quelques idées issues de la Mécanique Quantique | | 15h30 - 16h30 | S. TRONCON | Interaction et signification | | 16h30 - 16h50 || Pause café | | 16h50 - 17h50 | D. BONNAY | Variété de la signification _ Questions autour de l'impact philosophique des extensions de l'isomorphisme de Curry-Howard | ||Vendredi|Résumé du Tableau|| | {{Horaire}} | {{Orateur}} | {{Titre de l'exposé}} | | 9h30 - 10h30 | J-B. JOINET | Le temps logique | | 10h30 - 11h30 | P-A. MELLIES | Qu'est-ce qu'une démonstration? Une approche concurrente et homotopique | | 11h30 - 11h50 || Pause café | | 11h50 - 12h50 | J-M. SALANSKIS | Y a-t-il une "Kehre" de la logique ? | | 12h50 - 14h30 || Pause déjeuner | | 14h30 - 15h30 | G. SAMBIN | Basic logic and the principle of reflection : a dynamic structure in the space of logics | | 15h30-16h30 | M. ABRUSCI | Théorie de la démonstration : de Hilbert à ï¿½ Gentzen | | 16h30 - 16h50 || Pause café | | 16h50 - 17h50 | P. LIVET | Logique Linéaire, ontologie, et méréologie | ||Samedi|Résumé du Tableau|| | {{Horaire}} | {{Orateur}} | {{Titre de l'exposé}} | | 9h30 - 10h30 | F. NEF | Quelle logique pour l'ontologie formelle des objets et des propriétés ? | | 10h30 - 11h30 | G. CROCCO | Qu'est-ce qu'une théorie des concepts selon Gödel ? | | 11h30 - 11h50 || Pause café | | 11h50 - 12h50 | G. DOWEK | La notion de modèle suppose-t-elle une définition réaliste de la vérité en mathématique ? | | 12h50 - 14h30 || Pause déjeuner | | 14h30 - 15h30 | P. DEHORNOY | Sur la Omega-logique de Woodin | | 15h30-16h30 | B. TEISSIER | La construction de l'intuition de l'infini en mathématiques | | 16h30 - 16h50 || Pause café | {{{RENSEIGNEMENTS PRATIQUES}}} - {{Lieu des exposés}} : Salle 216 _ Centre Panthéon (ancienne faculté de Droit) _ Université Paris 1 (Panthéon-Sorbonne) _ 12 Place du Panthéon _ 75005 Paris (Entrée possible par la rue Cujas, ou la rue Saint-Jacques) Métro : Luxembourg (prendre la rue Soufflot) Métros moins proches : Jussieu, Cluny-Sorbonne, Odéon - {{Contacts colloque}} : Jean-Baptiste Joinet _ UFR de Philosophie, Université Paris 1 _ 17 rue de la Sorbonne _ 75231 Paris cedex 05 joinet mao univ-paris1.fr - {{Logement des conférenciers}} : Hà´tel " Cujas Panthéon " _ 18 rue Cujas _ 75005 Paris Tél : (+33) 1 43 54 58 10 _Fax : (+33) 1 43 25 88 02 - {{Dîner de clôture (pour les conférenciers)}} : Le vendredi 25/04, 19h45 Restaurant Mabillon _ 3 rue Mabillon 75006 Paris Tél. 01 43 25 66 23 (Métro : Mabillon, à  10 bonnes minutes de marche de la Sorbonne) - {{Coordonnées de l'UFR de Philosophie de Paris 1}} : UFR de Philosophie (esc. C, 1er étage) _ Université Paris 1 (centre Sorbonne) _ 17 rue de la Sorbonne _ 75005 Paris. Secrétariat : _ Fax: 01 40 46 31 57 _ Tél: 01 40 46 31 68 _ email : philosec mao univ-paris1.fr {{{REMERCIEMENTS}}} Ce colloque a bénéficié du soutien : - du Département de Philosophie de l'Université Paris 1 - de l'Ecole doctorale de l'UFR de Philosophie de l'Université Paris 1 - du Conseil scientifique de l'Université Paris 1 - de l'Institut de Mathématiques de Luminy (CNRS-Marseille) - du département de Philosophie de l'Université d'Aix-en-Provence - du département de Philosophie de l'Université Roma tre

Contact
Groupe LIGC _ c/o [Jean-Baptiste Joinet->http://www-philo.univ-paris1.fr/Joinet] _ UFR de Philosophie _ Université Paris 1 _ 17 rue de la Sorbonne _ 75231 Paris cedex 05 _ joinet mao univ-paris1.fr
Liste de diffusion
Liens

Site propulsé par accatone/resurgences