fbpx

SCI308: Formal Logic

UNIT OUTLINES

SCI308: Formal Logic

Key details

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

 

Overview

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. This unit may be counted towards the Philosophy major.

 

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 Philosophy units?

PHI103Socrates and the Examined Life
PHI104The Good Life in Greek and Roman Philosophy
PHI203Aristotelian, Thomistic and Kantian Ethics
PHI204Political Philosophy: From Aristotle to Locke
PHI301Modern Philosophy
PHI303Philosophy of Language
PHI306Close Reading of a Modern Philosophical Text
PHI307Metaphysics
PHI308Medieval Philosophy
SCI308Formal Logic

 


 

Our Disciplines