Handbook 1996 : Faculty of Arts (Volume 3 page 141)
Philosophy subject : Next:161-223 | Prev:161-221 | Search | Help
Availability: Not offered in 1996.
Credit points: 16.7 2nd and 3rd years
Prerequisite: 161-221/321 Introduction to Formal Logic.
Contact: Up to three hours a week.
Objectives:
This subject aims to give students an acquaintance with a selection of the concepts and results of modern logic beyond what is covered in Introduction to Formal Logic (161-221/321). The process of gaining this acquaintance involves both theoretical discussion and a certain amount of practical experience with the formal techniques; it is hoped that by the end of the unit students have had enough of the latter to enable them to use some of these techniques in further study of logic and related areas of philosophy (or in logic-related areas of other disciplines, e. g. mathematics, linguistics, computer science).
Content:
An extension of topics in Introduction to Formal Logic, such as alternative approaches to proof theory, and non-standard logics.
Assessment:
One 2-hour end-of-semester examination (70 per cent) and problem sets to be submitted throughout the semester (30 per cent). Students will be advised in the first week of the subject of actual due dates.
Philosophy subject : Next:161-223 | Prev:161-221 | Search | Help
Handbook 1996 : Faculty of Arts (Volume 3 page 141)
Status: Official 1996 Date created: Oct 9 1995 Last modified: Oct 9 1995 Authorised by: Academic Registrar Email enquiries: Course_Information@registrar.unimelb.edu.au
Maintained by: Dept. of Philosophy, Faculty of Arts.
Copyright © University of Melbourne 1995,1996.