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!

The quarter I took it the class was being taught by grad student Torsten Odland although I'm pretty sure we used Walsh's carnap.io. You got a lot of practice for the proofs/other exercises in the homeworks (which are pretty easy to get 100 on). There's a lot of readings that are not really covered by the homework and there were vocab terms that we were expected to know on the exams to test us on the readings (in addition to homework-style problems). The exams were supposed to be on paper but our quarter they were online on carnap.io because of the protests, if the exams were in person like they were supposed to be I'm sure they would've been harder.

The real MVP of this class was the TA Nefeli Ralli, who was super responsive on the slack and in general really helpful.

This class is definitely a jump from philosophy 31 but in my opinion still pretty doable.

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!