|
||||||||
|
|
||||||||
|
161-115 Introduction to Formal Logic | |
|---|---|
Note | Formerly available as 161-015. Students who have completed 161-015 are not eligible to enrol in this subject. |
Availability | 1st year |
Credit Points | 12.5 |
HECS Band | 1 |
Coordinator | Assoc Prof Greg Restall |
Semester | 2 (view timetable) |
Contact | Thirty-five contact hours per semester: two 1-hour lectures per week for the whole semester and a 1-hour tutorial per week beginning the second week of semester |
Subject Description | This subject is an introduction to the elements of modern formal logic. One of the most important aspects of analysing an argument is the assessment of its validity: whether the premises really do imply the conclusion. Modern formal logic uses symbolic techniques for an analysis of validity, and related notions such as grammatical form and truth. Students of the subject should attain an understanding of the elements of these techniques and their meanings. This is essential for an understanding of many aspects of contemporary philosophy, mathematics, and information processing. |
Assessment | Written work totalling 4000 words including three in-class quizzes, tutorial participation, and a 2-hour end-of-semester examination. |
Status: Official 2004 Last Modified: Monday June 21 22:11 SGML to HTML Conversion: Information Division - CWIS (SDI) Authorised by: Academic Registrar Enquiries: http://unimelb.custhelp.com/
![[Undergraduate Handbook]](http://www.unimelb.edu.au/img/sitebar/fill.gif){kind=small}
