• Class Number 2935
  • Term Code 2930
  • Class Info
  • Unit Value 6 units
  • Mode of Delivery In Person
    • Dr John Slaney
  • Class Dates
  • Class Start Date 25/02/2019
  • Class End Date 31/05/2019
  • Census Date 31/03/2019
  • Last Date to Enrol 04/03/2019
    • Caitlin D'Abrera
    • Christopher Bottomley
    • Edmund Heng
    • Timothy Kelly
    • Alexandra Ware
    • Thomas Anton
    • Mark Perry
SELT Survey Results

An introductory course in formal logic, dealing with propositional and predicate logic. Techniques of formal deduction and tests for the validity of arguments will be studied. Basic semantic concepts will be discussed.

Learning Outcomes

Upon successful completion, students will have the knowledge and skills to:

  1. Express reasoning problems using first order logical notation;
  2. Construct natural deduction proofs in first order logic and translate between calculi;
  3. Explain the relationship between rules of deduction and the semantics of logic; and,
  4. Critically assess and compare philosophical views on issues arising from elementary logic.

Required Resources

There is no set textbook for this course, but extensive course notes and other resources are provided online. 

Staff Feedback

Students will be given feedback in the following forms in this course:

  • Grading of assignments, with written comments
  • Written comments on non-assessable weekly homework tasks
  • Automated feedback on Logic for Fun tasks, generated by the software on the site

Student Feedback

ANU is committed to the demonstration of educational excellence and regularly seeks feedback from students. Students are encouraged to offer feedback directly to their Course Convener or through their College and Course representatives (if applicable). The feedback given in these surveys is anonymous and provides the Colleges, University Education Committee and Academic Board with opportunities to recognise excellent teaching, and opportunities for improvement. The Surveys and Evaluation website provides more information on student surveys at ANU and reports on the feedback provided on ANU courses.

Other Information

Appeals Procedure:

If you believe you have received an inappropriate or incorrect result, there are steps you can take to have that result reviewed. This must be done within 30 working days of the formal notification of results. Your first point of contact should be your tutor or the course convenor. 

Class Schedule

Week/Session Summary of Activities Assessment
1 Fundamental logical concepts: validity, deduction, proof No assessments this week
2 Propositional logic: conjunction and implication No assessments this week
3 Propositional logic: disjunction and negation No assessments this week
4 Semantics of propositional logic No assessments this week
5 First order logic: quantification, natural deduction Small assignment 1
6 First order logic: tableaux Midterm exam
7 First order logic: semantics, sequent calculus No assessments this week
8 The logic of identity, definite descriptions Small assignment 2
9 Free logic, reasoning with restricted quantifiers No assessments this week
10 Paradoxes of implication, logic of vague propositions Small assignment 3
11 Constructive reasoning, substructural proofs No assessments this week
12 Non-classical models, summary Small assignment 4

Assessment Summary

Assessment task Value Due Date Return of assessment Learning Outcomes
Assignment 1 5 % 29/03/2019 12/04/2019 1
Assignment 2 5 % 03/05/2019 17/05/2019 1
Assignment 3 10 % 17/05/2019 31/05/2019 3,4
Assignment 4 10 % 31/05/2019 14/06/2019 1
Midterm examination 20 % 05/04/2019 19/05/2019 2,3
Final examination 50 % 06/06/2019 04/07/2019 2,3,4

* If the Due Date and Return of Assessment date are blank, see the Assessment Tab for specific Assessment Task details


ANU has educational policies, procedures and guidelines, which are designed to ensure that staff and students are aware of the University’s academic standards, and implement them. Students are expected to have read the Academic Misconduct Rule before the commencement of their course. Other key policies and guidelines include:

Assessment Requirements

The ANU is using Turnitin to enhance student citation and referencing techniques, and to assess assignment submissions as a component of the University's approach to managing Academic Integrity. For additional information regarding Turnitin please visit the ANU Online website. Students may choose not to submit assessment items through Turnitin. In this instance you will be required to submit, alongside the assessment item itself, hard copies of all references included in the assessment item.

Moderation of Assessment

Marks that are allocated during Semester are to be considered provisional until formalised by the College examiners meeting at the end of each Semester. If appropriate, some moderation of marks might be applied prior to final results being released.


Midterm and final examinations (formal, invigilated).

Assessment Task 1

Value: 5 %
Due Date: 29/03/2019
Return of Assessment: 12/04/2019
Learning Outcomes: 1

Assignment 1

Formalisation problem from the "Intermediate" section of the Logic for Fun website. Submission is online; Turnitin is not relevant to this task.

Assessment Task 2

Value: 5 %
Due Date: 03/05/2019
Return of Assessment: 17/05/2019
Learning Outcomes: 1

Assignment 2

Formalisation problem from the "Advanced" section of the Logic for Fun website. Submission is online; Turnitin is not relevant to this task.

Assessment Task 3

Value: 10 %
Due Date: 17/05/2019
Return of Assessment: 31/05/2019
Learning Outcomes: 3,4

