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 half of the module is concerned with the system of Predicate Logic. In the second half, we will look at the attempts made by logicians to prove various things about systems of logic, such as their consistency and their completeness. This is called “metalogic” and has had a considerable influence on the development of both philosophy and mathematics in the twentieth and twenty-first centuries.

Aims and Objectives

Module Aims

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 half of the module is concerned with the system of Predicate Logic. In the second half, we will look at the attempts made by logicians to prove various things about systems of logic, such as their consistency and their completeness. This is called “metalogic” and has had a considerable influence on the development of both philosophy and mathematics in the twentieth and twenty-first centuries.

Learning Outcomes

Knowledge and Understanding

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

  • demonstrate knowledge and understanding of the methods of predicate logic, including translating arguments into symbolic notation, constructing formal derivations, and evaluating formal arguments.
  • construct proofs of consistency and completeness of formal systems, and to demonstrate an understanding of the philosophical issues raised by logic and metalogic.
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:

  • 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, such as mathematics and computer science.

Syllabus

In this module you can expect to explore topics such as: 1. The Modern Square of Opposition 2. Predicate Logic 3. The basic notions of Metalogic: consistency and completeness 4. The consistency and completeness of Propositional Logic 5. First Order Predicate Logic: Consistency 6. First Order Predicate Logic: Completeness

Learning and Teaching

Teaching and learning methods

Teaching methods include - Two lectures weekly - One discussion hour weekly Learning activities include - Attending lectures and discussion hours - Contributing to discussion in lectures and discussion hours - Doing research for and writing textual commentaries - Applying techniques and skills learnt to your reading and writing inside and outside the module

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

Resources & Reading list

P Tomassi (1999). Logic. 

Blackboard. 

Assessment

Formative

Test

Summative

MethodPercentage contribution
Examination  (100 minutes) 55%
Test  (80 minutes) 45%

Referral

MethodPercentage contribution
Examination  (180 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 Facebook Google+ Twitter 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.

×