Formal methods of reasoning have been studied in all major
civilizations, but the appearance of automatic computing devices in
the 20th century has led to an explosion of interest in and
applications of formal logic. Today, the advantages of formal
reasoning are recognized and utilized far beyond computer
science. Students of this module will discover the power as well as
the limitations of formal methods for philosophy and mathematics, and
learn to apply them in diverse areas. Each student will investigate
one of these areas in depth, leading to an essay and presentation.
Every student of UIT2206 will prepare an essay and a presentation.
The essays are submitted in three stages:
A proposal is due on Week 5
A draft will be submitted by Week 9, and the final version is due by Week 13.
The draft and final submission are preceded by an appointment to the
The director of the Writing Centre, A/P Don Favareau and the lecturer
of UIT2206, A/P Martin Henz, worked out a
Writing Guide for UIT2206,
which is highly recommended reading
as it specifies the lecturer's expectations for the essays. These
guidelines are also distributed to the Writing Assistants of the
Writing Centre, who use them as a reference for assisting the students
are given in Weeks 11, 12 and 13 during the Friday sessions, and
There is no textbook. The notes provided for each lecture
make up the module material. Books for additional reading will
be recommended from time to time.
Assignments and labs quizzes
Assignments will be given out each week on this
Assignment scores make up about 20% of the overall marks.
An IVLE discussion forum will be set up for UIT2206. There is a topic
in the main forum for every chapter of
the module notes, as well as forums for anonymous feedback and
discussing administrative matters such as exams.
Announcements are distributed using the IVLE Announcement feature.
There will be a test, covering the formal logic part of the module.
The test will take place during lecture time; details to