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 [chez] uniroma3.it

- Francis BAILLY

Physique - CNRS Meudon
bailly [chez] cnrs-bellevue.fr

- Denis BONNAY

Philosophie et Logique - Doctorant à l’Université Paris 1 et PPS
denisbonnay [chez] aol.com

- Gabriella CROCCO

Philosophie - Université d’Aix-en-Provence
gabriella.crocco [chez] wanadoo.fr

- Patrick DEHORNOY

Mathématiques - Université de Caen, Institut Universitaire de France
dehornoy [chez] math.unicaen.fr

- Gilles DOWEK

Informatique - INRIA et Ecole Polytechnique
Gilles.Dowek [chez] polytechnique.fr

- Jean-Yves GIRARD

Logique Mathématique - Institut de Mathématique de Luminy
girard [chez] iml.univ-mrs.fr

- Jean-Baptiste JOINET

Logique et Philosophie - Université Paris 1 et CNRS-PPS
joinet [chez] univ-paris1.fr

- Pierre LIVET

Philosophie - Université d’Aix-en-Provence
Pierre.Livet [chez] up.univ-mrs.fr

- Giuseppe LONGO

Informatique - Ecole Normale Supérieure
longo [chez] di.ens.fr

- Paul-André MELLIES

Informatique - CNRS-PPS
mellies [chez] pps.jussieu.fr

- Frédéric NEF

Philosophie - E.H.E.S.S.
fredericnef [chez] aol.com

- Thierry PAUL

Mathématiques - Ecole Normale Supérieure
thierry.paul [chez] ens.fr

- Jean-Michel SALANSKIS

Philosophie - Université Paris 10
jmsalans [chez] u-paris10.fr

- Giovanni SAMBIN

Logique mathématique - Università di Padova
sambin [chez] math.unipd.it

- Bernard TEISSIER

Mathématiques - Université Paris 7
teissier [chez] math.jussieu.fr

- Samuel TRONCON

Philosophie - doctorant à l’Université d’Aix-Marseille et à l’IML
troncon [chez] iml.univ-mrs.fr

PLANNING DES EXPOSES

Jeudi
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
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
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 [chez] 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 [chez] 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

commenter, laisser un message


Contact

Groupe LIGC
c/o Jean-Baptiste Joinet
UFR de Philosophie
Université Paris 1
17 rue de la Sorbonne
75231 Paris cedex 05
joinet[/at/]univ-paris1.fr

Liste de diffusion
Liens

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique