space Home space Courses space Schedules space Disciplines space Units spaceDownload: space Units


CRICOS Provider Code: 00586B

Information relevant to 2003 – Unit Details

Previous: Political Philosophy Next: Logic and Possibility

Introduction to Logic

Enrolment code: HPA291/391

Offered: Hobart: semester 1, Launceston: semester 1, North-West Centre: semester 1 [by video-link]

Unit description:

Introduces students to symbolic logic, including proof theory, semantics and elementary metatheory of the propositional calculus and the first order predicate calculus, as well as the application of elementary logical techniques to the formalisation of natural language reasoning. The unit is suitable for students wishing to pursue logic further, as well as those wishing to acquire some familiarity with logic for other purposes.

Staff Dr J Chase, Dr D Coady For information on staff, turn to relevant Faculty website University phone and email search phone    email
Unit weight 12.5% To see normal University Admission requirements
Teaching pattern 1-hr lecture, 1-hr tutorial weekly, 1-hr workshop fortnightly (13 wks) Timetable
Prerequisites 25% level 100 Philosophy or Science  
Mutual exclusions HPS291/391  
Assessment mode 2x1,000-word assignments (25% ea), 3-hr exam (50%) Examinations timetable (Users will need to know their login name (POP account) and password)
Required texts etc Colyvan & Beall, An Introduction to Logic, ISBN 0859018679 Library Catalogue
Co-Op Bookshop
Majors: [Discipline and school information] Philosophy
Logic and Philosophy of Science
Courses Bachelor of Arts (See also combined degrees)
Bachelor of Commerce and Bachelor of Information Systems
Bachelor of Information Systems (See also combined degrees)
Bachelor of Fine Arts and Bachelor of Information Systems
Faculty website Faculty of Arts  
Previous: Political Philosophy Next: Logic and Possibility

Top of page 

Further information

On admission to the
Enquiries from outside
For general information on courses: enquiries from within

This page employs a stylesheet and is designed to be used with Netscape 4.7.

This page last updated on 3 April 2003.  Queries and Feedback concerning this site may be addressed to:

©  University of Tasmania, 2003.
Details shown above were correct at the time of publication. Every effort is made to keep this information up to date. However, the University reserves the right to alter or remove it at any time without notice.