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)
- Problem Set 1, due September 20th
- Solution to Problem Set 1
- Problem Set 2, due September 27th
- Solution to Problem Set 2
- Problem Set 3, due October 4th
- Solution to Problem Set 3
- Problem Set 4, due October 11th
- Solution to Problem Set 4
- Problem Set 5, due October 18th
- Solution to Problem Set 5
- Problem Set 6, due October 25th
- Solution to Problem Set 6
- Mock Midterm
- Solution to Mock Midterm
- Midterm
- Solution to Midterm
- Problem Set 7, due November 10th
- Solution to Problem Set 7
- Problem Set 8, due November 17th
- Solution to Problem Set 8
- Problem Set 9, due November 24th
- Solution to Problem Set 9
- Problem Set 10, due December 3rd
- Solution to Problem Set 10
- Problem Set 11, due December 8th
- Solution to Problem Set 11
- Problem Set 12, due December 13th
- Solution to Problem Set 12
- Mock Final
- Solution to Mock Final
- Example Derivations
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.) |