Undergraduate Module Descriptor
PHL3014: Symbolic Logic
This module descriptor refers to the 2023/4 academic year.
The module aims to develop your reasoning skills and provide a thorough grounding in the logical analysis of philosophical arguments. These skills are a fundamental component of the analytical philosopher’s toolkit and will allow the students to analyse a wide range of arguments from the abstract to the practical. Symbolisation and the natural deduction method facilitate a broad understanding of the forms of argument that are widely used (and misused) in academic discourse and everyday life. The translation of, sometimes vague and imprecise, natural language arguments into the precise and unambiguous languages of basic sentential and predicate logic is a powerful tool for revealing what is actually at stake in arguments. The construction of proofs in these formal languages also develops a rigour and precision in the students’ reasoning that will be invaluable in a wide range of circumstances.
|On successfully completing the programme you will be able to:|
|Module-Specific Skills||1. symbolise complex natural language arguments in sentential and monadic predicate logic|
2. test argument validity with truth tables and interpretations
3. develop advanced proofs in sentential logic making use natural deduction methods
|Discipline-Specific Skills||4. analyse and understand the underlying structure of arguments|
5. apply an advanced understanding of logical structure to natural language arguments
6. develop advanced reasoning skills with the logical tools learned
|Personal and Key Skills||7. construct and evaluate complex arguments|
8. formulate and express ideas clearly and rigourously at different levels of abstraction