Phil1068 Hku [new]

[PHIL1068 Elementary Logic] │ ├──► Sentential Logic (SL) ──► Syntax, Semantics, Truth Tables, & Natural Deduction │ └──► Predicate Logic (QL) ──► Quantifiers, Predicates, & Advanced Proof Systems 1. Sentential Logic (SL)

The first few weeks establish foundational terminology. Students learn to differentiate between sentences that hold truth-values (statements) and commands or expressions. The primary focus rests on the exact philosophical definitions of (if the premises are true, the conclusion must be true) and Soundness (a valid argument where all premises are factually true). 2. Sentential Logic (SL)

: The course primarily utilizes Jonathan Ichikawa’s open-access textbook, an expanded version of P.D. Magnus's forall x .

Based on the course code at The University of Hong Kong (HKU) , this usually refers to the course "Critical Thinking and Logic" (or simply "Logic" ). This is a flagship introductory course in the Department of Philosophy, popular among students from various faculties (Arts, Business, Science, etc.) because it covers formal logic and argument analysis. phil1068 hku

Once enrolled, students should visit the course Moodle page at the beginning of the semester. There, you will find:

[Basic Logical Concepts] ---> [Sentential (Propositional) Logic] ---> [Predicate (Quantified) Logic] 1. Basic Logical Concepts

: Multiple assignments (e.g., 4–5 sets) focusing on truth tables, translations, and derivations. The primary focus rests on the exact philosophical

Understanding the rules of forming valid logical statements and determining their truth values. 2. Why Logic Matters: Beyond the Classroom

Logic is the foundation of clear, rational thought. The skills you learn—analyzing arguments, identifying fallacies, constructing proofs—translate directly to better performance in philosophy, law, computer science, mathematics, linguistics, and everyday decision‑making. As the course website states, “whatever your background, good training in logic should improve your ability to think clearly, rationally and systematically”.

: Everything you need—handouts, problem sets, and readings—is hosted on the course website. Magnus's forall x

Using an open‑access textbook ( forall x ) means you don’t have to purchase expensive logic textbooks. All required readings are available at no charge via Moodle.

The assessment is usually a mix of . Typically, you'll face:

Instructors frequently emphasize that lecture slides (on Moodle) are the most critical resource for exams and may use slightly different notation than the textbook.