Description
This is an elementary course in first-order logic. We will cover a range of topics including symbolization, the syntax and semantics of first-order logic, the construction of proofs, and logical properties such as consistency and entailment. You will learn how to symbolize English sentences in first-order logic, analyze the structure of arguments, and construct precise arguments yourself. Our goal will be to help you become proficient in using formal methods to clarify and make precise logical relationships that are hard to understand otherwise, and to reason better, with greater clarity and precision.
NB PHIL0005 Introduction to Logic 1 is a pre-requisite for this module.
Philosophy Area A
Module deliveries for 2024/25 academic year
Last updated
This module description was last updated on 19th August 2024.
Ìý