Logic

Learning Outcomes

Knowledge and Understanding

Having successfully completed this module, you will be able to demonstrate knowledge and understanding of:

• the methods of First Order Logic, including translating arguments into symbolic notation, constructing formal derivations, and evaluating formal arguments.
• methods of some more advanced logical systems, such as Modal Logic, including translating arguments into symbolic notation, constructing formal derivations, and evaluating formal arguments.

Transferable and Generic Skills

Having successfully completed this module you will be able to:

• identify, analyse and assess arguments.
• present your reasoning and the reasoning of others in a perspicuous and rigorous fashion.

Subject Specific Intellectual and Research Skills

Having successfully completed this module you will be able to:

• relate the issues this module concerns to issues in other areas of study.
• employ the techniques of formal logic in formulating and evaluating your arguments and those others advance.

The syllabus may vary from year to year. Topics covered may include:

1. First Order Logic: connectives and quantifiers

2. Validity in First Order Logic

3. The fundamental notions in meta-logic: soundness and completeness

4. The soundness and completeness of First Order Logic

5. Modal Propositional logic: connectives and modal operators

6. Validity in Modal Propositional Logic: semantic validity proofs and counter-models

Teaching methods include

• Lectures
• In-class exercises
• One to one consultation with the module coordinator

Learning activities include:

• Attending lectures
• Doing exercises in class
• Preparing for and completing the assessment tasks

Formative

This is how we’ll give you feedback as you are learning. It is not a formal test or exam.

Exercises and Quizzes

• Assessment Type: Formative
• Feedback: Answers will be provided and oral feedback will be available on your performance.
• Final Assessment: No
• Group Work: No

Summative

This is how we’ll formally assess what you have learned in this module.

Referral

This is how we’ll assess you if you don’t meet the criteria to pass this module.

Repeat

An internal repeat is where you take all of your modules again, including any you passed. An external repeat is where you only re-take the modules you failed.