UE920 - PHIL 102 - Introduction to Logic

Type d'UE
Méthodologie
Disciplines
Philosophie et épistémologie
Page web
https://cogmaster.ens.psl.eu/en/program/m1-program-13570 
Langues
français
Mots-clés
Méthodes et techniques des sciences sociales Philosophie
Aires culturelles
-

L’objet de ce cours est de fournir une introduction à la logique contemporaine (logique propositionnelle, logique des prédicats). Le cours vise en outre à montrer l’importance de la logique pour la compréhension des notions de vérité, de preuve, et de conséquence logique. Le cours vise aussi à donner quelques perspectives sur les applications de la logique à la psychologie du raisonnement, à l’étude du langage, et à l’élucidation de questions de nature métaphysique. Le cours inclut une introduction à la logique inductive (probabilités, applications de la règle de Bayes). Le cours ne présuppose pas de connaissances particulières mais amènera les étudiants à se familiariser avec le formalisme.

 

Séance 1: Qu'est-ce que la Logique ? Arguments et Inférences, Déduction, Induction, Abduction



Séance 2: Le calcul propositionnel (1): syntaxe, paraphrases, tables de vérité + DM1



Séance 3: Le calcul propositionnel (2): validités. (DM1 à rendre)



Séance 4: Logique et psychologie: invalidités et erreurs de raisonnement + DM2



Séance 5: Preuves en calcul propositionnel: système d'axiomes, tableaux (DM2 à rendre)



Séance 6: Logique des prédicats (1) : syntaxe et paraphrases + DM3



Séance 7: Logique des prédicats (2) : sémantique (DM3 à rendre)



Séance 8: Identité et existence en logique des prédicats + DM4 



Séance 9: Preuves en calcul des prédicats: tableaux (DM4 à rendre)



Séance 10 : Logique inductive (1) (probabilités, règle de Bayes) + DM5



Séance 11: Logique inductive (2)  (application de la règle de Bayes à l’induction et l’argumentation) (DM5 à rendre)

Séance 12 : Synthèse et révisions en vue de l’examen

  • Sciences cognitives – M1/S1
    Suivi et validation – semestriel hebdomadaire = 6 ECTS
    MCC – examen, contrôle continu
  • Paul Égré [référent·e]   directeur de recherche, CNRS / Institut Jean-Nicod (IJN)
Contacts additionnels
cogmaster@psl.eu
Informations pratiques

The complete syllabus of the course is available on the Cogmaster's website. For any information, please contact the secretariat of the Cogmaster.

Registration procedure (external students) : https://cogmaster.ens.psl.eu/en/students/external-students-13501

Direction de travaux des étudiants
-
Réception des candidats
-
Pré-requis

The course does not assume any pre-requisites. Students are asked to attend all courses, however, and to hand in all the homework assignments in time. The course in taught in French, to avoid adding an extra difficulty for students who already struggle to master the formalism.

  • Autre lieu Paris
    ENS 45 rue d'Ulm 75005 Paris (salle à préciser)
    1er semestre / hebdomadaire, mercredi 11:00-13:00
    du 23 septembre 2020 au 13 janvier 2021


Intervenant·e·s


  • Paul Égré [référent·e]   directeur de recherche, CNRS / Institut Jean-Nicod (IJN)

Planning


  • Autre lieu Paris
    ENS 45 rue d'Ulm 75005 Paris (salle à préciser)
    1er semestre / hebdomadaire, mercredi 11:00-13:00
    du 23 septembre 2020 au 13 janvier 2021


Description


Type d'UE
Méthodologie
Disciplines
Philosophie et épistémologie
Page web
https://cogmaster.ens.psl.eu/en/program/m1-program-13570 
Langues
français
Mots-clés
Méthodes et techniques des sciences sociales Philosophie
Aires culturelles
-

L’objet de ce cours est de fournir une introduction à la logique contemporaine (logique propositionnelle, logique des prédicats). Le cours vise en outre à montrer l’importance de la logique pour la compréhension des notions de vérité, de preuve, et de conséquence logique. Le cours vise aussi à donner quelques perspectives sur les applications de la logique à la psychologie du raisonnement, à l’étude du langage, et à l’élucidation de questions de nature métaphysique. Le cours inclut une introduction à la logique inductive (probabilités, applications de la règle de Bayes). Le cours ne présuppose pas de connaissances particulières mais amènera les étudiants à se familiariser avec le formalisme.

 

Séance 1: Qu'est-ce que la Logique ? Arguments et Inférences, Déduction, Induction, Abduction



Séance 2: Le calcul propositionnel (1): syntaxe, paraphrases, tables de vérité + DM1



Séance 3: Le calcul propositionnel (2): validités. (DM1 à rendre)



Séance 4: Logique et psychologie: invalidités et erreurs de raisonnement + DM2



Séance 5: Preuves en calcul propositionnel: système d'axiomes, tableaux (DM2 à rendre)



Séance 6: Logique des prédicats (1) : syntaxe et paraphrases + DM3



Séance 7: Logique des prédicats (2) : sémantique (DM3 à rendre)



Séance 8: Identité et existence en logique des prédicats + DM4 



Séance 9: Preuves en calcul des prédicats: tableaux (DM4 à rendre)



Séance 10 : Logique inductive (1) (probabilités, règle de Bayes) + DM5



Séance 11: Logique inductive (2)  (application de la règle de Bayes à l’induction et l’argumentation) (DM5 à rendre)

Séance 12 : Synthèse et révisions en vue de l’examen


Master


  • Sciences cognitives – M1/S1
    Suivi et validation – semestriel hebdomadaire = 6 ECTS
    MCC – examen, contrôle continu

Renseignements


Contacts additionnels
cogmaster@psl.eu
Informations pratiques

The complete syllabus of the course is available on the Cogmaster's website. For any information, please contact the secretariat of the Cogmaster.

Registration procedure (external students) : https://cogmaster.ens.psl.eu/en/students/external-students-13501

Direction de travaux des étudiants
-
Réception des candidats
-
Pré-requis

The course does not assume any pre-requisites. Students are asked to attend all courses, however, and to hand in all the homework assignments in time. The course in taught in French, to avoid adding an extra difficulty for students who already struggle to master the formalism.