SCI308: Formal Logic
|Accredited towards||Bachelor of Arts in the Liberal Arts|
|Unit type||Elective unit|
|Indicative contact hours||3 hours per week|
|Offered in||Semester 2|
|Tuition fee||Learn 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.
On completion of this unit of study, students will be able to:
- 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.
- demonstrate a grasp of simple meta-theory in propositional and predicate logic.
- confidently and constructively engage in workshop discussion of issues arising from lectures and from engagement with set exercises.
- 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