PHIL1006 - Elementary Logic (old version)

This website is inactive. This is not the current version of this course.

Course coordinator: Patrick Hawley

Course tutors: Arthur Chin (arthurchin2 yahoo.com.hk) and Jianwen Zheng (h0791134 hkusua.hku.hk)

Welcome to the Elementary Logic course web site. The aim of this course is to provide a very basic introduction to logic, and to show how logic can be used in the analysis of arguments. No prior knowledge of logic or mathematics is required. The course is suitable for students of all faculties. Whatever your background, good training in logic should improve your ability to think clearly, rationally and systematically.

Announcements

14 February: Problem Set 1 is now available. Click here. The problem set is due on 20 February.

27 February: Reminder: Midterm test next week, Tuesday 4 March

29 February: Problem Set 1 has now been graded. You can pick up your problem set from Ms Loletta Li in room 312 of the Main Building.

1 March: answers to Problem Set 1 are now available. Click here.

17 March: The Midterm test has now been graded. You can pick it up from Ms Loletta Li.

17 March: answers to the Midterm are now available. Click here.

28 March: The final examination will take place on Saturday 10 May from 9:30 am to 10:30 am at the Lindsay Ride Sports Center.

8 April: Problem Set 2 is now available. Click here. The problem set is due on 15 April.

21 April: A sample old final examination is now available. Click here.

1 May: answers to Problem Set 2 are now available. Click here.

9 May: Answers to the sample old final examination are now available. Click here.

Important Facts

• Online : All the material for this course is online. This web page will link to everything you need.
• Self-study : There are no lectures and no tutorials.
• Password : No password is needed to read the course materials.
• Credit : This is a 3 credit-unit course.
• Getting help : Check the Elementary Logic FAQ. Or post your question to the online discussion forum. Your questions are welcomed and will be answered promptly.
• Getting more help : If you need more help, send email to the tutor to set up an appointment.
• Test : A one hour Midterm Test will be held on Tuesday 4 March. The Midterm Test is worth 30% of your grade. There will be no makeup Midterm. If you cannot attend the Midterm, then you should not take this course.
• Exam : There will be a one hour Final Exam. The Final Exam is worth 40% of your grade.
• Problem sets : There are two problem sets. Each problem set is worth 15% of your grade.
• Talking : You are permitted to discuss the problem sets with others. However, you must write the problem sets by yourself. You are not permitted to copy another person's problem set.
• Copying : If you copy your problem set from another person, then you are cheating. If you permit your problem set to be copied, then you are cheating. If you cheat, then you will be severely punished.
• Late : Late problem sets will be penalized. The grade will be lowered 10% for each day late.
• Drop : We do not permit students to drop the course after the add/drop period.

Dates

• 14 February, Problem Set 1 available
• 20 February, Problem Set 1 due
• 29 February, Problem Set 1 returned
• 4 March, Reading Week, Midterm Test. 10-11am. Rayson Huang Theater.
• 8 April, Problem Set 2 available
• 15 April, Problem Set 2 due
• 25 April, Problem Set 2 returned
• 10 May, Final exam. 9:30-10:30am. Lindsay Ride Sports Center.

Study schedule

Topic 1 : Validity

• Topic L1 : What is Logic?
• Topic L2 : Statements
• Topic L3 : Avoiding ambiguity
• Topic A01 : Identifying arguments
• Topic A02 : Validity and soundness
• Topic A03 : Patterns of valid arguments
• Topic A04 : Hidden assumptions in arguments
• Topic A06 : Good arguments

Topic 2 : Sentential Logic

• Topic SL01 : Introduction to Sentential Logic
• Topic SL02 : Well-formed formula in SL
• Topic SL03 : Truth-tables for SL connectives
• Topic SL04 : More complicated truth-tables
• Topic SL05 : Logical properties and relations
• Topic SL06 : Formalization in SL
• Exercise 1.3 at http://logic.tamu.edu/cgi-bin/quizmaster
• Topic SL07 : The full truth-table method
• Topic SL08 : The indirect method
• Topic SL09 : "If...then..." and the material conditional
• Topic SL10 : The limitations of Sentential Logic

Topic 3 : Predicate Logic

• Topic MPL01 : Predicate logic: the basic idea
• Topic MPL02 : Quantifiers
• Topic MPL03 : The formal system MPL
• Topic MPL04 : MPL interpretation
• Topic MPL05 : Validity in MPL

FAQ