Skip to main navigationSkip to main content
The University of Southampton
Courses

PHIL2014 Logic

Module Overview

Ever since Aristotle, philosophers have been interested in developing formal systems of logic to refine our ability to distinguish valid from invalid arguments and to further our understanding of the nature of logic and validity. The aim of this module is to introduce students to some advanced techniques of logic and formal systems. The first part of the module is concerned with the logic and meta-logic of First Order Logic. If it’s not snowing, does it follow that if it’s snowing then I’m a monkey’s uncle? If all unicorns are wise, does it follow that there are unicorns? The second part of the module will be devoted to more advanced logical systems, such as Modal Logic. If it is obligatory to save all innocent children, does it follow that we actually save them? Could 2+2 make 5?

Aims and Objectives

Module Aims

The aim of this module is to introduce students to some advanced techniques of logic and formal systems. The first part of the module is concerned with the logic and meta-logic of First Order Logic. The second part is devoted to more advanced logical systems, such as Modal 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.
Subject Specific Intellectual and Research Skills

Having successfully completed this module you will be able to:

  • employ the techniques of formal logic in formulating and evaluating your arguments and those others advance.
  • relate the issues this module concerns to issues in other areas of study.
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.

Syllabus

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: semantic tableaux 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

Learning and Teaching

Teaching and learning methods

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

TypeHours
Lecture33
Preparation for scheduled sessions24
Follow-up work24
Completion of assessment task22
Revision23
Wider reading or practice24
Total study time150

Resources & Reading list

Theodore Sider. Logic for Philosophy. 

Blackboard. 

Assessment

Formative

Exercises and Quizzes

Summative

MethodPercentage contribution
Examination  (90 minutes) 55%
Test  (70 minutes) 45%

Referral

MethodPercentage contribution
Examination  (120 minutes) 100%

Repeat Information

Repeat type: Internal & External

Costs

Costs associated with this module

Students are responsible for meeting the cost of essential textbooks, and of producing such essays, assignments, laboratory reports and dissertations as are required to fulfil the academic requirements for each programme of study.

In addition to this, students registered for this module typically also have to pay for:

Books and Stationery equipment

Students will be expected to have access to the course text (approx. £20).

Please also ensure you read the section on additional costs in the University’s Fees, Charges and Expenses Regulations in the University Calendar available at www.calendar.soton.ac.uk.

Share this module Share this on Facebook Share this on Twitter Share this on Weibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×