Introduction to Logic Spring 2024
Announcements
There will be no class on March 5 ('PSL week').
Practical Information
Tuesday, 10h30-12h30, Salle Ribot, 29 rue d'Ulm
TA sessions: Thursday, 9h-10h30
Preregistration: https://docs.google.com/document/d/14SR_eNUYTORN7s8ScSSCIordc9fR4lIV2CzgdIlcMxQ/edit
Moodle: not used.
Benjamin Spector, benjamin.spector@ens.psl.eu
Grading and TA session : contact Jakob Süskind, jakob.suskind@ens.psl.eu
Slides and other material
A useful textbook: GAMUT 1991, vol. 1, Logic, Language and Meaning -- Introduction to Logic
Session 4 - Functional Completeness Sessions 4 and 5 - Psychology of reasoning
Session 5 - Natural Deduction Session 5 - Rules of Natural Deduction
Session 6 - Set theory Sessions 6 and 7 - Introduction to Predicate Logic
Section 7 - Syntax of Predicate Logic Sesssions 7 and 8 -Semantics of Predicate Logic
Sessions 8 and 9 - Equality and Existence in Predicate Logic
Session 9 - Natural Deduction for Predicate Logic, Completeness and Compactness
Material used in TA sessions
Assignments
Due on Tuesday, Feb 27, just before class. To be handed in to Quentin Blomet.
Assignment #1 Back-up link in case the previous one fails Due on Tuesday, Feb 27. To be handed in to Quentin Blomet.
Assignment #2 Due on Tuesday, March 12. To be handed in to Quentin Blomet just before the class.
Assignment #3 Due on Tuesday, April 2. To be handed in to Quentin Blomet just before the class. Answers to Assignment #3
Assignment #4 Due on Tuesday, April 23. To be handed in to Quentin Blomet just before the class.