Wow I genuinely created a Bruinwalk account for this review. DO NOT TAKE THIS CLASS!! I cannot emphasize this enough. Majority of the class, including me, took Levy for Phil31 and it was a million times better than this class. I thoroughly enjoyed 31 with Levy and Logic 2010 was amazing. We used Carnap in this class and while it wasn't the worst, it was definitely trickier than Logic 2010. You have to be so specific with each thing you type and it also does not help you at all if you make a mistake.

The start of the class wasn't too bad, as it was basically just extending our knowledge from Phil31. It really started to get tricky around week 3. After week 3, you basically HAVE to go to office hours and tutoring at least once a week in addition to section and lectures in order to understand the content. Even going to them, it's still difficult to understand the content. However, the midterm wasn't too bad and was pretty reasonable.

After the midterm is when things REALLY start making you wonder why you took this class. The content gets crazy hard and the lectures don't really help. While they do teach you the basics, the homework and quizzes each week are exponentially harder. I haven't even mentioned the absolutely INSANE amount of homework and quizzes you have to do each week. Every week there's a homework and quiz due and the amount of time you have to spend on the homework in order to complete it exponentially increases week after week. By the end of the class, everyone was spending multiple days and probably over 10 hours on each homework assignment. While the two lowest homework and quiz grades get dropped, don't expect to fully complete a majority of the assignments due to the difficulty.

The amount of studying we had to do for the final was terrible. In addition to learning all of the content, we also had to memorize 20 definitions and do the quiz like questions. At the end, even the TA and the tutors were so overwhelmed and could not answer a lot of the practice questions for the final. Basically no one finished the final on time due to the overwhelming number of proofs we had to do which were all handwritten by the way. No computers allowed for exams. Have fun writing over 25 lines on paper and erasing all of them!

In conclusion, so many people dropped this class and I wish I did too <3 It's too bad though I did like Professor Walsh as a person!

Very organized lectures with published lecture notes. Theoretically you can just read all the lecture notes prepared by Prof. Walsh without attending any lecture, as all of the lecture content is covered in his well-prepared lecture notes. Lectures are recorded so you can go over them if you don't understand a point or two. The historical backgrounds for the topics of logic taught are also mentioned which in my opinion makes the lecture more thought-provoking than my experience of PHILOS31 with Prof. Levy.

Amazing class and amazing professor!