Monday, 14h-16h, Salle des résistants
TA sessions, office hours:
- TD with Maxime Cauté, Tuesday, 9h-10h, salle Langevin, 29 rue d'Ulm
- TD with Benjamin Spector, salle de séminaire du DEC: Tuesday 17h-18h [you can also write to me]
Benjamin Spector, benjamin.spector@ens.psl.eu
Grading and TA session : Maxime Cauté, maxime.caute@free.fr
A useful textbook: GAMUT 1991, vol. 1, Logic, Language and Meaning -- Introduction to Logic
Class 4 - Psychology of Reasoning
Class 5 - Functional Completeness of Propositional Logic
Class 5 & 6 - Naïve Set Theory
Class 6 - Natural Deduction (Slides) Rules of Natural Deduction for Propositional Logic
Class 7a - Introduction to Predicate Logic Class 7 b - Syntax of Predicate Logic, Free and Bound Variables
Class 8: extended TA session, see Here
Class 9 - Semantifs of Predicate Logic
Class 10 - Predicate Logic with the Equality Symbol - Existence and Definite Descriptions
Class 11 a - Natural Deduction for Predicate Logic - Completeness Class 11b - Theories and Models, Notions of completeness
Complete rules of ND for 1st order logic
Class 12 - Introduction to modal logic
Assignment 1, due on Feb 10, just before class [will be corrected during the TA session the day after]
Assignment 2 , due on March 10, just before class [will be corrected during the TA session the day after]
Assignment 3, due on April 28, just before class.