Course level

Undergraduate

Faculty

Humanities and Social Sciences

School

Historical & Philosophical Inq

Units

2

Duration

One Semester

Class contact

2L,1T

Incompatible

PHIL2100

Prerequisite

PHIL2110/PHIL1020

Assessment methods

Take-home assignments and final exam

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 1, 2018 St Lucia Internal Profile unavailable

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

Course description

While elementary logic courses focus on using particular types of logic, this module makes logic itself the subject of investigation. The course will investigate the very limits of reason; more specifically, it will tackle: Henkin's completeness proof for first order logic; and Gödel's celebrated incompleteness theorem. Along the way, there will be preparatory discussion of elementary computability theory and model theory

Archived offerings

Course offerings Location Mode Course Profile
Semester 1, 2016 St Lucia Internal Course Profile
Semester 1, 2014 St Lucia Internal Course Profile