SEMINAIRE DE LOGIQUE

English version: (english)


Sommaire

  • Présentation du Séminaire

  • Renseignements pratiques (Y assister, Etre informé)

  • Programme du Séminaire

  • Année 1996

  • Année 1997

  • Année 1998


  • Présentation du Séminaire de Logique de l'université Paris 1

    Ce Séminaire est organisé dans le cadre du département de Philosophie de l'université Panthéon-Sorbonne. Il s'adresse à un public plutôt large : aux spécialistes de logique (étudiants compris) et à tous ceux qui dans leur pratique professionnelle (en mathématiques, philosophie, informatique, IA, sciences cognitives, linguistique) rencontrent la Logique.

    Cette année, encore les travaux du séminaire sont centrés autour de la question:

    Qu'est-ce qu'une logique ?


    Les intervenants sont invités à expliquer comment, en tant que représentants des principales branches ou courants de la Logique et des différentes disciplines connexes, ils interprètent cette question, et à présenter les réponses qu'ils ont élaborées à partir de leur pratique.


    Renseignements pratiques sur le Séminaire de Logique

    Les séances du Séminaire ont lieu à la Sorbonne, en général un mardi sur deux, à 18h30, au 17 rue de la Sorbonne, 75005 Paris, UFR de Philosophie, esc.C, 1er étage, Salle Cuzin (ou Salle Halbwachs, voire Salle Cavaillès) .

  • Si vous connaissez des personnes potentiellement interessées, merci de me communiquer leurs coordonnées (adresse électronique de préférence).

  • S'il existe dans votre département un panneau sur lequel les affiches annoncant les séances du sém inaire meritent selon vous d'être apposées, merci de me communiquer les coordonnées du secrétariat responsable.

  • Si vous souhaitez être tenus au courant des activités du séminaire, envoyez-moi un e-mail


  • Le programme des exposés pour l'année 1996:

  • Lundi 18 mars:
    Vincent DANOS (CNRS, Université Paris 7. Logique mathématique et fondements de l'informatique).
    Titre de l'exposé: L'ACTE, LE CONCEPT, LE CALCUL.

  • Mardi 9 avril:
    Gilles DOWEK (INRIA).
    Titre de l'exposé: LE SENS DU CALCUL.

  • Lundi 6 mai:
    Jean-Baptiste
    JOINET (Université Paris 1).
    Titre de l'exposé: LE CALCUL DU SENS.

  • Lundi 20 mai:
    Pierre UZAN (Université Paris 1).
    Titre de l'exposé: VERS UNE LOGIQUE DU TEMPS PHYSIQUE.

  • Mardi 28 mai:
    Jean-Yves GIRARD (CNRS, Laboratoire de Mathématiques Discrètes, Théorie de la démonstration).
    Titre de l'exposé: LOGIQUE ET DUALITE.

  • Lundi 3 juin:
    Edward.L KEENAN (UCLA, Linguistique).
    Titre de l'exposé: OBJETS ET CONSTANTES LOGIQUES CARACTERISES EN TERMES D'INVARIANTS.

  • Lundi 10 juin:
    Daniel LASCAR (CNRS, Université Paris 7, Théorie des modèles).
    Titre de l'exposé: LES PREMIERS PAS DE LA THEORIE DES MODELES.

  • Lundi 17 juin:
    Jacques DUBUCS (CNRS, Université Paris 1, Logique formelle et Philosophie).
    Titre de l'exposé: LOGIQUE, CONNAISSANCE ET VERIFICATION.

  • Le programme des exposés pour l'année 1997:

  • Mardi 18 février:
    Jean-Louis
    KRIVINE (Université Paris 7. Logique mathématique et fondements de l'informatique).
    Titre de l'exposé: PREUVES ET ENSEMBLES.

  • Mardi 4 mars:
    Daniel LACOMBE (Université Paris 7. Logique et Linguistique).
    Titre de l'exposé: LANGUE ET LOGIQUE MATHEMATIQUES.

  • Mardi 18 mars:
    Susana BERESTOVOY (Université Paris 1. Logique mathématique).
    Titre de l'exposé: LOGIQUE NON STANDARD.

  • Mardi 1er avril:
    Christiane CHAUVIRÉ (Université Paris 1. Philosophie du Langage).
    Titre de l'exposé: LA LOGIQUE SELON WITTGENSTEIN.

  • Mardi 22 avril:
    Françoise GIRE (Université Paris 1. Informatique et base de données).
    Titre de l'exposé: DEFINITION ET EXPRESSIVITE D'UN LANGAGE DE REQUETE POUR BASES DE DONNEES.

  • Mardi 6 mai:
    Yannis DELMAS-RIGOUTSOS (Laboratoire d'Informatique Fondamentale de Lille).
    Titre de l'exposé: REFLEXIONS SUR CE QU'EST UNE LOGIQUE A PARTIR DE L'EXEMPLE DE LA LOGIQUE QUANTIQUE.

  • Mardi 17 juin:
    Yuri GUREVITCH (University of Michigan. Visiting Sorbonne).
    Titre de l'exposé: FINITE MODEL THEORY
    Abstract :
    Classical logic was developed to confront the Infinite, but in computer science applications it is often meaningful to restrict attention to finite structures e.g. databases.
    This phenomenon gave impetus to the development of finite model theory which happens to be quite different from classical model theory; complexity theory is often a useful guide. We survey these developments including a recent twist a la Hegel (thesis, antithesis, synthesis) concerning so-called meta-finite structures.


  • Le programme des exposés pour l'année 1998:

  • Lundi 9 février, 19h00 (ATTENTION: exceptionnellement, c'est un LUNDI !):
    Per MARTIN-LÖF (University of Stockholm. Logique mathématique. Th\éorie des types. Philosophie des Mathématiques).
    Titre de l'exposé: THE DISTINCTION BETWEEN SENSE AND REFERENCE IN CONSTRUCTIVE SEMANTICS

  • Mardi 3 mars, 18h30:
    Jean-Pierre RESSAYRE (Université Paris 7. Logique mathématique).
    Titre de l'exposé: LA LOGIQUE DES MATHEMATIQUES CLASSIQUES

    (Résumé:
    Par logique classique, j'entends non seulement celle du tiers-exclu, mais plus largement: toute la théorie développée pour analyser et fonder logiquement les Mathématiques classiques (= Théorie des nombres, Géometrie, Algèbre, Analyse). L'essentiel de cette Logique classique se répartit en 4 sous-théories: théorie des ensembles, des démonstrations, des modèles et de la définissabilité. L'exposé touchera aux points suivants:
  • 1/ essence, acquis et problèmes fondamentaux de la Logique Classique;
  • 2/ évolutions récentes, notamment cette chose inattendue: la Logique classique s'avère en un sens PLUS appropriée comme fondement pour l'Informatique théorique que pour les Mathématiques classiques (à condition de ne pas restreindre la Logique à la seule théorie des démonstrations).
  • 3/ avenir ?
  • Mardi 17 mars:
    Philippe de ROUILHAN (CNRS, Philosophie).
    Titre de l'exposé: Inconsistances en théorie de la signification

  • Mardi 31 mars:
    Richard ZUBER (CNRS, Linguistique).
    Titre de l'exposé: Algèbre dans la langue

  • Mardi 12 mai, 18h30:
    Roland FRAÏSSÉ (Professeur émerite à l'Université d'Aix-Marseille, Logique mathématique)
    Titre de l'exposé: Les énigmes de la Logique

  • Mardi 26 mai, 18h30:
    Michel BOURDEAU (CAMS, Philosophie).
    Titre de l'exposé: Aspects épistémologiques et non épistémologiques de la Logique