Undergraduate Module Descriptor

PHL3014: Symbolic Logic

This module descriptor refers to the 2017/8 academic year.


NQF Level 6
Credits 15 ECTS Value 7.5
Term(s) and duration

This module ran during term 2 (11 weeks)

Academic staff

Dr Jonathan Davies (Lecturer)





Available via distance learning


In this course you will be introduced to the basic concepts and methods of formal logic and develop some important techniques for evaluating arguments. You will cover the formal language of logic. This will allow you to uncover the underlying structure of many basic arguments and to study the nature of valid deductive reasoning. The semantics and syntax of deductive arguments will be assessed and proofs developed in basic sentential logic.

These skills will equip you with tools that allow you to engage with the semantics and syntactic of philosophical arguments, revealing the general features of valid deductive reasoning. The emphasis will be on the application of logical analysis to natural language arguments. To this end you will focus on the natural deduction method of proofs.

It is expected that in taking this course you will have completed the module Evidence and Argument PHL1005A.

Module created


Last revised