Philosophy 2310:

Introduction to Deductive Logic

Fall, 2010

Professor Joel Velasco

Class meets M,W,F 1:25-2:15

Goldwin Smith G64

Section meets in Uris 375A from 11:15-12:05 on Fridays

Download the syllabus

All assignments and handouts will be posted on this website. This website is also accessible through the blackboard page for the course. On blackboard, this course is titled 'Phil3210-Velasco-Fall2010'.

The slides will be posted here: slides

The following two supplements will help you with Part I of the homework:

Hw5 supplement 1, Hw5 supplement 2

The exam will be held in McGraw 165 at 7:30 pm. You will have 1 hour and 30 minutes to complete the exam. The exam will cover chapters 1-8 in the book and all exam questions will be like previous homework questions. Here is a sample exam which will be very much like the actual exam.

Prelim 1 Sample Exam

Actual first prelim

There are several problems on the assignment 6 that will need to be written out. In addition, you should read Chapter 9 and do 9.16 and 9.17

Answers for the homework here. Note the very long and detailed answers for the Soundness Theorem questions.

For a little entertainment, you could read Lewis Carroll's "What the tortoise said to Achilles". Wikipedia summary here.

The exam will be held in McGraw 165 at 7:30 pm. You will have 1 hour and 30 minutes to complete the exam. The exam will cover chapters 1-13 in the book and all exam questions will be similar to the types of problems you have done on previous homeworks. Here is a sample exam which will be very much like the actual exam.

Prelim 2 Sample Exam

Prelim Sample
Answers [[answers are fixed as of after class on Monday]]

The second exam with answers

Answers here

Answers to 11.20 with some stuff about equivalence here

One short(er) way to do 14.13 here (I do lots of stuff here I don't recommend unless you are confident - like general conditional proof).

Partial answers for hm 10

Extra credit assignment: **due 12/8**

Theorems that sound funny (needed for extra credit)

The final exam will take place from 7:00 to 9:30 pm on Dec 15th in Goldwin Smith G22.

Here is a study sheet for the final exam. Answers (part V #12 corrected on 12/14)

Here are some proofs of those existential conditionals. #2/3 on the extra credit with DemQ, using vElim, and using ~Intro and then the other one (equivalent to the archetypal beauty, etc.) I mentioned at the review.

Here is a sheet of formal ways of writing the definitions of concepts you should know for the final.

There is a review session for the final exam on Monday, Dec 13th in GS 142 from 1:30 to 3:00 pm.