Course»Course 24»Fall 2019»24.241»Homepage

24.241  Logic I

Fall 2019

Instructor: Vann McGee

TA: Jocelyn Wang

Lecture:  TR9.30-11  (32-124)        

Information: 

An introduction to the aims and techniques of formal logic. Logic is the science of correct argument, and our study of logic will have both theoretical and practical goals. The theoretical aim is to understand what makes a correct argument good. What is it about the structure of a correct argument that guarantees that, if the premises are all true, the conclusion will be true as well? Our subject will be truth and proof, and the connection between them. The practical aim is to help you learn to reason better, with greater clarity and precision, so that you’ll produce good arguments and you’ll scorn bad arguments when you’re confronted with them.

The text for the course will be a manuscript I wrote, entitled Logic: The Art of Persuasion and the Science of Truth. I’m still tinkering with it. The text is available here, under “Materials.” We’ll study the topics that appear there, in the order in which they’re listed. (There’s also a version of the text on OpenCourseWare, but it’s out-of-date.) Homework assignments, homework answers, announcements, and so on on will also be posted here. If, for some reason, you are not now officially enrolled in the class, please send me an e-mail and let me know, so that I can add your name to the class list, giving you immediate full access to the site.

There will be weekly problems sets. Jocelyn Wang will be doing the grading. In calculating grades, I’ll throw out the lowest homework score. I encourage you to work together on the problems, but when you sit down to write up your final answers, please do it by yourself, without looking at anyone else’s work. This is important, since the scores on the problem sets are the biggest component of your final grade.

There will be a mandatory 3-hour final exam, which will carry the same weight as three problem sets. It will be a closed-book exam, but you can bring in a one-page crib sheet.

You will be required to attend class. Attendance will be taken, and cumulative attendance will count the same as one pset. The last two times I taught the class, I required attendance, and I was amazed how much better people did on the final exam that they did in earlier years.

My regular office hours will be Tuesdays from 4 to 5, upstairs in 32-D931, but other times can be arranged if you have questions. Jocelyn’s office hours are Wednesdays, 11-12, or by appointment in 32-D927.

OCW archive available

Announcements

Attendance grade

Attendance grade has been posted on stellar. You can view it as a comment under problem set 11.

Announced on 18 December 2019  10:34  a.m. by Jocelyn Wang

Reminder: Review session

Wednesday at 6:30 in 32-D461.

Announced on 18 December 2019  5:01  a.m. by Vann McGee

PS11 graded and answer sheet posted

The problem nearly everyone got wrong was problem IV. There is a subtle but crucial difference between III and IV that most people didn’t notice. III asked you to give a set Γ of sentences meeting these two conditions:
Every model with a finite odd number of elements
is a model of Γ
No model with a finite even number of elements
is a model of Γ.
The conditions don’t say anything about infinite models. IV asks for a set Δ that meets three conditions:
Every model for which the number of elements is
a finite product of 3 is a model of Δ.
No model for which the number of elements is a
finite number that isn’t a product of 3 is is a
model of Δ.
No infinite model is a model of Δ.
The third condition is the killer. It’s a theorem – a corollary of the Compactness Theorem – that any set of sentences with arbitrarily large finite models has an infinite model. So no set of sentences meets the conditions on Δ.

Announced on 12 December 2019  7:29  a.m. by Vann McGee

OH postponed to next week

Hi class, since there is no assignment due anymore after the last problem set, and most of you probably won't have time to do the practice exam yet, I've decided to postpone my office hour tomorrow to next week. I will have two office hours next week, one on Wednesday 1-2, and another on Thursday 11-12. If you have questions in the meantime, please feel free to ask on piazza.

Announced on 10 December 2019  9:08  p.m. by Jocelyn Wang

PSET 10 graded

If you have submitted online, your problem set 10 has been graded. The ones submitted on paper will be graded soon and returned in class on Tuesday. Please see my note on piazza for a note on common issues from the pset. The class average (of those submitted online) is 88. Good job.

Announced on 07 December 2019  10:09  a.m. by Jocelyn Wang

View archived announcements