06-21155 Language & Logic

The tutor for this module is Dr. Mark Lee. Mark has an office hour on Tuesdays at 3. pm to 4 pm. Any student is welcome to see him then to discuss the module. You can also email.

The official module page is at (06-21155) Language and Logic .
Please check this for the formal information on assessment etc.

Two good books on logic are:
Logic Paul Tomassi (1999) Routledge.

Logic Wilfred Hodges (1997) Penguin.

Neither are perfect matches for the module content but are worth reading.

Module Content

Week Topic 1 Monday: Introduction to module Tuesday: Introduction to language Monday covered: Assessment details How to pass this module ... Recommended books Some simple arguments Monday Lecture Reading: Hodge (1997) Pages 1-23 (see handout) Tuesday covered: Defining language Levels of language:Syntax, Semantics & Pragmatics Natural language versus Formal Logic Thursday Lecture Exercise 1 due 12 pm 3/10/11 Model Answers for Exe 1 Language Log on double negatives 2 Monday: Syntactic Structure Tuesday: Syntactic Structure II Monday covered: Regular expressions (n.b. you are not expected to learn regular expressions - just to know what they are) Context Free Grammars Parsing What makes a good grammar? Tuesday lecture It's worth noting that the wikipedia entry for context free grammars is rather technical and written for a purely computer science audience. Be warned - it's useful but I suspect many will find it confusing. Of course, you should probably never rely on wikipedia for anything! Tuesday's classwork covered from exercises to do with context free grammars in English and other (more simple) languages and parsing. Classwork Exercise 2 Due 12 pm 10/10/11 Model Answers for Exe 2 3 Monday: Simple Arguments Tuesday: Simple Arguments Monday's lecture covered: Recap on Validity & Soundness basic truth tables And OR Not & "If Then" Proving simple arguments using truth tables Tuesday lecture Tuesday's classwork covered proving (and disproving) simple arguments using truth tables. Classwork without answers Classwork with answers Exercise 3 due 12 pm 15/02/11 Model Answers for Exe 3 4 Monday: Propositional Logic Tuesday: Simple Proofs Monday's lecture covered: Propositional Logic Syntax of Propositional Logic A simple notation for proofs Monday's lecture Tuesdays's classwork covered proving simple arguments using the new notation. Classwork without answers Classwork with answers Exercise 4 due 12 pm 24/10/11 Model Answers for Exe 4 5 Monday: Natural Deduction Tuesday: Simple Proofs Monday's lecture covered: Natural Deduction for Propositional Logic Monday's lecture Tuesdays's classwork covered proving simple arguments using Natural Deduction. Classwork without answers Classwork with answers Exercise 5 due 12 pm 7/11/11 Model Answers for Exe 5 6 Monday: Natural Deduction for Propositional Logic Tuesday: ND for PL practice Monday's lecture covered: General Strategies for ND Theorem Introduction Soundness and Completeness Monday's lecture Tuesday's classwork covered: ND for PL practice Theorem Introduction Classwork without answers Classwork with answers Exercise 6 due 12 pm 10/11/11 Model Answers for Exe 6 7 Monday: Natural Deduction for Propositional Logic Tuesday: ND for PL practice Monday's lecture covered An introduction to Predicate Calculus PC syntax Translating between natural language & PC Validity in PC Monday's lecture Tuesday's classwork covered Practice in converting from English to Predicate logic Classwork without answers Classwork with answers Exercise 7 due 12 pm 14/11/11 Model Answers for Exe 7 8 Monday: Introducting Predicate Logic Tuesday: Translating English into Predicate Logic Monday's lecture covered Natural Deduction for Predicate Logic Equality Representing numbers Monday's lecture Tuesday's classwork covered Practice in Natural Deduction for Predicate Logic Classwork without answers Classwork with answers Exercise 8 due 12 pm 21/11/11 Model Answers for Exe 8 9 Monday: Natural Deduction for Predicate Logic Tuesday: Natural Deduction Practice Monday's lecture covered Natural Deduction stratagies for Predicate Logic Natural Deduction rules for identity Monday's lecture Tuesday's classwork covered Practice in Natural Deduction for Predicate Logic Classwork without answers Classwork with answers Exercise 9 due 12 pm 28/11/11 Model Answers for Exe 9 10 Monday: The limits of Logic Tuesday: From English to Predicate Logic Monday's lecture covered Module Summary Soundness, Completeness, Decideability Russell's paradox and Godel's theorems Monday's lecture Tuesday's classwork covered Practice in Natural Deduction for from English to Predicate Logic Classwork without answers Classwork with answers Exercise 10 due 12 pm 5/12/11 Model Answers for Exe 10 Page updated by mgl 12th January 2011.