square of opposition


  • Here’s an explanation of the use of dots for grouping in the notation used by Quine and Smullyan. (They got it from Russell and Whitehead’s Principia Mathematica, who got it from Peano.) Feb 18, 2016

  • I’ve added a page on typesetting logic with LaTeX, for those who are interested. (But handwritten problem sets are fine!) Jan 19, 2016

  • Welcome! Most of the course material will be on this website, but I will make use of bCourses for announcements and for material that cannot be made public. Our bCourses site is here. Jan 13, 2016