Skip to main content
Unit of study_

PHIL1012: Introductory Logic

An introduction to modern logic: the investigation of the laws of truth. One essential aspect of good reasoning or argumentation is that it is valid: it cannot lead from true premises to a false conclusion. In this unit we learn how to identify and construct valid arguments, using techniques such as truth tables, models and truth trees. Apart from being a great aid to clear thinking about any subject, knowledge of logic is essential for understanding many areas not only of contemporary philosophy, but also linguistics, mathematics and computing.

Code PHIL1012
Academic unit Philosophy
Credit points 6

At the completion of this unit, you should be able to:

  • LO1. demonstrate understanding of the formal languages of propositional and predicate logic, and ability to translate propositions of English into those formal languages
  • LO2. demonstrate understanding of the semantics of classical propositional logic in terms of truth tables
  • LO3. demonstrate understanding of the semantics of classical predicate logic in terms of models
  • LO4. demonstrate understanding of, and ability to construct, tree proofs for classical propositional and predicate logic
  • LO5. improvement in skills of logical analysis and reasoning