Assignment 3

Essay (1000 words) on a topic in philosophical logic.

Assessment Task 4

Value: 10 %
Due Date: 31/05/2019
Return of Assessment: 14/06/2019
Learning Outcomes: 1

Assignment 4

Formalisation problem from the "Expert" section of the Logic for Fun website. Submission is online; Turnitin is not relevant to this task.

Assessment Task 5

Value: 20 %
Due Date: 05/04/2019
Return of Assessment: 19/05/2019
Learning Outcomes: 2,3

Midterm examination

Examination (2 hours, invigilated) covering propositional logic. Expected to be scheduled in week 6.

Assessment Task 6

Value: 50 %
Due Date: 06/06/2019
Return of Assessment: 04/07/2019
Learning Outcomes: 2,3,4

Final examination

Examination (3 hours, invigilated)

Academic Integrity

Academic integrity is a core part of our culture as a community of scholars. At its heart, academic integrity is about behaving ethically. This means that all members of the community commit to honest and responsible scholarly practice and to upholding these values with respect and fairness. The Australian National University commits to embedding the values of academic integrity in our teaching and learning. We ensure that all members of our community understand how to engage in academic work in ways that are consistent with, and actively support academic integrity. The ANU expects staff and students to uphold high standards of academic integrity and act ethically and honestly, to ensure the quality and value of the qualification that you will graduate with. The University has policies and procedures in place to promote academic integrity and manage academic misconduct. Visit the following Academic honesty & plagiarism website for more information about academic integrity and what the ANU considers academic misconduct. The ANU offers a number of services to assist students with their assignments, examinations, and other learning activities. The Academic Skills and Learning Centre offers a number of workshops and seminars that you may find useful for your studies.

Online Submission

Submission of the Logic for Fun items is internal to that website. For the essay (assignment 3) you will be required to electronically sign a declaration as part of the submission of your assignment. Please keep a copy of the assignment for your records. Unless an exemption has been approved by the Associate Dean (Education) submission must be through Turnitin.

Hardcopy Submission

There are no assignments in this course for which hard copy submission is appropriate.

Late Submission

No submission of assessment tasks without an extension after the due date will be permitted. Any assignment submitted late without a medical certificate or similarly good reason, or prior permission, will be given a mark of zero.

Referencing Requirements

Accepted academic practice for referencing sources that you use in presentations can be found via the links on the Wattle site, under the file named “ANU and College Policies, Program Information, Student Support Services and Assessment”. Alternatively, you can seek help through the Students Learning Development website.

Extensions and Penalties

Extensions and late submission of assessment pieces are covered by the Student Assessment (Coursework) Policy and Procedure. The Course Convener may grant extensions for assessment pieces that are not examinations or take-home examinations. If you need an extension, you must request an extension in writing on or before the due date. If you have documented and appropriate medical evidence that demonstrates you were not able to request an extension on or before the due date, you may be able to request it after the due date.

Privacy Notice

The ANU has made a number of third party, online, databases available for students to use. Use of each online database is conditional on student end users first agreeing to the database licensor’s terms of service and/or privacy policy. Students should read these carefully. In some cases student end users will be required to register an account with the database licensor and submit personal information, including their: first name; last name; ANU email address; and other information.
In cases where student end users are asked to submit ‘content’ to a database, such as an assignment or short answers, the database licensor may only use the student’s ‘content’ in accordance with the terms of service – including any (copyright) licence the student grants to the database licensor. Any personal information or content a student submits may be stored by the licensor, potentially offshore, and will be used to process the database service in accordance with the licensors terms of service and/or privacy policy.
If any student chooses not to agree to the database licensor’s terms of service or privacy policy, the student will not be able to access and use the database. In these circumstances students should contact their lecturer to enquire about alternative arrangements that are available.

Distribution of grades policy

Academic Quality Assurance Committee monitors the performance of students, including attrition, further study and employment rates and grade distribution, and College reports on quality assurance processes for assessment activities, including alignment with national and international disciplinary and interdisciplinary standards, as well as qualification type learning outcomes.

Since first semester 1994, ANU uses a grading scale for all courses. This grading scale is used by all academic areas of the University.

Support for students

The University offers students support through several different services. You may contact the services listed below directly or seek advice from your Course Convener, Student Administrators, or your College and Course representatives (if applicable).

Dr John Slaney

Research Interests

mathematical logic, philosophical logic, automated reasoning, artificial intelligence 

Dr John Slaney

Caitlin D'Abrera

Research Interests

Caitlin D'Abrera

Christopher Bottomley

Research Interests

Christopher Bottomley

Edmund Heng

Research Interests

Edmund Heng

Timothy Kelly

Research Interests

Timothy Kelly

Alexandra Ware

Research Interests

Alexandra Ware

Thomas Anton

Research Interests

Thomas Anton

Mark Perry

Research Interests

Mark Perry

Responsible Officer: Registrar, Student Administration / Page Contact: Website Administrator / Frequently Asked Questions