Lecture, four hours; discussion, one hour. Recommended for students who plan to pursue more advanced studies in logic. Elements of symbolic logic, sentential and quantificational; forms of reasoning and structure of language. P/NP or letter grading.

Review Summary

10.0 / 10
10.0 / 10
5-10 hrs/week
10.0 / 10


    Quarter Taken: Fall 2022 In-Person
    Grade: A

    Good class! I enjoyed taking it with professor Levy. The material is apparently a hit-or-miss for people: those who get it really, really enjoy it (because it's like solving logic puzzles), and those who don't really struggle. The homework is like solving puzzles, and is the homework I knocked out first every week because I genuinely enjoyed doing it. However, the class is unfortunately not for everyone because of the abstractness of logic and its symbols.

    Quarter Taken: Spring 2022 Online
    Grade: A+

    This class is a very math-y philosophy class, which may not be for everyone - but I really enjoyed it! Exams were all very fair and straightforward, as long as you complete and understand the homework (which are completed on a computer software and are kind of like puzzles). Prof. Levy and the TA/LAs are all very willing to help students out, so be sure to visit office hours or email them if you're stuck on anything.

    Quarter Taken: Spring 2022 Online
    Grade: A

    overall, the class can get difficult and the concepts build on each other, but if you have any questions the discussion sections are super helpful! would recommend taking for sure if you're at all interested in logic

    Quarter Taken: Fall 2023 In-Person
    Grade: A

    You'll do fine in this class as long as you go to every lecture and actually listen. If you miss one class, it's likely that you'll feel lost in the next few classes. When you find something you don't understand, make sure you figure it out by going to the office hours or discussion sections. The professor, the TA, and the LAs are super helpful and approachable. If you're confident in the homework questions that are assigned after every class, you will most likely do well in the two midterms and one final. The software used in the class, Logic 2010, can be hard to navigate at the beginning. However, once you get used to it, you'll love solving logic questions on it. I highly recommend this class for this class had me fall in love with logic.

    Quarter Taken: Fall 2023 In-Person
    Grade: P

    This class is a lot of work. You have homework problems due 15 minutes before lecture and they account for 20% of your grade. If you fall behind in class it does take work to catch up. Levy is funny and overall a great guy but people have complained he isn't the best in explaining some concepts. Personally, I found the course very interesting as it introduces logic systems and breaks down rhetoric arguments but it does resemble a math/cs class more than a philosophy class. Don't take the class if you absolutely hate math. No readings required.


Steven Levy
Previously taught
24S 24W 23F 23S 23W 22F 22S 22W 21F 21W 20F 20S 19F 19W 18F 18W 17F 17W 16F 16W 15F 15W 14F 14W 13F 13W 12F 12W 11F 10F 10W 08F 08W 07F

Grading Information

  • No group projects

  • Attendance not required

  • 2 midterms

  • Finals week final

  • 17% recommend the textbook