|
||||||||
|
|
||||||||
|
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 | To be advised |
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 2002 Last Modified: Tuesday May 07 22:11 SGML to HTML Conversion: Information Technology Services Authorised by: Academic Registrar Email Enquiries: Course_Information@registrar.unimelb.edu.au
![[Undergraduate Handbook]](http://www.unimelb.edu.au/img/sitebar/fill.gif){kind=small}
