Introduction to Deductive Logic
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 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.
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 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
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.