Description
This is an elementary course in truth-functional logic. We will cover a range of topics, including symbolization, the syntax and semantics of the language of truth-functional logic, the construction of proofs, and logical properties such as consistency and entailment. You will learn how to symbolize English sentences in a formal language, 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.
Please note that the exam will take place in the final week of Term 1.
Philosophy Area A
Module deliveries for 2024/25 academic year
Last updated
This module description was last updated on 19th August 2024.
Ìý