University of Paris 1 (Panthéon-Sorbonne)
Department of Philosophy Version française: up    
Studies Program in Logic
"Licence-Maîtrise de Logique" (last change: 31/07/2000)
  • Short presentation of the Logic Program
  • Detailed Presentation of courses (in french)
  • Conditions for apply (in french)
  • The faculty members (logicians group)
  • Cooperation and students exchange programs in Logic :
  • European Community (Erasmus-Socrates programs)
  • Japan : with the Logic group at the Philosophy Department of Keio University (in french)
    •

    Up : to the Seminar in Logic at La Sorbonne

     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    University of Paris 1 (Panthéon-Sorbonne)
    Philosophy department

    "Licence-Maîtrise de Logique"

    Short presentation of the Logic Program

    Version française: up

    (last change: 31/07/2000)
    The Licence de Logique and Maîtrise de Logique are french national degrees (though they are actually delivered only by Paris 1 university). As they correspond respectively to the third and fourth year of universitary studies, they could be considered as "undergraduate" studies; nevertheless, the "Maîtrise de Logique" being highly specialized, it could maybe better thought as a graduate program . All courses are taught in french language.  
  • The Licence de Logique (one year) is the first part of the program (in the standard organization of studies in french universities, a licence corresponds to the third year).

    • It includes a solid introduction to formal logic together with courses in history and philosophy of science. An elementary teaching in mathematics is also given.
  • The Maîtrise de Logique is the second part of the program (in the organization of studies in french universities, a maîtrise corresponds to the fourth year).

    • It covers the main chapters of the contemporary mathematical logic (model theory, proof theory, set theory, recursion and automata theory, computer science and its logical foundations). A course in Philosophy of Logic completes the program.
    Up : back to Summary
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     
     

    University Paris 1 (Panthéon-Sorbonne)
    Philosophy department 

    Pages of the Studies Program in Logic
    Version française: up
    The Faculty members (last change: 31/07/2000)
    (We only give here the list of professors who give, in the "Logic program" , courses in logic or about logic (this does'nt cover faculty members of the program "Second-cycle de Logique")

  • Susana BERESTOVOY (Mathematical Logic. Model theory. Programming)
  • Joël COMBASE (Mathematical Logic)
  • Christiane CHAUVIRÉ (Philosophy and History of Logic, Philosophy of language)
  • Jacques DUBUCS (Mathematical Logic. Modal Logic. Philosophy and History of Mathematics and Logic)
  • Jean-Baptiste JOINET (Mathematical Logic. Proof Theory. Linear Logic. Logical foundations of Computation Theory. Philosophy of Logic and Computer science)
  • Jean MOSCONI (Mathematical Logic. Automata theory. Computability theory. Philosophy of Logic.)
  • François RIVENC (History and Philosophy of Logic)
  • Joël SAKAROVITCH from University of Paris 5 (Mathematical Logic. Model theory. Set theory)
  • Pierre WAGNER (History and Philosophy of Logic. Epistemology)
    •  Up : up to the main page of the Studies program in Logic at La Sorbonne

    Up : to the Logic Seminar at La Sorbonne