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.

Grading:   

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

Return to Theodore Gracyk's Home Page

Last Updated Nov. 1, 2007