
LOGIC
Offered Fall 2004
Course Code: V83.0070001
MW 2:00 PM  3:15 PM
194 Mercer St., Room 306
Instructor: Joshua Schechter, josh.schechter@nyu.edu
Office hours: Monday, 3:30 PM  4:30 PM and by appointment
Location: Philosophy Department library, 503 Silver Center.
Graders:
Marcello Antosh, ma723@nyu.edu
Liz Kah, mek258@nyu.edu
Naveen Thomas, naveen.thomas@nyu.edu
Study Sessions:
Tuesday, 3:304:30 PM (Naveen}
Wednesday, 4:305:30 PM (Liz)
Thursday, 10:4511:45 AM (Marcello)
Location: Philosophy Department library, 503 Silver Center.
Description
This will be an introductory course in deductive logic. We will cover
sentential and predicate logic.
Objectives
(1) To learn the languages of Sentential Logic (SL) and Predicate
Logic (PL) and to become comfortable translating back and forth
between them and English;
(2) To become proficient at evaluating the validity of arguments in SL
and PL;
(3) To become proficient in the construction of formal derivations in
SL and PL;
(4) To learn how to apply SL and PL in the evaluation and analysis of
arguments.
Text
The text for the course is The Logic Book, fourth edition, by
Bergmann, Moor, and Nelson. It is available at the NYU Bookstore. Do
not use either the first, second, or third edition of this book. The
text comes with a CD with solutions to some of the exercises.
Please bring your copy of the text to class.
Assessment
Grades will be assigned on the basis of two exams and on weekly
problem sets. Problem sets will be handed out on Wednesdays, due the
following Monday. (I will drop the lowest problem set grade.)
Final grades will be determined as follows:
40% Problem Sets
30% Midterm Exam
30% Final Exam
Assignments (Solutions have been removed)
Schedule
September 
8th 
Chapter 1  Basic Notions of Logic 
13th 
Chapter 1 
15th 
Chapter 1 
20th 
Chapter 2  Sentential Logic: Symbolization and Syntax 
22nd 
Chapter 2 
27th 
Chapter 2 
29th 
Chapter 3  Sentential Logic: Semantics 

October  
4th 
Chapter 3 
6th 
Chapter 3 
11th 
Chapter 5  Sentential Logic: Derivations 
13th 
Chapter 5 
18th 
Chapter 5 
20th 
Chapter 5 
25th 
Chapter 7  Predicate Logic: Symbolization and Syntax 
27th 
Midterm Exam (Exam will cover material in chapters 1, 2, 3, and 5.) 

November  
1st 
Chapter 7 
3rd 
Chapter 7 
8th 
Chapter 7 
10th 
Chapter 8  Predicate Logic: Semantics 
15th 
Chapter 8 
17th 
Chapter 8 
22nd 
Chapter 10  Predicate Logic: Derivations 
24th 
Chapter 10 
29th 
Chapter 10 

December  
1st 
Chapter 10 
6th 
Chapter 10 
8th 
Special Topic 
13th 
Special Topic 
20th 
Final Exam, 2:00  3:50 PM, Location: in the usual room. (Exam will cover all material.) 
