SCI308: Formal Logic

Key details

Unit typeElective unit
Credit points6
Indicative contact hours3 hours per week
Offered inSemester 2
Tuition feeVisit www.campion.edu.au/tuition


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:

a) 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.
b) demonstrate a grasp of simple meta-theory in propositional and predicate logic.
c) confidently and constructively engage in workshop discussion of issues arising from lectures and from engagement with set exercises.
d) confidently and constructively participate in individual and group tasks in a workshop setting.

Interested in other disciplines?

Click the links below to find out more or click here to return to the main Science page.

Thinking about studying at Campion?

For personalised advice, please complete the form below and our Student Recruitment Manager will be in touch. Alternatively, you can get in contact on (02) 9896 9303 or via study@campion.edu.au.