PHIL 3400

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

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!

Super interesting class, I took this as a CS major but it ended up probably being one of my favorites classes at UVA, very thought provoking stuff (a lot like DMT1 and 2). It is definitely a bit hard for an elective, especially when it gets into some of the super theoretical content, but Ross is a really good professor and is super helpful at breaking down the concepts. He's also a great lecturer which makes the class very enjoyable.

Only downside is the difficulty, grading is mainly just the 3 exams which are very hard take home exams (although there's usually a fairly generous curve), but still it'd be nice if there was some buffer of other assignments/homework imo. Still would totally recommend this class if you're interested in the logic/proof aspect of philosophy.