Note: This is an archived Handbook entry from 2009.
|Dates & Locations:|| |
This subject has the following teaching availabilities in 2009:Semester 1, - Taught on campus.
Timetable can be viewed here. For information about these dates, click here.
|Time Commitment:||Contact Hours: 2 hours of lectures each week, and 2 hours of workshops across 8 weeks of the semester. |
Total Time Commitment: 8 hours per week
|Recommended Background Knowledge:||None|
|Non Allowed Subjects:||None|
|Core Participation Requirements:||
For the purposes of considering request for Reasonable Adjustments under the Disability Standards for Education (Cwth 2005), and Student Support and Engagement Policy, academic requirements for this subject are articulated in the Subject Overview, Learning Outcomes, Assessment and Generic Skills sections of this entry.
It is University policy to take all reasonable steps to minimise the impact of disability upon academic study, and reasonable adjustments will be made to enhance a student's participation in the University's programs. Students who feel their disability may impact on meeting the requirements of this subject are encouraged to discuss this matter with a Faculty Student Adviser and Student Equity and Disability Support: http://services.unimelb.edu.au/disability
CoordinatorAssoc Prof Greg Restall
Dr Jen davoren - firstname.lastname@example.org
Assoc Prof Greg Restall - email@example.com
Our world is saturated with information, but many people don't have a good idea of what information is. How can we represent and manipulate information? What kinds of relationships hold between pieces of information? Answers to these questions use the tools of modern logic. The same logic that can be used to understand the hardware and software of our digital devices and the internet, also underlies our understanding of thought and language.
This subject is an introduction to formal logic and its applications in language, computation, engineering, mathematicsand philosophy. We cover core techniques in propositional and predicate logic, which is a key ingredient of the intellectual infrastructure of many academic disciplines. We will draw on the many different ways in which these techniques are motivated and applied. This will give students an understanding of the different ways we can represent information with clarity and precision, and provide the tools to reason.
|Assessment:||Homework tasks equivalent to 1,000 words 15% (completed throughout the semester ); two group work project tasks, one completed mid-semester and one completed at the end of semester 20%; a written test 10% (mid-semester); workshop participation 5%; and a written exam 50% (examination period).|
|Prescribed Texts:||Greg Restall, Logic (Routledge 2006). A collection of other texts will be made available online.|
|Breadth Options:|| |
This subject potentially can be taken as a breadth subject component for the following courses:
You should visit learn more about breadth subjects and read the breadth requirements for your degree, and should discuss your choice with your student adviser, before deciding on your subjects.
|Fees Information:||Subject EFTSL, Level, Discipline & Census Date|
Upon completion of this subject, students should:
Download PDF version.