SCI308: Formal Logic


SCI308: Formal Logic

Key details

Accredited towardsBachelor of Arts in the Liberal Arts
Unit typeElective unit
Credit points6
Indicative contact hours3 hours per week
Offered inSemester 2
Tuition feeLearn more



Logic involves taking an argument, built out of sentences, and asking such questions as: is it valid? i.e. if the premises were true, would that require the conclusion to be true? If the answer is yes, we can show this by building a proof of the conclusion, given the premises. Formal logic deals with such notions in a strict and mathematical setting. This unit deals with the basics of propositional and predicate logic, including syntax in a natural deduction setting, and some semantics and metatheory.


Learning outcomes

On completion of this unit of study, students will be able to:

  1. demonstrate the ability to produce formal proofs, identify valid and invalid arguments, use truth-tables and complete other exercises involving syntactic and semantic concepts in propositional and predicate logic.
  2. demonstrate a grasp of simple meta-theory in propositional and predicate logic.
  3. confidently and constructively engage in workshop discussion of issues arising from lectures and from engagement with set exercises.
  4. confidently and constructively participate in individual and group tasks in a workshop setting.



Interested in other Science units?

SCI303: The History, Philosophy and Social Studies of Science
SCI304: The Darwinian Revolution
SCI305: Human Biology I
SCI306: Human Biology II
SCI307: History of the Mathematical Sciences – From Antiquity to the Present
SCI308: Introduction to Formal Logic



Our Disciplines