 |
|
 |
|
| |
|
| |
|
Contact: Hetherington,Stephen Cade
| |
|
Campus: Kensington Campus
| |
|
Career: Undergraduate
| |
|
Units of Credit: 6
| |
|
Contact Hours per Week: 3
| |
|
Enrolment Requirements:
| |
|
Prerequisite: 36 units of credit; Excluded: MATH3400, PHIL2106
| |
|
Offered: Semester 1 2005
| |
|
Fee Band: 1
| |
 |
|
 |
Description
This course is about deductive logic (in particular, propositional logic and predicate logic). Aims to construct - and to understand - a precise, unambiguous, formal language. Many important parts of English are translatable into it, hence many arguments of English are translated into it too. It is a language with which we can better understand the concept of deductive proof.
|