Dr Stephen Watson
Note: please enter the subject heading ‘MATH3306’ in all email
Consultation Hours: If the above consultation hour is inconvenient for
you, do not hesitate to contact me to arrange a
Perhaps surprisingly, the mathematical study of logic has made several important contributions to philosophy and to contemporary culture generally. The most important of these being due to the ramifications of Godel's proof of the undecidability of arithmetic. The course will attempt to make students familiar with some of the most important results of the mathematical study of logic. We will begin with a swift introduction to the type of logic that we'll mainly be interested in (ie. classical predicate logic) and will work up to a presentation of the Godel theorem.
Lectures commence in Week 1 of semester. Lecture
notes will be made available through the course homepage each week.
Attendance at tutorials is optional.
The best way to learn maths is to do maths problems. Tutorials are designed to give you the opportunity to discuss and work through problems set for that purpose.
There's no set text for this course, but there are plenty of good textbooks in the libraries.
There will be three assignments handed out fortnightly and a final exam.
The assessment is as follows:
The assignments will be given out approximately every 2 weeks in class.
The mid-semester exam will be one hour long, held during one of the lectures. The date will be announced as soon as possible.
To obtain the final grade, the marks will be weighted as described above and added to give a final mark out of 100. People will receive a grade from 1 to 7 if their mark is above the following cut offs.
Cheating, by copying others' work will be viewed harshly. And dealt with through formal University channels.
Students are advised to read the material
given in the lecture notes, and participate actively in tutorials. You
may also wish to attend lectures. If you apply yourselves to the task on a week-by-week basis (avoiding cramming) then you are most likely to do well and
to enjoy the course more.
There is an on-campus service available to all students who may require
assistance with more general problems relating to their academic work,
e.g. writing skills, returning to study after a long break,
preparing assignments or seminars, stress, etc. This supplementary
assistance is available through the Learning Assistance Unit — a part
of Student Support Services — in the Relaxation Block, Student Union
Complex. Telephone 336 51704.
Any student who for whatever reason (not just physical
disabilities) may require alternative academic arrangements is
encouraged to seek advice from a
Disability Advisor at Student Support Services (Telephone 336 51704).