Université Paris 1 (Panthéon-Sorbonne)
Département de Philosophie (UFR 10)

English version: up  

Page d'accueil de la LICENCE-MAITRISE DE LOGIQUE

(Diplôme national de second cycle de Logique)

(dernière révision: le 31/07/2000)
  • Brève présentation du diplôme: orientations et débouchés
  • Programme de la Licence et de la Maîtrise de Logique
  • Conditions d'inscription
  • L'équipe pédagogique
  • Le programme européen d'échanges Erasmus-Socrates en Logique (Paris 1-Rome 3-Utrecht)
  • La coopération avec le Japon et les logiciens du département de Philosophie de l'Université Keio à Tokyo

    • Up : Vers le Séminaire de Logique de la Sorbonne-Paris 1

     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    Vous êtes sur les pages de la Licence-Maîtrise de Logique de Paris 1. Retour à la page d'accueil (sommaire)

    Brève présentation du diplôme: orientations et débouchés    English version:  

    (dernière révision: le 31/07/2000)

    La Licence de Logique et la Maîtrise de Logique, sont des diplômes nationaux.

  • La Licence de Logique constitue la première année du second-cycle dans le cursus de Logique de l'Université Paris 1.

    • Cette licence propose une solide introduction à la Logique formelle et un enseignement d'Histoire et de Philosophie des Sciences.
    Elle comporte aussi un enseignement élémentaire de Mathématiques.

  • La Maîtrise de Logique constitue la seconde année du second-cycle de Logique.

    • Les enseignements de Maîtrise sont pour la plupart consacrés aux grands chapitres de la logique mathématique contemporaine (théorie des modèles, théorie de la démonstration, théorie des ensembles, calculabilité et automates, fondements logiques de l'informatique).
    Si la part des enseignements de sciences formelles est donc prépondérante, une place significative est néanmoins réservée au traitement de questions relevant de l'histoire et de la philosophie de la logique et du langage.

    La Maîtrise de Logique peut représenter un complément et une spécialisation utiles dans une formation philosophique, ménager une transition vers une formation approfondie en Logique Mathématique, ou enfin faciliter une conversion à des activités dans lesquelles l'informatique occupe une place importante, voire à l'informatique proprement dite.

    Les orientations mentionnées ci-dessus peuvent se concrétiser par l'admission (sur examen du dossier par les commissions compétentes) dans l'une des formations de D.E.A. suivantes (la liste n'est pas limitative):

  • Histoire et Philosophie des Sciences, spécialité Logique (Paris 1)
  • Logique mathématique et Fondements de l'Informatique (Paris 7)
  • Sciences cognitives (ENS, Toulouse 3, EHESS)
  • Intelligence Artificielle (Paris 8-Paris 13)
  • Théorie et Ingénierie des Bases de Données (Paris 1-Paris 9)
    • L'admission dans une filière d'Informatique générale (notamment Orsay) est possible au niveau du deuxième cycle. Des possibilités existent également dans le secteur du génie logiciel.

    Retour à la page d'accueil (sommaire)


     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    Vous êtes sur les pages de la Licence-Maîtrise de Logique de Paris 1. Retour à la page d'accueil (sommaire)

    PROGRAMME DE LA LICENCE ET DE LA MAITRISE DE LOGIQUE (2000-2001)
    Liste des Unités d'Enseignements (UE)

    (Dernière révision: le 31/07/2000. Les informations ci-dessous sont indicatives. Pour des informations plus fiables consultez la brochure et les affiches, qui seules font foi.)   
  • Programme de la Licence de Logique (liste des UE)

  • Premier semestre:
    1. UE de Logique (S1) (Cours 2h/semaine + TD 2h/semaine) [12 ECTS]
    2. UE de Philosophie des Sciences (S1)
    3. Epistémologie (S1) (Deux cours de 1h30/semaine) [6 ECTS]
    4. Histoire des sciences (S1) (Deux cours de 1h30/semaine) [6 ECTS]
    5. UE de Mathématiques (Algèbre) (Cours-TD 2h/semaine) [6 ECTS]

  • Second semestre:
    1. UE de Logique (S2) (Cours 2h/semaine + TD 2h/semaine) [12 ECTS]
    2. UE de Philosophie des Sciences (S2)
    3. Epistémologie (S2) (Deux cours de 1h30/semaine) [6 ECTS]
    4. Histoire des sciences (S2) (Deux cours de 1h30/semaine) [6 ECTS]
    5. UE de Philosophie de la Logique (Cours 2h/semaine) [6 ECTS]

  • Programme de la Maîtrise de Logique (liste des UE)

  • Premier semestre:
    1. UE 1 (S1): Histoire et Philosophie de la Logique (Cours 2h/semaine)
    2. UE 2 (S1):
    3. Calculabilité, automates (S1) (Cours 2h/semaine + TD 1h/semaine)
    4. Théorie de la démonstration et problèmes de déçidabilité(S1) (Cours 2h/semaine)
    5. UE 3 (S1):
    6. Théorie des ensembles (S1) (Cours 2h/semaine)
    7. Théorie des modèles (S1) (Cours 2h/semaine)
    8. UE 4 (S1): Informatique(S1) (Cours 2h/semaine)

  • Second semestre:
    1. UE 1 (S2): Histoire et Philosophie de la Logique (Cours 2h/semaine)
    2. UE 2 (S2):
    3. Calculabilité, automates (S2) (Cours 2h/semaine + TD 1h/semaine)
    4. Théorie de la démonstration et problèmes de décidabilité(S2) (Cours 2h/semaine) [? ECTS]
    5. UE 3 (S2):
    6. Théorie des ensembles (S2) (Cours 2h/semaine)
    7. Théorie des modèles (S2) (Cours 2h/semaine)
    8. UE 4 (S2):
    9. Informatique (S2) (Cours-TP 2h/semaine)
    10. Fondements logiques de l'informatique (Lambda-calcul typé) (Cours 2h/semaine)
    •  
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    Vous êtes sur les pages de la Licence-Maîtrise de Logique de Paris 1. Retour à la page d'accueil (sommaire)

    (Les informations qui suivent sont indicatives. Pour des informations plus fiables, complètes et récentes, consultez auprès du secrétariat les brochures et les affiches, qui seules font foi.)   

    Présentation des UE de la LICENCE DE LOGIQUE

    Les UE de Logique (S1 et S2)

    (dernière révision: le 31/07/2000)
    1. Organisation et enseignants
      (Informations valables pour 2000-2001)

      Ces UE articulent, au premier comme au second semestre, un cours de Logique (Cours 2h/sem, JB.Joinet) et un T-D (2h/sem S.Berestovoy). Pour des informations sur les modalités de contrôle, consultez la brochure.

    2. Programme (contenu des enseignements)
      (Informations valables pour 1999-2000. L'ordre des chapitres est susceptible d'être modifié en 2000-2001)

      Rudiments de Théorie des Ensembles:
      Présentation des axiomes de la Théorie des ensembles de Zermelo-Fraenkel. Opérations ensemblistes. Relations (Equivalences et quotientation, Ordres) et Applications. Entiers naturels. Définitions et démonstration par induction. Ensembles bien ordonnés. Cardinalité: ensembles finis et infinis, dénombrables et non dénombrables.

      Calcul propositionnel:
      Morphologie: formules, définition et démonstration par induction sur les formules. Sémantique et syntaxe (déduction naturelle) pour les logiques propositionnelles classique et intuitionniste (sémantique de Kripke). Equivalence et conséquence logiques: Algèbre de Lindenbaum du calcul propositionnel classique.

      Calcul des Prédicats:
      Morphologie: langages du premier ordre (égalitaires ou non), termes, formules. Déduction naturelle pour le premier-ordre. Interprétation d'un langage, définition de la vérité (classique) d'un énoncé dans une structure, validité et conséquence logique. Théorème d'adéquation et applications (cohérence, minimalité et incomplétude d'une axiomatique). Théorème de complétude et applications (problèmes d'axiomatisabilité).

    3. Bibliographie

      Divers documents de cours, ainsi que des feuilles d'exercices, corrigés en TD, sont distribués pendant l'année. Les livres suivants peuvent être consultés

      Première partie du cours:
      Enderton (Herbert.B.), Elements of Set Theory, Academic Press, 1977.
      Van Dalen (Dirk), Doets & de Swart, Sets: Naive, Axiomatic and applied, Pergamon Press.

      Deuxième et troisième parties du cours
      Van Dalen (Dirk), Logic and Structure, Springer-Verlag, Berlin-Heidelberg-New-York, (3ième édition) 1994.
      Enderton (Herbert.B.), A mathematical introduction to Logic, Academic Press, 1977.
      Cori (René) & Lascar (Daniel), "Logique Mathématique. Cours et exercices", 2 tomes, Masson, Paris, 1993.

    Retour à la liste des UE de la Licence et de la Maîtrise de Logique de Paris 1
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    Vous êtes sur les pages de la Licence-Maîtrise de Logique de Paris 1. Retour à la page d'accueil (sommaire)

    (Les informations qui suivent sont indicatives. Pour des informations plus fiables, complètes et récentes, consultez les brochures et les affiches, qui seules font foi.)   

    Présentation des UE de la LICENCE DE LOGIQUE

    Les UE de Philosophie des Sciences (S1 et S2)

    (dernière révision: le 31/07/2000)
    1. Observations générales

      Dans le cadre de la Licence de Logique ces UE (au premier comme au second semestre) comportent chacune quatre enseignements (de 1h30/sem chacun): deux en Epistémologie, deux en Histoire des sciences

    2. Programme (contenu des cours) (Informations valables pour l'année 2000-2001)

    3. Epistémologie:
    4. Enseignant: J-B Joinet

      5. Thème du cours: Calcul et Raisonnement.
    5. Enseignant:Pierre Wagner

      6. Thème du cours: Science et Philosophie des sciences selon Quine.
    6. Histoire des Sciences:
    7. Enseignant: G.Garetta

      8. Thème du cours: Physique et Philosophie à la fin du XIXe siècle
    8. Enseignant:Jacques Dubucs

      9. Thème du cours: De Hilbert à Godel
    9. Enseignant: N.Aumonier

      10. Thème du cours: Philosophie et microbiologie dans la deuxième moitié du XXème siècle
    10. Enseignant: P.Wagner

      11. Thème du cours: info non disponible

    Retour à la liste des UE de la Licence et de la Maîtrise de Logique de Paris 1
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    Vous êtes sur les pages de la Licence-Maîtrise de Logique de Paris 1. Retour à la page d'accueil (sommaire)

    (Dernière révision: le 31/07/2000. Les informations qui suivent sont indicatives. Pour des informations plus fiables, complètes et récentes, consultez les brochures et les affiches, qui seules font foi.)   

    Présentation des UE de la LICENCE DE LOGIQUE

    L'UE de Philosophie de la Logique (S2)

    1. Observations générales

      Cette UE intervient au second semestre seulement. Il s'agit d'un cours de 2h/semaine

    2. Programme (contenu des cours) (Informations valables pour l'année 2000-2001)

      3. Enseignant: Christiane Chauviré
      Thème du cours: Sujet et Prédicat

    Retour à la liste des UE de la Licence et de la Maîtrise de Logique de Paris 1

     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    Vous êtes sur les pages de la Licence-Maîtrise de Logique de Paris 1

    English version: (english)    

    LES LOGICIENS DE L'EQUIPE PEDAGOGIQUE DU SECOND-CYCLE DE LOGIQUE

    (Dernière révision: le 31/07/2000)
  • Susana BERESTOVOY (Logique mathématique. Théorie des modèles. Informatique)
  • Christiane CHAUVIRE (Philsophie du Langage. Philosophie de la Logique)
  • Joël COMBASE (Logique mathématique)
  • Jacques DUBUCS (Logique mathématique. Logiques modales. Histoire et Philosophie des de la Logique et des Mathématiques)
  • Jean-Baptiste JOINET (Logique mathématique. Théorie de la démonstration. Logique Linéaire. Fondements Logiques des théories du calcul. Philosophie de la Logique et de l'Informatique)
  • Jean MOSCONI (Logique mathématique. Calculabilité. Théories des automates. Théorie et Philosophie de la calculabilité)
  • Francois RIVENC (Philosophie de la Logique. Philosophie du langage. Sémantique)
  • Joël SAKAROVITCH de l'Université Paris 5 (Logique mathématique. Théorie des ensembles. Théorie des modèles.)
  • Pierre WAGNER (Philosophie de la Logique. Epistémologie)
    •
    Retour à la page d'accueil du diplôme de Logique (Sommaire)
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    Vous êtes sur les pages de la Licence-Maîtrise de Logique de Paris 1. (Retour à la page d'accueil)

    Conditions d'inscription   

    (Dernière révision: le 31/07/2000)
    (Les informations ci-dessous sont indicatives. Pour des informations plus fiables, complètes et récentes, consultez la brochure et les affiches, qui seules font foi.)   
  • Licence:

    La Licence de Logique est accessible aux étudiants titulaires du DEUG de Philosophie de Paris 1 qui ont obtenu le module optionnel de Logique deuxième année PH204 de Paris 1 (ou une formation équivalente pour les étudiants qui n'ont pas fait le DEUG de Paris 1).

    Dans certains cas (étudiants provenant d'autres formations ou d'autres filières, scientifiques notamment), une inscription conditionnelle en Licence de Logique peut être accordée après examen du dossier, mais accompagnée d'une "obligation d'études" consistant en général à préparer simultanément le module de logique de deuxième année et/ou le module d'épistémologie de deuxième année.

  • Maîtrise:

    La voie d'accès normale à la Maîtrise de Logique est la Licence de Logique de Paris 1, qui comporte des UE de : Logique, Philosophie des Sciences (Epistémologie et Histoire des sciences), Mathématiques, Philosophie de la Logique.

    Les étudiants titulaires de certains UE de la Licence de Logique, mais pas la Licence entière, ou n'ayant obtenu qu'une équivalence partielle de la Licence de Logique, peuvent, sur examen de leur dossier, être autorisés à s'inscrire en Maîtrise, mais ils ne pourront obtenir le diplôme qu'après avoir obtenu au moins 80% des UE du Niveau précédent.

    Pour les étudiants venant d'autres établissements, les demande d'équivalence d'UE de la Licence de Logique seront examinées par la Commission des équivalences de l'UFR (éventuellement après un entretien de l'étudiant avec un enseignant du second cycle de Logique).

    Eu égard à la spécificité de la Licence de Logique de Paris 1, l'UFR n'accorde d'Équivalence totale que dans des cas tout à fait exceptionnels (par exemple, études comparables dans une université étrangère). L'équivalence des UE de Logique de Licence (premier et second semestre). peut être accordée (sur examen de dossier) à certains étudiants titulaiers d'une Licence de Mathématiques ou d'un diplôme scientifique comparable.

    •

    Retour à la page d'accueil