Module and Programme Catalogue

Search site

Find information on

This module is not currently running in the selected year. The information shown below is for the academic year that the module was last running in, prior to the year selected.

2015/16 Undergraduate Module Catalogue

PHIL1008 Introduction to Logic

10 creditsClass Size: 800

Module manager: Scott Shalkowski

Taught: Semester 2 View Timetable

Year running 2015/16

Module replaces


This module is approved as a discovery module

Module summary

We spend a lot of time arguing with people. One question that is particularly difficult to answer is 'What makes an argument into a good argument?' Philosophers often hold that a good argument is, at least in part, a valid one: an argument where if you accept the premises, you must accept the conclusion too. This course focuses on different ways that we can test arguments to see whether or not they are valid.You will also learn how to represent arguments in abstract forms and how to test these forms for validity. This will probably include learning about truth-tables, propositional logic, quantificational logic, semantic proofs and natural deduction.This module is taught through lectures and tutorials throughout semester 2. It is recommended, though not essential, that students have completed PHIL1001 Introduction to Philosophy in the first semester.


On completion of this module, students should have a basic ability to:

- use truth-tables to test for various logical concepts (eg validity, inconsistency)
- construct proofs in both Propositional and Predicate Logic
- translate sentences into the language of Predicate Logic
- show an understanding of some properties of relations.


The module presents an introduction to Formal Logic. It introduces certain logical concepts, techniques for testing for validity, and techniques for constructing proofs for valid arguments.

Teaching methods

Delivery typeNumberLength hoursStudent hours
Private study hours80.00
Total Contact hours20.00
Total hours (100hr per 10 credits)100.00

Private study

- Tutorial Preparation 36 hours
- Lecture preparation 11 hours
- Associated Reading 16 hours
- Homework assignments 17 hours.

Opportunities for Formative Feedback

Tutorial performance and assignments.

Methods of assessment

Assessment typeNotes% of formal assessment
Tutorial Performance.10.00
Total percentage (Assessment Coursework)10.00

Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated

Exam typeExam duration% of formal assessment
Standard exam (closed essays, MCQs etc)2 hr 00 mins90.00
Total percentage (Assessment Exams)90.00

Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated

Reading list

The reading list is available from the Library website

Last updated: 21/01/2016


Browse Other Catalogues

Errors, omissions, failed links etc should be notified to the Catalogue Team.PROD

© Copyright Leeds 2019