Course level

Undergraduate

Faculty

Humanities and Social Sciences

School

Historical & Philosophical Inq

Units

2

Duration

One Semester

Class contact

2L 1T

Incompatible

PHIL1020, PHIL7102

Assessment methods

Assignments and Exams

Course coordinator

Dr Toby Meadows

Study Abroad

This course is pre-approved for Study Abroad and Exchange students.

Current course offerings

Course offerings Location Mode Course Profile
Semester 2, 2017 St Lucia Internal Course Profile
Semester 2, 2018 St Lucia Internal Profile unavailable

Please Note: Course profiles marked as not available may still be in development.

Course description

This course in formal logic is intended as an introduction to the formal aspects of modern logic for students of philosophy, mathematics or computer science, or indeed anyone interested in logic. We assume that students have no previous background in logic. It begins with some discussion as to what logic is and what its role in philosophy might be. It will then move on to more formal aspects. Beginning with the notion of a formal language into which sentences and arguments are to be translated, we shall develop the syntax and semantics for a language of sentences or propositions ¿ classical propositional logic. Arguments can then be formalized and discussed with reference to the central notion of validity. The primitive language of classical propositional logic is then extended to accommodate the theory of quantifiers, which is formalisable in classical predicate logic, and the notion of validity is generalized to this extended language.

Archived offerings

Course offerings Location Mode Course Profile
Semester 2, 2016 St Lucia Internal Course Profile
Semester 2, 2015 St Lucia Internal Course Profile
Semester 2, 2014 St Lucia Internal Course Profile
Semester 2, 2013 St Lucia Internal Course Profile
Semester 2, 2012 St Lucia Internal Course Profile