Home

Course description. This course is an introduction to logic, requiring no prior knowledge of philosophy or mathematics. It does not aim to communicate results about logical systems but instead it aims to impart a skill--the ability to recognize and construct correct deductions and refutations. We will proceed via a graduated but unified development of logic from the basics of the sentential calculus up to the quantifier calculus. Along the way we will take short diversions into the historical issues that led to various logical developments including discussion of the insights by Aristotle, the Stoics, Gottfried Leibniz, Gottlob Frege, and Alfred Tarski, among others.



Lecture Notes & Handouts

Reading
  • 1/14: Listen (Aristotle's logical works)
  • 1/16: Hunter, pp. 4-9
  • 1/18: Hunter, pp. 9-13, K&M, pp. 1-2
  • 1/21: no class (MLK) [read Hofstadter, "The MU-puzzle"]
  • 1/23: K&M, pp. 2-8
  • 1/25: K&M, pp. 8-10
  • 1/28: K&M, pp. 10-13
  • 1/30: K&M, pp. 13-16
  • 2/01: K&M, pp. 16-20
  • 2/04: K&M, pp. 20-24
  • 2/06: K&M, pp. 24-32
  • 2/08: K&M, pp. 32-49
  • 2/11: K&M, pp. 50-59
  • 2/13: K&M, pp. 59-63 (Edinburgh)
  • 2/15: K&M, pp. 64-68
  • 2/18: K&M, pp. 68-71
  • 2/20: K&M, pp. 71-75
  • 2/22: K&M, pp. 75-87
  • 2/25: K&M, pp. 87-89, and Tarski Chapter II
  • 2/27: K&M, pp. 89-99
  • 2/29: K&M, pp. 99-106
  • 3/04: K&M, pp. 107-110
  • 3/06: K&M, pp. 110-116
  • 3/08: Review
  • 3/11: Review
  • 3/13: **Midterm Exam 1**
  • 3/15 - 3/24: Spring Break
  • 3/25: snow day
  • 3/27: Peters & Westerståhl, "A Brief History of Quantification" in Quantifiers in Language and Logic (2006).
  • 3/29: K&M, pp. 117-121
  • 4/01: K&M, pp. 121-126
  • 4/03: K&M, pp. 126-133
  • 4/05: K&M, pp. 133-139
  • 4/08: K&M, pp. 139-143
  • 4/10: K&M, pp. 143-146
  • 4/12: K&M, pp. 146-153
  • 4/15: K&M, pp. 153-174
  • 4/17: Review
  • 4/19: **Midterm Exam 2**
  • 4/22: K&M, pp. 174-178
  • 4/24: K&M, pp. 178-182
  • 4/26: K&M, pp. 182-187
  • 4/29: Final Review
  • 5/01: Final Review
  • 5/03: Final Review

Final Exam

[All homework is assigned and turned in via the Logic 2010 website]






This computer program (Logic 2010) is essential to the course. You need to download and install the software. Instructions for downloading, installing, and running are available http://logiclx.humnet.ucla.edu/. Be sure to carefully follow the instructions.  You will need your student ID number in order to register as a user. Don't forget your password.

         



[The above derivation was typeset in the Kalish and Montague style using latex package KMcalc.sty (see documentation pdf). See the tex file for the relevant notational modifications.]