|
||||||||
|
|
||||||||
|
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 | Two 1-hour lectures per week throughout the 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, and regular participation in tutorials. |
Status: Official 2003 Last Modified: Monday April 28 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}
