The course requires no prior background in philosophy or advanced mathematics.

This textbook is widely used in introductory logic courses and is praised for its clarity, abundant exercises, and accessible explanations. Students are expected to read the relevant chapters before class or tutorial sessions, as the readings form the basis for in‑class exercises and discussions. No marked homework is assigned beyond the readings, though practice problems are strongly recommended to internalize the material.

has changed. They no longer see arguments—they see structures. or a breakdown of the current semester's syllabus

: In-class midterms and final exams focus strictly on mechanical derivations, translations, and truth-functional evaluations. Core Curriculum Modules

Unlike your typical philosophy class where you debate ethics or the meaning of life, PHIL1068 is an introduction to . You’ll spend your time learning:

A: Not at all. While logic shares some formal features with mathematics, the course does not assume any mathematical knowledge beyond basic arithmetic. The emphasis is on understanding rules of inference and constructing proofs—skills that rely on careful reasoning, not computational ability.

By understanding how to construct a sound argument, your essays across all disciplines become tighter, more structured, and more persuasive.

The grammatical rules governing how logical symbols are linked.

For the most current information—specific semester offerings, updated syllabi, and instructor details—visit the or contact the instructor directly at micjohns@hku.hk .

Extending natural deduction rules to handle quantifier introduction and elimination safely. Course Formats: Lecture-Based vs. Self-Study

The goal isn't just to move symbols around; it’s to help you . You’ll dive into: