LOGIC
Offered Fall 2004
Course Code: V83.0070-001
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:30-4:30 PM (Naveen}
Wednesday, 4:30-5:30 PM (Liz)
Thursday, 10:45-11: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.)