SEMINAR IN LOGIC

Version française: (français)


Contents

  • Presentation of the seminar

  • Practical infos (to assist, to be informed).

  • The schedule of talks at the seminar

  • Year 1996

  • Year 1997

  • Year 1998


  • Presentation of the Logic seminar at Paris 1 University

    This seminar is organized at the Philosophy department of Panthéon-Sorbonne University (Paris 1) by members of the pedagogic team in charge of the Logic Program ("Licence-Maîtrise de Logique"). The intended public is rather broad: specialists of logic (students included) and all those who in their professional practice (in mathematics, philosophy, computer science, A.I., cognitive sciences, linguistics) meet logic.

    This year again, the seminar is centered around the question:

    what is A logic ?


    Participants are invited to explain (as possible: in french) how, as representatives of the main branches or trends of Logic or of connected topics, they understand that question, and to present the answers they have elaborated from their practice.


    Practical informations about the Logic Seminar

    Seminar sessions take place at the Sorbonne, every second tuesday, at 18h30, at 17 rue de la Sorbonne (5th arrondissement of Paris), in the Philosophy department, stairway C, 1st floor, Salle Cuzin (Or Cavaillès, or Halbwachs).

  • Whenever you know people potentially interested by our seminar, thank you to send me their coordinates (emails prefered).

  • Whenever exists in your department some place where announcments for our seminar sessions deserve to be put, thank you to communicate to me the coordinates of the secretary in charge of such tasks.

  • If you want to be informed about our seminar sessions, send me please an e-mail


  • Schedule of talks (1996)

  • Monday 18/03/96:
    Vincent
    DANOS (CNRS, Paris 7 university. Mathematical logic and foundations of computer science).
    Title: L'ACTE, LE CONCEPT, LE CALCUL.

  • Monday 09/04/96:
    Gilles DOWEK (INRIA, National Institute for Research in Computer Science).
    Title: LE SENS DU CALCUL.

  • Monday 06/06/96:
    Jean-Baptiste JOINET (Univ. Paris 1, Proof theory).
    Title: LE CALCUL DU SENS.

  • Monday 20/05/96:
    Pierre UZAN (Univ. Paris 1).
    Title: VERS UNE LOGIQUE DU TEMPS PHYSIQUE.

  • Tuesday 28/05/96:
    Jean-Yves GIRARD (CNRS, LMD, Proof theory).
    Title: LOGIQUE ET DUALITE.

  • Monday 03/06/96:
    Edward.L KEENAN (UCLA, Linguistics).
    Title: OBJETS ET CONSTANTES LOGIQUES CARACTERISES EN TERMES D'INVARIANTS.

  • Monday 10/06/96:
    Daniel LASCAR (CNRS, Univ. Paris 7, Model theory).
    Title: LES PREMIERS PAS DE LA THEORIE DES MODELES.

  • Monday 17/06/96:
    Jacques DUBUCS (CNRS, Univ. Paris 1, Formal logic and Philosophy).
    Title: LOGIQUE, CONNAISSANCE ET VERIFICATION.

  • Schedule of talks (1997)

  • Tuesday 18/02/97:
    Jean-Louis
    KRIVINE (University Paris 7. Mathematical logic and foundations of computer science).
    Title: ENSEMBLES ET PREUVES.

  • Tuesday 04/03/97:
    Daniel LACOMBE (University Paris 7. Logic and Linguistics).
    Title: LANGUE ET LOGIQUE MATHEMATIQUES.

  • Tuesday 18/03/97:
    Susana BERESTOVOY (University Paris 1. Mathematical Logic).
    Title: LOGIQUE NON STANDARD.

  • Tuesday 01/04/97:
    Christiane CHAUVIRÉ (University Paris 1. Philosophy of Language).
    Title: LA LOGIQUE SELON WITTGENSTEIN .

  • Tuesday 22/04/97:
    Françoise GIRE (Computer science and databases, Paris 1)
    Title: DEFINITION ET EXPRESSIVITE D'UN LANGAGE DE REQUETE POUR BASES DE DONNEES

  • Tuesday 06/05/97:
    Yannis DELMAS-RIGOUTSOS (Laboratoire d'Informatique Fondamentale de Lille).
    Title: REFLEXIONS SUR CE QU'EST UNE LOGIQUE A PARTIR DE L'EXEMPLE DE LA LOGIQUE QUANTIQUE.

  • Tuesday 17/06/97:
    Yuri GUREVITCH (University of Michigan. Visiting Sorbonne).
    Title: 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.


  • Schedule of talks (1998)

  • Monday 09/02/98 (at 7 PM)(Be carefull: exceptionally, it is on Monday):
    Per MARTIN-LÖF (University of Stockholm. Mathematical logic. Types Theory. Philosophy of Mathematics).
    Title: THE DISTINCTION BETWEEN SENSE AND REFERENCE IN CONSTRUCTIVE SEMANTICS

  • Tuesday 03/02/ (18h30):
    Jean-Pierre RESSAYRE (University Paris 7. Mathematical logic.).
    Title: 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 ?
  • Tuesday 17/03/98:
    Philippe de ROUILHAN (CNRS, Philosophy).
    Title: Inconsistances en théorie de la signification

  • Tuesday 31/03/98:
    Richard ZUBER (CNRS, Linguistics).
    Title: Algèbre dans la langue

  • 12/05/98:
    Roland FRAÏSSÉ (Professor at Aix-Marseille university, Mathematical Logic)
    Title: 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