UNIB 10002 Logic : Language & Information

first semester 2014 Welcome to UNIB 10002 Logic : Language & Information. This subject is an introduction to formal logic and its applications in language, computation, engineering, mathematics and philosophy. Well be covering core techniques in propositional and predicate logic, which is a key ingredient of the intellectual infrastructure of many dierent disciplines. We will draw on the many dierent ways in which these techniques are motivated and applied. This will give you an understanding of the dierent ways we can represent information with clarity and precision, and provide the tools to reason. Please read through this handout, keep it, and ask us if you have any questions. 1. lecturers The subject coordinators are: Greg Restall restall@unimelb.edu.au Old Quad, Room 203 Oce hours : All semester, Monday and Wednesday 2:30pm to 3:30pm Greg is covering most of the the core material on propositional and predicate logic as well as application lectures in philosophy. and
Jen Davoren

davoren@unimelb.edu.au Electrical & Electronic Engineering building, Room TBA Oce hours : Mondays 1:15 to 2:15 every 2nd week 17 and 31 March, 14 and 28 April, and 12 and 26 May. Jen is covering some of the core material on propositional and predicate logic, and application lectures on digital systems, mathematics, and computer science. The workshop coordinator is Rohan French unib10002.coordinator@gmail.com Old Quad, Room TBA Oce hours : from week 2, TBA

The dierent application areas have dierent expert lecturers: Philosophy: Greg Restall (restall@unimelb.edu.au), Engineering: Jen Davoren (davoren@unimelb.edu.au), Mathematics: Jen Davoren (davoren@unimelb.edu.au), Linguistics: Lesley Stirling (lesleyfs@unimelb.edu.au), Computer Science: Peter Schachte (schachte@unimelb.edu.au). The lecturers are responsible for coordinating the course, and for introducing material to you in lectures. Were all actively involved in research in logic and related areas here at the University of Melbourne, and our job is to introduce the core ideas in the course, and give you insights into how they are applied to our areas of expertise. 2. tutor Dr. Rohan French is the tutor. You can contact him about any issue regarding the course. 3. lectures When and Where : Mondays 12:001:00pm Cuming Theatre in the Chemistry Building. Wednesdays 12:001:00pm Cuming Theatre in the Chemistry Building. date march 3 march 519 march 24 march 2631 april 2 # 1 26 7 8, 9 10 topic Introduction core lectures Propositional Logic application lectures Philosophy: Vagueness Engineering: Digital Systems Linguistics: Meaning lecturer Everyone GR, JD Greg Restall Jen Davoren Lesley Stirling GR, JD GR, JD Lesley Stirling JD, Peter Schachte Greg Restall Jen Davoren Everyone

core lectures april 616 1114 Predicate Logic Mid-semester Break april 28may 5 1517 Predicate Logic application lectures may 7 18 Linguistics: Quantiers may 12 & 14 1920 Computer Science: Logic Programming may 19 21 Philosophy: Denite Descriptions may 21 & 26 2223 Mathematics: Quantiers may 28 24 Revision and Wrapup

Lecture notes for the most classes will be available online before classes for you to download, print, and annotate with your notes.

Short videos are provided on the LMS, covering the material in the core lectures. We expect you to watch them before the corresponding classes. These are also great for revision. 4. text The textbook for this course is Logic: An introduction by Greg Restall, available from the bookshop. There is a website for the book (http://consequently.org/logic/) which has important errata and has answers for exercises. Read the relevant part of the textbook before lectures! Well post the required reading for the next lecture at the end of each lecture. The required reading for lecture 1 is Chapter 1 & 2 of the textbook Logic: An introduction. 5. workshops There are two hour workshops for this course, scheduled throughout the semester. There are ve Workshop streams. The Workshops in Weeks 2, 3, 4 and 7, 8, 9 and 12 of the semester are the same for everyone, no matter which Workshop youre enrolled in. These cover core tools in propositional logic and predicate logic. For Workshops in weeks 5 and 6, you get to choose between a Philosophy stream and an Engineering stream. For Workshops in weeks 10 and 11, there is a choice between Computer Science and Linguistics. If your workshop stream is Philosophy in the rst part of the semester, then it will be Computer Science in the second part and, similarly, your workshop stream is Engineering in the rst part of semester, then it will be Linguistics in the second part. There will be some opportunity to switch streams but we do not guarantee that everyone trying to switch will succeed. 6. assessment There are ve components to the assessment for this course: 1| Homework assignments. (3% + 4% + 4% + 4% = 15%) 2| Workshop Projects. (10% + 10% = 20%) 3| Mid-Semester Test. (10%) 4| End of semester Exam. (50%) 5| Leaving 5% for workshop attendance and participation. Homework Assignments : will be distributed in the core Workshops (copies will be available online, but you will be working in groups organised in the workshops). Homework assignments are due at 3pm on: March 21st , March 28th , May 2nd , and May 16th . Assignments are to be dropped into the assignment in the appropriate box (depending on your tutor) on level 4 of the Electrical & Electronic Engineering building (Building 193). Put your assignment in your tutors box.

Workshop Projects will be group projects done in and outside the workshops of weeks 5, 6, 10 and 11. It is essential that you attend all workshops but even more so for these particular ones. The philosophy and digital systems projects will be due on April 26th . The computer science and linguistics projects will be due on May 31st . Again, submit completed projects into the assignment box on level 4 of the Electrical & Electronic Engineering building (Building 193). The Mid-Semester test is on Wednesday April 2nd from 5:15 to 6:15pm, with location TBA. The test will cover the material from Lectures 2 to 6 (core Propositional logic). The nal exam will be in the end of semester exam period, and will cover all material covered in lectures, including all ve application areas. 7. resources There are three core resources for this course. (1.) The textbook: Logic: An introduction by Greg Restall, with its website (http://consequently.org/logic/), and the course lms (http://www.lms.unimelb.edu.au/). (2.) The Coursera sites for the concurrent MOOC courses: Logic: Language & Information 1: Propositional Logic: https://www.coursera.org/course/logic1 Logic: Language & Information 2: Propositional Logic: https://www.coursera.org/course/logic2 (3.) The lms will have pointers to the lecture videos, pdf versions of the slides, links to online readings, general course information, handouts and discussion board (for administrative questions). Check the lms regularly. We hope you enjoy the course, and your introduction to logic! Jen Davoren Greg Restall Rohan French March, 2014