Logic: Language and Information

Subject 800-123 (2009)

Note: This is an archived Handbook entry from 2009.

Credit Points: 12.50
Level: 1 (Undergraduate)
Dates & Locations:

This subject has the following teaching availabilities in 2009:

Semester 1, - Taught on campus.
Pre-teaching Period Start not applicable
Teaching Period not applicable
Assessment Period End not applicable
Last date to Self-Enrol not applicable
Census Date not applicable
Last date to Withdraw without fail not applicable


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
Prerequisites: None
Corequisites: None
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


Assoc Prof Greg Restall


Dr Jen davoren - davoren@unimelb.edu.au

Assoc Prof Greg Restall - restall@unimelb.edu.au

Subject Overview:

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
Generic Skills:

Upon completion of this subject, students should:

  • Be able to think critically and to organise information in clear and precise ways
  • Have develo0ped analytical skills through participation in lecutre, tutorial and other assignments
  • Have improved skills in formal reasoning
  • Have developed an appreciation of and a familiarity with cross-disciplinary techniques
  • Have developed experience and skills in working in a group
Related Majors/Minors/Specialisations: Philosophy

Download PDF version.