second year course outlines 2012-2013 - School of Social Sciences ...

Communication:
Students must read their University e-mails regularly, as
important information will be communicated in this way.
Examination period: Monday 13 th May 2013 – Friday 7 th June 2013
Re-sit Examination period: Monday 19 th August 2013 – Friday 31 st August 2013
Please read this course outline through very carefully as it provides essential information
needed by all students attending this course
This course guide should be read in conjunction with the Philosophy Study Guide.
Copies may be obtained from the Undergraduate Office, G.001 Arthur Lewis Building or from
the SoSS intranet at: http://www.socialsciences.manchester.ac.uk/intranet/ug/handbooks/
2. ABOUT THE COURSE
Summary
The course will cover the syntax and semantics of a propositional logic PL. Next, a natural
deduction system will be introduced for proving the validity of sequents and theorems in PL.
Subsequently the course will extend the grammar and proof procedure developed for PL to
encompass a language of first-order predicate logic with identity, QL.
Aims
Introduce students to the elements of formal propositional and first-order predicate logic.
The course will introduce two systems of logic and provide a proof-procedure for each.
Learning Outcomes
Students should be able to construct formulas of propositional and predicate logic, translate
English sentences into these formulas, and prove sequents within a natural deduction
system for these two formal languages.
Knowledge and Understanding:
Knowledge of elementary propositional and first-order logic and their associated proof
procedures.
87