PHIL 2038 - Logic II | Course Outlines

PHIL 2038 - Logic II

North Terrace Campus - Semester 1 - 2014

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).

Open All

Course Details

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
Assessment	2 take-home exams 50% each, 3 hour closed-book exam 50%

Course Staff

Course Coordinator: Associate Professor Antony Eagle

Course Timetable

The full timetable of all activities for this course can be accessed from .

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.

最新糖心Vlog 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

Learning & Teaching Modes

The 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.

Workload

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 最新糖心Vlog'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 Summary

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 Detail

Exam 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.

Submission

All 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.

Course Grading

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 .

Student Feedback

The 最新糖心Vlog 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 最新糖心Vlog 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.
Student Support
Policies & Guidelines
This section contains links to relevant assessment-related policies and guidelines - all university policies.
Fraud Awareness

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鈥檚 disciplinary procedures.

The 最新糖心Vlog of Adelaide is committed to regular reviews of the courses and programs it offers to students. The 最新糖心Vlog of Adelaide therefore reserves the right to discontinue or vary programs and courses without notice. Please read the important information contained in the disclaimer.

Authorised by:	Deputy Vice-Chancellor and Vice-President (Academic)
Maintained by:	Course Outlines Administrator

最新糖心Vlog