PHIL 1111OL - An Intensive Introduction to Logic

Online - Summer - 2024

Logic is fundamental to the way humans communicate. Our public debates and private reasoning are shaped by logical principles, even though most of us would struggle to spell them out. An Intensive Introduction to Logic will cover the basics of formal logic, which provides symbolic methods for representing and assessing the logical form of arguments. You will develop an understanding of symbolic language and logic, as well as familiarity with precise models of deductive reasoning. However, no previous experience with symbolic methods or mathematics is assumed. There are no prerequisites, but some students find that Argument and Critical Thinking is a useful companion class. This course is offered intensively. Engagement with course content and assessment tasks from the very start of the course is essential for success.

  • General Course Information
    Course Details
    Course Code PHIL 1111OL
    Course An Intensive Introduction to Logic
    Coordinating Unit Philosophy
    Term Summer
    Level Undergraduate
    Location/s Online
    Units 3
    Contact Up to 6 hours per week online intensive
    Available for Study Abroad and Exchange Y
    Incompatible PHIL 1110
    Assessment Online Quizzes x 5, Take home final exam
    Course Staff

    Course Coordinator: Associate Professor Antony Eagle

    Course Timetable

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

    Course material is supplied in screencast micro-lectures and online discussion boards, and students can engage with course content on a timetable of their own choosing and without coming to campus. There are also twice-weekly timetabled online tutorials where students can get help with problems and concepts with the support of teaching staff and their peers.

    Students can expect to be involved in learning and assessment activities for this course between January 2 and February 16, 2023. Assessment begins early so if you are not prepared to begin taking quizzes in the first week of January then perhaps this course is not for you.

    ​
  • Learning Outcomes
    Course Learning Outcomes

    On successful completion of this course students will be able to:

    1. Represent the structure of statements and arguments using a formal logical framework;
    2. Assess formalised arguments for validity using truth tables and deductive methods;
    3. Apply these formal methods to clarify and assess real-world arguments;
    4. Display knowledge of and facility with symbolic logic under a variety of assessment conditions;
    5. Demonstrate understanding of interpretative questions and controversies arising from formal approaches to real world statements and arguments.
    ​
    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)

    Attribute 1: Deep discipline knowledge and intellectual breadth

    Graduates have comprehensive knowledge and understanding of their subject area, the ability to engage with different traditions of thought, and the ability to apply their knowledge in practice including in multi-disciplinary or multi-professional contexts.

    1,2,4

    Attribute 2: Creative and critical thinking, and problem solving

    Graduates are effective problems-solvers, able to apply critical, creative and evidence-based thinking to conceive innovative responses to future challenges.

    1,2,3,4,5

    Attribute 3: Teamwork and communication skills

    Graduates convey ideas and information effectively to a range of audiences for a variety of purposes and contribute in a positive and collaborative manner to achieving common goals.

    3,5

    Attribute 8: Self-awareness and emotional intelligence

    Graduates are self-aware and reflective; they are flexible and resilient and have the capacity to accept and give constructive feedback; they act with integrity and take responsibility for their actions.

    5
  • Learning Resources
    Required Resources

    There is an open access textbook that is freely downloadable:

    Antony Eagle, Tim Button, and PD Magnus (2021) Forallx Adelaide https://github.com/antonyeagle/forallx-adl/raw/master/forallx-adl.pdf.

    The course is structured around this text, so all students are required to familiarise themselves with it.

    I strongly urge students to download this text and begin reading it as soon as they enrol. The intensive nature of the course means some prior preparation will really help, giving you the best chance of understanding the material in the short time available. A good start would be to look through sections 1–7, the bulk of chapters 1 and 2; push on to chapter 3, sections 8–13, if you have time, before classes start.

    ​
    Online Learning
    This course is run wholly online and almost entirely asynchronously, with the exception of the zoom tutorials. 

  • Learning & Teaching Activities
    Learning & Teaching Modes
    This course is offered fully online, with fully asychronous pre-recorded lecture content supported by timetabled zoom workshops. The face to face activities are scaffolded by multiple weekly quizzes and practice exercises that each link to associated micro-lectures.
    Workload

    The information below is provided as a guide to assist students in engaging appropriately with the course requirements.

    This course is offered intensively, with four weeks allocated indicatively to content mastery, and two weeks to take-home examination. The course workload is equivalent to a semester-length course:

    WORKLOADTOTAL HOURS
    STRUCTURED LEARNING
    6 hours equivalent lectures per week 36 hours per semester
    2 x 1 hours tutorials per week, 5 weeks 10 hours per semester
    SELF-DIRECTED LEARNING
    6 hours reading/revision per week 36 hours per semester
    4 hours quiz revision/completion per week 24 hours per semester
    3 x 8 hours take home exam preparation 24 hours per semester
    3 hours completion/review of sample exercises per week 18 hours per semester
    TOTAL 148 hours per semester
    ​
    Learning Activities Summary

    Students can engage with course content on their own schedule, so long as they are prepared for the two take-home exams at the appropriate times. You expect the following broad pattern of activities when enrolled in this course. Note that each section of the course is associated with assessed online quizzes.

    DateCourse WeekActivity/ContentTextbook sections covered
    January 1–7 1 The nature of argument; beginning sentential logic §§1–4 (~35 pages)
    January 8–14 2 Sentential logic; truth tables §§5–9 (~43 pages)
    January 15–21 3 Semantic concepts; proofs in sentential logic §§10–13 (~24 pages); §§26–28 (~25 pages)
    January 22–28 4

    Advanced proofs in sentential logic; beginning quantified logic

    §29, §§31–32 (~38 pages); §§15–16 (~27 pages)

    January 29–

    February 4

    5

    Quantified logic; extensionality

    §§17–21 (~64 pages)
    February 5–11 6
    Interpretations and semantics; proofs in quantified logic
    §§22–25 (~32 pages); §35, §§37–39 (~41 pages)
    February 12–16 7

    Take-home exam

    covers all class material

    Please note: course content is unlocked as you progress through MyUni modules, so you must complete the quizzes for earlier topics before you will be able to access lectures, etc., for later topics.

  • Assessment

    The University's policy on Assessment for Coursework Programs is based on the following four principles:

    1. Assessment must encourage and reinforce learning.
    2. Assessment must enable robust and fair judgements about student performance.
    3. Assessment practices must be fair and equitable to students and give them the opportunity to demonstrate what they have learned.
    4. Assessment must maintain academic standards.

    Assessment Summary
    ASSESSMENT TASKTASK TYPEWEIGHTINGCOURSE LEARNING OUTCOME(S)
    Online quizzes, set 1 Formative and Summative 20% 1,2,3,4
    Online quizzes, set 2 Formative and Summative 20% 1,2,3,4
    Take home final exam Summative 60% 1,2,3,4,5
    ​
    Assessment Detail
    AssessmentDescription% weighting
    Online quizzes set 1 Students complete online quizzes through MyUni associated with each topic in modules 1–4. There are 18 short quizzes, each worth the same amount, to a total of 20% of the course mark. The lowest quiz marks are dropped. You should aim to complete the quizzes by January 22nd. 20%
    Online quizzes set 2 Students complete online quizzes through MyUni associated with each topic in modules 5–7. There are 13 short quizzes, each worth the same amount, to a total of 20% of the course mark. The lowest quiz marks are dropped. You should aim to complete the quizzes by February 12th. 20%
    Final take home test Students complete a take home open book exam on the course material. Students have 72 hours to complete the exam. Proposed due date: February 16th, TBC. 60%
    Submission
    Online quizzes are submitted through MyUni Canvas quizzes. Take home exam is submitted electronically through MyUni. Assignments are marked anonymously. Due to the intensity of the course and the time-limited nature of the key assessment tasks, there are limitations on the extent to which late work and requests for extensions can be accommodated.
    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 Access Adelaide.

  • Student Feedback

    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.

  • Student Support
  • Policies & Guidelines
  • 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’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.