PHILOS 135
Introduction to Metalogic
Description: Lecture, four hours; discussion, one hour. Requisite: course 31. Metatheory sentential logic and first-order logic. Introduction to formal language, formal deductive systems, and models. Compactness and completeness theorems that concern complexity of notion of logical consequences. Letter grading.
Units: 4.0
Units: 4.0
1 of 1
AD
AD
Most Helpful Review
Boy o boy... this guy.. Start it off with he is a really good guy. Hes nice, he will explain things again if asked, always around, helpful in office hours and really does try to help. In spite of this, he often times fell short of sufficient help. I dont consider this class a philosophy class. Its all math proof based, some deduction, tautology stuff like phil 31/32 but really the focus is on proofs and induction. This class is HARD!. By far the hardest philosophy class Ive taken, and worse is that its not very interesting, I'd advoid this class in general if I could do it over again. His problem is not from being knowledgeable, its from the teaching aspect. He is a smart man no doubt, although he can't concisely transform his thoughts into words. He uses very convoluted and roundabout language to express his ideas, his proofs he writes on the board are cryptic, and he does not provide sufficient examples so when you're trying to do the hw, you're doing things you've never seen before. Although he is around so take advantage of OH. He is a very picky grader. You have to prove things in exactly the language that he wants or else he slashes off points. He does not give you a lot of freedom in deducing. Grading: HWs are always pretty short, half were really easy, 1/4 hard and 1/4 impossible. Midterm, totally fair. Final take home and also fair, but very hard. He adds in humor with his teaching that is funny and interesting, however, he just cant teach, advoid him and 135!
Boy o boy... this guy.. Start it off with he is a really good guy. Hes nice, he will explain things again if asked, always around, helpful in office hours and really does try to help. In spite of this, he often times fell short of sufficient help. I dont consider this class a philosophy class. Its all math proof based, some deduction, tautology stuff like phil 31/32 but really the focus is on proofs and induction. This class is HARD!. By far the hardest philosophy class Ive taken, and worse is that its not very interesting, I'd advoid this class in general if I could do it over again. His problem is not from being knowledgeable, its from the teaching aspect. He is a smart man no doubt, although he can't concisely transform his thoughts into words. He uses very convoluted and roundabout language to express his ideas, his proofs he writes on the board are cryptic, and he does not provide sufficient examples so when you're trying to do the hw, you're doing things you've never seen before. Although he is around so take advantage of OH. He is a very picky grader. You have to prove things in exactly the language that he wants or else he slashes off points. He does not give you a lot of freedom in deducing. Grading: HWs are always pretty short, half were really easy, 1/4 hard and 1/4 impossible. Midterm, totally fair. Final take home and also fair, but very hard. He adds in humor with his teaching that is funny and interesting, however, he just cant teach, advoid him and 135!
1 of 1
