PHIL 2038 - Logic II
North Terrace Campus - Semester 1 - 2014
General Course Information
Course Code PHIL 2038 Course Logic II Coordinating Unit Philosophy Term Semester 1 Level Undergraduate Location/s North Terrace Campus Units 3 Contact Up to 3 hours per week Prerequisites 12 units Level I courses in any faculty including at least one of PHIL 1110, MATHS 1011, MATHS 1012, COMP SCI 1008, COMP SCI 1009 Incompatible PHIL 2110 Course Description Logic II is a course in symbolic logic which builds on the material presented in Logic I. The content of the course is primarily formal in nature. It begins by treating Classical Logic in greater depth and with a more formal emphasis than in Logic I: in particular, by introducing proof theory for propositional and quantifier logics. We then move on to Non-Classical Logics, including modal logic and possible-world semantics, and many-valued logics. There is also some discussion of philosophical issues arising from the logics studied, in particular, the semantic paradoxes. Entry into Logic II is either via Logic I, or via a first-year course with substantial formal content and a component of logic (such as Mathematics I or Computer Science I).
Course Coordinator: Associate Professor Antony Eagle
The full timetable of all activities for this course can be accessed from Course Planner.
Course Learning Outcomes
- Develop and display an understanding of several formal logical systems, including classical propositional and predicate logic, predicate logic with identity, propositional modal logic, propositional many-valued logics, and propositional paraconsistent logics.
- Display critical understanding of the main philosophical motivations for interest in logical systems, both classical and non-classical.
- Display some facility in the application of various logical systems – including a variety of proof procedures for the same underlying logic – to the task of formalising natural language sentences, and assessing the validity of natural language arguments with respect to such systems.
- Develop and display an understanding of some basic techniques in metalogic, the theory of logic, including an understanding of mathematical proof by induction.
- Develop and display understanding of the main results in metalogic, particularly for classical logics (including soundness, completeness, compactness, duality), including an understanding of the proofs of these theorems.
- Display the ability to prove some basic metalogical results, including the ability to adapt proofs for existing systems to new systems.
University Graduate Attributes
This course will provide students with an opportunity to develop the Graduate Attribute(s) specified below:
University Graduate Attribute Course Learning Outcome(s) Knowledge and understanding of the content and techniques of a chosen discipline at advanced levels that are internationally recognised. 1–6 The ability to locate, analyse, evaluate and synthesise information from a wide variety of sources in a planned and timely manner. 2, 4 ,5 An ability to apply effective, creative and innovative solutions, both independently and cooperatively, to current and future problems. 1–6 Skills of a high order in interpersonal understanding, teamwork and communication. 3, 6
Required ResourcesThere is one text assigned for this course:
- Beall, J.C., and van Fraassen, Bas C. (2003) Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic. Oxford University Press, 978-0-19-925987-8.
Online LearningThis course will make use of MyUni to provide online lecture notes and lecture recordings.
Learning & Teaching Activities
Learning & Teaching ModesThe primary mode of teaching delivery in this course is the lecture; this provides support and scaffolding for student engagement with the assigned readings, and provides overall narrative structure to the course and assignments.
In addition to lectures, students are expected to attend one tutorial each week. Tutorials are vital for consolidating understanding of these sometimes difficult issues, and clarifying doubtful points, so it is in your interest to come prepared with a good sense of the aspects of the material which you find unclear or worthy of further discussion. The tutorial works best if students engage with the material and each other—students learn most when trying to articulate their own views on the material, and addressing the questions of other students.
To prepare for tutorials, students are required to review the material covered in previous lectures, and come prepared to discuss it. To this end, a set of exercises will be posted on MyUni each week, and each student should prepare written answers to these exercises prior to each tutorial. Students can expect to be called on to provide their answers to the tutorial group by the tutor, so please ensure you come prepared.
The information below is provided as a guide to assist students in engaging appropriately with the course requirements.The information below is provided as a guide to assist students in engaging appropriately with the course requirements. Hours are approximate and averaged over the semester. The actual hours spent on the course will vary from week to week, and will of course be higher in those weeks immediately prior to the submission of an assignment; please be sure to plan your time carefully.
2 x 1 hour lecture per week 2 hours 1 hour tutorial per week 1 hours 3 hours lecture preparation and revision per week (doing recommended reading, reviewing lectures and lecture notes) 3 hours 3 hours tutorial preparation per week (doing required reading, preparing answers to exercises) 3 hours 3 hours assessment work (completion of take-home exams, exam reading and preparation) 3 hours Total 12 hours
Learning Activities Summary
Week(s) Topic of Lectures 1–2 Review of Classical Logic; syntax and semantics 2–6 Elementary metatheory for classical logic; functional completeness; duality; compactness; soundness (propositional and predicate calculi) and completeness (propositional calculus); decidability and undecidability 7–8 Propositional modal logics 9–10 Many-valued and paraconsistent logics 11–12 Metatheory for non-classical propositional logics
A more detailed breakdown of specific lectures by topic, and assigned readings, will be provided in detailed syllabus to be posted on MyUni.
The University's policy on Assessment for Coursework Programs is based on the following four principles:
- Assessment must encourage and reinforce learning.
- Assessment must enable robust and fair judgements about student performance.
- Assessment practices must be fair and equitable to students and give them the opportunity to demonstrate what they have learned.
- Assessment must maintain academic standards.
Assessment Task Type Due Date Weight Learning Outcome Tutorial Exercises Formative Each week in tutorial 0% 1–6 Exam 1 Summative Friday April 4th, 23:59. (End of Week 5.) 25% 1–6 Exam 2 Summative Friday May 16th, 23:59. (End of Week 9.) 25% 1–6 Exam 3 Summative TBD 50% 1–6
Assessment DetailExam 1 is a take-home exam. Students will answer a number of set questions based on material from the first four weeks of the course. The exam questions will be posted in MyUni (under ‘Assignments’) by the end of week 4 (Friday March 28th). Students thus have one week to complete the exam. This exam is open-book.
Exam 2 is another take home exam. Students will answer a number of set questions based on material from the first eight weeks of the course. The exam questions will be posted in MyUni (under ‘Assignments’) by the end of week 8 (Friday May 9th). Students thus have one week to complete the exam. This exam is open-book.
Exam 3 is an 3 hour exam, to be scheduled during the examination period at the end of semester. This exam is closed book. Questions will be set on material from the whole course; students will have some choice in which questions they answer.
SubmissionAll take-home exams must be submitted electronically through MyUni. Please do not submit a hard copy of your exam. In this course, we will only accept electronic submission of take home exams through MyUni. In this course, we use the Turnitin assignment module.
Details on submission, extensions, the format of submitted work, etc., will be made available in the detailed syllabus to be posted on MyUni.
Grades for your performance in this course will be awarded in accordance with the following scheme:
M10 (Coursework Mark Scheme) Grade Mark Description FNS Fail No Submission F 1-49 Fail P 50-64 Pass C 65-74 Credit D 75-84 Distinction HD 85-100 High Distinction CN Continuing NFE No Formal Examination RP Result Pending
Further details of the grades/results can be obtained from Examinations.
Grade Descriptors are available which provide a general guide to the standard of work that is expected at each grade level. More information at Assessment for Coursework Programs.
Final results for this course will be made available through Access Adelaide.
The University places a high priority on approaches to learning and teaching that enhance the student experience. Feedback is sought from students in a variety of ways including on-going engagement with staff, the use of online discussion boards and the use of Student Experience of Learning and Teaching (SELT) surveys as well as GOS surveys and Program reviews.
SELTs are an important source of information to inform individual teaching practice, decisions about teaching duties, and course and program curriculum design. They enable the University to assess how effectively its learning environments and teaching practices facilitate student engagement and learning outcomes. Under the current SELT Policy (http://www.adelaide.edu.au/policies/101/) course SELTs are mandated and must be conducted at the conclusion of each term/semester/trimester for every course offering. Feedback on issues raised through course SELT surveys is made available to enrolled students through various resources (e.g. MyUni). In addition aggregated course SELT data is available.
- Academic Integrity for Students
- Academic Support with Maths
- Academic Support with writing and study skills
- Careers Services
- International Student Support
- Library Services for Students
- LinkedIn Learning
- Student Life Counselling Support - Personal counselling for issues affecting study
- Students with a Disability - Alternative academic arrangements
- YouX Student Care - Advocacy, confidential counselling, welfare support and advice
Policies & Guidelines
This section contains links to relevant assessment-related policies and guidelines - all university policies.
- Academic Credit Arrangements Policy
- Academic Integrity Policy
- Academic Progress by Coursework Students Policy
- Assessment for Coursework Programs Policy
- Copyright Compliance Policy
- Coursework Academic Programs Policy
- Elder Conservatorium of Music Noise Management Plan
- Intellectual Property Policy
- IT Acceptable Use and Security Policy
- Modified Arrangements for Coursework Assessment Policy
- Reasonable Adjustments to Learning, Teaching & Assessment for Students with a Disability Policy
- Student Experience of Learning and Teaching Policy
- Student Grievance Resolution Process
Students are reminded that in order to maintain the academic integrity of all programs and courses, the university has a zero-tolerance approach to students offering money or significant value goods or services to any staff member who is involved in their teaching or assessment. Students offering lecturers or tutors or professional staff anything more than a small token of appreciation is totally unacceptable, in any circumstances. Staff members are obliged to report all such incidents to their supervisor/manager, who will refer them for action under the university's student’s disciplinary procedures.
The University of Adelaide is committed to regular reviews of the courses and programs it offers to students. The University of Adelaide therefore reserves the right to discontinue or vary programs and courses without notice. Please read the important information contained in the disclaimer.