Course»Course 24»Fall 2013»24.241»Homepage

24.241  Logic I

Fall 2013

Professor: Vann McGee

TA: Jack Marley-Payne

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

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 premisses 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 scorn bad arguments when you’re confronted with them.

         The text for the course will be a manuscript entitled Logic: The Art of Persuasion  and the Science of Truth, here on the Stellar site. It's still being tinkered with, so there will be small changes from time to time. We’ll study the topics that appear under "Materials," in the order in which they are 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.

         There will be weekly problems sets. In calculating grades, we’ll throw out the lowest homework score.  You are encouraged 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. The test will be open book, so you can print out any parts of the text or bring any other writter materials that you think might be useful.

         If you have any questions or concerns that Jack or Vann can help you with, please let us know. Either of us will be happy to meet with you.

OCW archive available

Announcements

Another typo

Problem 2 on PS11 should read "and we’ve derived ψ with premiss set Γ ∪ {ϕx/c}," with a psi instead of a phi. Sorry about the confusion. (Thanks to Miranda Gavrin for pointing this out.)

Announced on 02 December 2013  12:58  a.m. by Vann McGee

Worse than usual typo

In the chapter on MPC, there's a typo that makes the whose discussion unintelligible. Definition 4.14 on page 25 should say, "A sentence is valid iff it's true under every interpretation." Also, the last sentence of the proof of proposition 4.15 should read, "On the other hand, the valid sentence '((Ax)Fx --> Fx)' is not tautological." I apologize for the confusion.

Thanks to Aaron Brookner for pointing this out.

Announced on 14 November 2013  5:50  a.m. by Vann McGee

PS8 Extension and Correction

I forgot to post this week's problem set on the Stellar site until Tuesday, and not everyone knew about it. So let me make the problem set that was originally due on Thursday the 7th be due on Tuesday the 12th instead.

There's a typo on the problem set, a crucial misplaced parenthesis. Part 5 of section III should read "Which states satisfy '((Ax)Ox --> Nx)' in A?"

I'll and out another problem set on Thursday the 7th, due on Thursday the 14th, more stuff on the monadic predicate calculus.

Sorry about the confusion.

Announced on 06 November 2013  5:08  p.m. by Vann McGee

Logic I problem sets

It's much easier for us to deal with paper copies of problem sets rather than electronic versions, so I would like to ask you to make hard copies of your p-sets and give them to Jack at the end of class on the due dates. Thank you very much.

Announced on 17 September 2013  6:58  p.m. by Vann McGee