Undergraduate Module Descriptor
PHL3014: Symbolic Logic
This module descriptor refers to the 2023/4 academic year.
|Term(s) and duration|
This module will run during term 2 (11 weeks)
Dr Jonathan Davies (Convenor)
|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.