Note: This is an archived Handbook entry from 2011.
|Dates & Locations:|| |
This subject is not offered in 2011.
|Time Commitment:||Contact Hours: 3.5 (2 x 1 hour lectures each week and 2x 2 hours workshops for 11 weeks.) |
Total Time Commitment: an average of 8 hours each 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 Students Experiencing Academic Disadvantage Policy, academic requirements for this subject are articulated in the Subject Description, Subject Objectives, Generic Skills and Assessment Requirements of this entry.The University is dedicated to provide support to those with special requirements. Further details on the disability support scheme can be found at the Disability Liaison Unit website: http://www.services.unimelb.edu.au/disability/|
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, mathematics and 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.
Students who successfully complete this subject will have:
|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 3 hour written exam 50% (examination period).This subject has a minimum hurdle requirement of 75% tutorial attendance. Regular participation in tutorials is required. Assessment submitted late without an approved extension will be penalised at 10% per day. In-class tasks missed without approval will not be marked. All pieces of written work must be submitted to pass this subject|
|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:
|Links to further information:||http://www.philosophy.unimelb.edu.au/courses/undergrad/breadth.html|
|Related Breadth Track(s):||
Language, Mind && Logic |
Logic, meaning and computation
Download PDF version.