SYLLABUS: PHILOSOPHY 340 Symbolic Logic  Fall 2007  Theodore Gracyk (Philosophy) OFFICE: BRIDGES 359B    Phone: 477-4089  Office Hours: MWF, 9-10:25 am, 1:30-3:30 pm, and by appointment For email link, click here) This class meets MWF 10:30 pm in BR 357
Description: A survey of deductive logic, emphasizing the use of symbolism to interpret and evaluate arguments. Includes propositional and predicate logic. The course counts for 3 credits of Liberal Studies Division E. It is a required course for philosophy majors.

Required Texts: Bring the book to class every day.

• Virginia Klenk: Understanding Symbolic Logic (5th edition)
DO NOT USE AN EARLIER EDITION! YOU'LL BE CONSTANTLY LOST

Course goals:

This is a survey of deductive logic. That's it. That's all it is. At the end of the semester, you should be able to complete complex deductive proofs. Basically, you'll be able to prove the following:
(x) (Cx -> Dx) & (x)(Ex -> ~Dx) / ∴ (x)(Ex -> ~Cx)
As a byproduct, you should have a better understanding of how arguments succeed and fail.

There are 200 points available in the course, based on 45 points each for 4 exams and 5 points each for each of 4 quizzes. Your course grade will be based on the percentage of those points you earn, according to this scale:

185 or above = A
160 or above = B
140 or above = C
120 or above = D
Below 120 = F

"Plus" and "minus" grades are assigned to students at the high and low ends of these point ranges.

In addition, each homework is worth one half point each for completing the assignment by its due date. There should be 20 homework assignments. These points will be added to your exam points, so there are actually 210 possible points. Homework assignments will be announced in class and they will be posted on the course website.

Attendance: I will not take attendance. However, if you miss class regularly, your grade is going to crash and burn. Trust me: you won't learn this material if you aren't in class.

Late work will not receive credit without prior authorization.  There is no "make-up" work if you miss something unless you have an official university activity creating a time conflict. So if you are not going to submit something when it is due, it is your responsibility to talk to me before it is due and to work out alternative arrangements, such as an extension on a due date.

Notice that you can submit as much work as you wish (or don't wish, as the case may be!), depending on the grade that satisfies you. Your grade for the course is computed on points, not on attendance or trying hard or whatever. Notice that it is not possible to get an A if you miss the quizzes. Yet it is possible to get a C or B while skipping entire exams, etc. But I advise you to submit all the assigned work.

In my experience, attendance and homework decides your course grade.  We will spend a lot of time in the classroom practicing the skills that are tested on the exams.

Notice of disability services

Minnesota State University Moorhead is committed to a policy of equal opportunity in education and employment and welcomes students with disabilities. We are prepared to offer you a range of services to accommodate your needs.

However, students must accept responsibility for initiating the request for services.

This can only be done by contacting Greg Toutges, Coordinator of Disability Services
477-5859 (Voice) or 1-800-627-3529 (MRS/TTY), CMU 114

Do not try to explain your disability accommodations to me, your instructor. Talk to Greg and he will contact me.

SCHEDULE

Read the following assignments before coming to class on the specified day.
Exam and quiz dates will be announced in class and then posted on the web site.

 BASIC CONCEPTS Wednesday, Aug. 29 Chapter 1 Friday, Aug. 31 Chapter 2 Monday, Sept. 3 Holiday -- no class Wednesday, Sept. 5 Chapter 3 Chapters 4, 5, 6 will be assigned as appropriate to our progress FORMAL PROOFS Monday, Sept. 24 Chapter 7 Wednesday, Oct. 3 Chapter 8 PROOF STRATEGIES Monday, Oct. 8 Chapter 9 Monday, Oct. 15 No class (midterm break) PREDICATE LOGIC Monday, Oct. 29 Chapters 10 Monday, Nov. 12 Chapter 11 Chapters 12, 13, 14, & 15 (and perhaps 16) will be assigned as appropriate to our progress Wednesday, Nov. 21 Fall Break -- No class Friday, Nov. 23 Fall Break -- No class Wednesday, Dec. 12 Study Day -- No class Thursday Dec. 13 Final Exam at Noon

Last Updated Nov. 1, 2007