The class was very interesting, and Professor Cameron was a great lecturer. The grading being 3 non-cumulative take home tests was convenient. It is definitely a step-up from PHIL 2420 difficulty-wise, although in my opinion it was less work/homework than it. If you're interested in logic or like mathematical thinking, I highly recommend!

This class is an interesting survey of logic outside of the classical kind you might find in PHIL 2420 or Discrete Mathematics or any other traditional math/philosophy course. It (in a somewhat shallow way) explores what happens if we don't take certain assumptions into account, such as the assumption that things cannot be true and false or neither true nor false, or what truth and falsity can mean in different contexts. Unfortunately, the first 2/3 of the class are extensions rather than deviations from classical logic, which in my opinion is less interesting. Basically, it just covers how classical logic works in a modal setting, which is interesting, but if you have any experience with modal logic, it can be a little dull. Also, it is important to note that most of this class feels more like a math class than a philosophy class, given that a lot of it is symbol manipulation given a specific set of tableau rules