Undergraduate Module Descriptor

PHL2021: Symbolic Logic

This module descriptor refers to the 2020/1 academic year.

Overview

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

This module will run during term 2 (11 weeks)

Academic staff

Dr Jonathan Davies (Convenor)

Pre-requisites

PHL1005A

Co-requisites

None

Available via distance learning

No

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 sentential 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

08/03/2016

Last revised