Review Comment

[PHIL V3411] Symbolic Logic

May 19, 2017

Varzi, Achille Silver_nugget
[PHIL V3411] Symbolic Logic

Note: Don't take symbolic logic unless a) you're really passionate about it b) you're good at math or c) you need to take it as a major requirement. It's definitely one of the harder philosophy classes.
Kind of boring professor. Reads off slides he cribbed from the textbook instead of teaching. Really funny though and your best option for symbolic logic because of how easy his class is. To do well in his class, you DON'T need to attend lectures (I attended only when we had a test) but if you don't go, you have to be disciplined enough to read and understand the slides on your own. In addition, you MUST do every homework thoroughly, even though they're optional. Also go to all the recitations and talk at least 4x in them because participation is 10% of the grade. I recommend Sebastien Rivat as a TA because he's a clear explainer; however, he has a fairly thick Swiss French accent so if you're not used to that go to Manuel Kaeppler instead.
Grade Received: A

Workload:

Take home quiz 10%
2 in class midterms 20% each
Final 40%
Recitation participation 10%

December 28, 2016

Lando, Tamar
[PHIL V3411] Symbolic Logic

Pretty easy class. If you stay on top of your work the material isn't difficult. Go to class, go to the recitations. Don't get complacent in the early part of the semester, it gets tough pretty suddenly. Professor Lando is good, and the slides are good prep for the exams. The exams were significantly easier than the problem sets.

The median for the midterm was 82, and the median for the problem sets was 80-83.

Workload:

Weekly problem sets (lowest one is dropped), in class midterm and in class final.

December 15, 2016

Lando, Tamar
[PHIL V3411] Symbolic Logic

I disagree on nearly every point with the previous reviewer. Tamar is an excellent and dedicated instructor and simply expects the same from her students, if you are not passionate about the material, do not take the course. If you ask her questions about the material without having first read it, you will obviously be frustrated when you subsequently do not understand her explanations either, there are no tricks here, it will be the most logical course you have ever taken. On the other hand, abstract ideas are not going to simply be handed to you in digestible form, effort is necessary. I had the privilege of stumbling into the course and now have an immensely powerful analytic tool that I will have for the rest of my life. I encourage every one to read a little about what logic is and its centrality in philosophy and the sciences before committing to the course.

One complaint: Gaifman's book has very esoteric notation

Workload:

Heavy, as you need to practice the concepts regularly, problem set every week (time needed may vary) Midterm, Final, the exams cover nothing that was not explained thoroughly in class.

May 18, 2015

Varzi, Achille Silver_nugget
[PHIL V3411] Symbolic Logic

Time for a Gold Nugget.

Professor Varzi is the archetypal Philosopher. Heavy accent, wild hair, and surrounded by eager Grads and Undergrads pretty much everywhere he goes. Strikes a perfect balance between humorous and maniacal genius. Very approachable, and thoughtful, and known within the Philosophy community as one of the best teachers available.

The course itself, Varzi will tell you, ascends and descends along a linear plane of difficulty. He's not afraid to tell you when the difficulty is increasing dramatically so you can be extra prepared/cautious in the work. First Order Logic is pretty much the equivalent of doing complex calculus in an alien language. Nevertheless, you'll start out slow, and TA sections are extremely beneficial. I struggled with the material nearly the entire course - most students did - but I left with a sincere appreciation for the tradecraft, and quite refreshingly aware of the pitches and turns in many complex philosophical arguments.

Taking any course with Varzi is going to be a worthwhile experience, and I would highly encourage Symbolic Logic as an excuse to do just that.

Workload:

Several graded homework assignments (time consuming but no overly demanding), two mid-terms (moderately difficult), and a final (quite difficult).

Directory Data

Dept/Subj Directory Course Professor Year Semester Time Section
PHIL / PHIL PHIL PHIL V3411: Symbolic Logic: Intro to Symbolic Logic Jeffrey Helzner 2012 Spring MW / 1:10- 2:25 PM 1
PHIL / PHIL PHIL PHIL V3411: Symbolic Logic: Intro to Symbolic Logic Jeffrey Helzner 2011 Spring MW / 2:40- 3:55 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Jeffrey Helzner 2010 Spring MW / 1:10- 2:25 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Jeffrey Helzner 2010 Spring MW / 1:10- 2:25 PM 1
PHIL / PHIL PHIL PHIL V3411: Symbolic Logic: Intro to Symbolic Logic Jeffrey Helzner 2010 Spring MW / 1:10- 2:25 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Achille Varzi 2009 Fall MW / 2:40- 3:55 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Jeffrey Helzner 2009 Spring MW / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Achille Varzi 2009 Fall MW / 2:40- 3:55 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Jeffrey Helzner 2009 Spring MW / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Achille Varzi 2008 Fall MW / 10:35-11:50 AM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Achille Varzi 2008 Fall MW / 10:35-11:50 AM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Jeffrey Helzner 2008 Spring TR / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Jeffrey Helzner 2008 Spring TR / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Achille Varzi 2007 Spring MW / 10:35-11:50 AM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic 2006 Spring / 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Achille Varzi 2006 Spring MW / 10:35-11:50 AM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Achille Varzi 2006 Spring MW / 10:35-11:50 AM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Sidney Felder 2006 Fall MW / 6:10- 7:25 PM 2
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic 2006 Spring / 0
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Sidney Felder 2006 Fall MW / 6:10- 7:25 PM 2
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic 2005 Spring / 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Jeffrey Helzner 2005 Fall TR / 2:40- 3:55 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Jeffrey Helzner 2005 Fall TR / 2:40- 3:55 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Achille Varzi 2005 Spring MW / 10:35-11:50 AM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Achille Varzi 2005 Spring MW / 10:35-11:50 AM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Jeffrey Helzner 2004 Spring MW / 1:10- 2:25 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Jeffrey Helzner 2004 Spring MW / 1:10- 2:25 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic John Collins 2004 Fall MW / 1:10- 2:25 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic John Collins 2004 Fall MW / 1:10- 2:25 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic 2004 Fall / 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic 2004 Fall R / 6:15- 7:15 PM 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Doron Avital 2003 Spring MW / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Doron Avital 2003 Spring MW / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Achille Varzi 2003 Fall MW / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic 2003 Spring MW / 12:15- 1:00 PM 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic 2003 Fall M / 5:00- 5:45 PM 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic 2003 Spring MW / 12:15- 1:00 PM 0
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Achille Varzi 2003 Fall MW / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic 2003 Fall MW / 12:15- 1:00 PM 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic 2002 Fall MW / 12:15- 1:01 PM 0
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic 2002 Fall T / 12:15- 1:00 PM 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic 2002 Spring MW / 6:55- 7:40 PM 0
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic Achille Varzi 2002 Fall MW / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Haim Gaifman 2002 Spring MW / 5:40- 6:55 PM 1
PHIL / PHIL PHIL PHIL G4415: Intro to Symbolic Logic 2002 Spring MW / 5:40- 6:55 PM 0
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Achille Varzi 2002 Fall MW / 11:00-12:15 PM 1
PHIL / PHIL PHIL PHIL V3411: Intro to Symbolic Logic Achille Varzi 2001 Fall MW / 11:00-12:15 PM 1