Language and Logic

06-21155 Language & Logic

The tutor for this module is Dr. Mark Lee.

Mark has an office hours on Thursdays at 11 am to 12 pm.
All are 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.
And the module is hosted on Canvas.
You can access the course materials directly at https://birmingham.instructure.com/courses/564

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.

Below are notes from previous years. You might find them useful but if you're taking the course, the up to date notes are on Canvas.

Week	Topic
1	Introduction	Assessment details How to pass this module ... Recommended books Some simple arguments Notes Reading: Hodge (1997) Pages 1-23 (see handout)
1.5	Natural Language	Defining language Levels of language:Syntax, Semantics & Pragmatics Natural language versus Formal Logic Notes Language Log on double negatives
2	Syntax	Regular Expressions Context Free Grammars Chomsky's levels of grammar What makes a good grammar? Notes
3	Truthtables	Simple Truth Tables Proving the validity of simple arguments in Natural Language Notes
4	Propositional Logic	Propositional Logic A notation for proofs De Morgan's laws Notes
5	Natural Deduction	Natural Deduction Some Example Proofs Notes
6	ND for PL	General Heuristics for Proofs Theorem Introduction Notes
7	Predicate Logic	Predicate Logic Syntax Translating English into Predicate Logic Notes
8	Identity and numbers	Natural Deduction for Predicate Logic Identity and representing numbers Notes
9	Planning Proofs	ND for Identity Strategies for planning proofs Notes
10	The Limits of Logic	Some proofs compared Completeness, Soundness, Decideability, Russell's paradox and Godel's theorems Notes

Page updated by mgl Autumn 2013.