Logic I (Phil 1321) Course Syllabus Spring 2018
SEE BELOW FOR A NEW DOCUMENT TO DOWNLOAD
Instructor: Jim Garson Email: email@example.com Office: 502 AH
Hours: Tues, Thurs 11:30-12:30, and by appointment Phone: 713 743 3205
TA: Sam Ridge Email: firstname.lastname@example.org Office: 508 AH
Hours: Tues. 1:00-3:00 Thurs. 1:00-2:00 Phone: 713 743 3198
Tutoring: The LAUNCH tutoring system at N109 Cougar Village has the following two tutors especially trained to help you in Logic I. Adel Gammoudi email@example.com Banu Dzhafarova firstname.lastname@example.org Hours: TO BE ANNOUNCED Phone: 713 743 5411
Books: Propositional Logic (revised third edition) by H. Pospesel
Predicate Logic (second edition) by H. Pospesel
We will cover all of Propositional Logic, but you only need to use Chapters 2-4 of Predicate Logic. Copies of these books are available on reserve in the Library and Chapters 2-4 of Predicate Logic are on e-reserve, or download them here: http://www.uh.edu/~garson/PredicateLog.pdf
THERE IS A NEW DOCUMENT TO DOWNLOAD ON TREES IN PREDICATE LOGIC
Website: I do not use Blackboard. Our official course website is:
There may be changes as the course progresses, so the hard copy syllabus you got on the first day could be out of date. When in doubt check the website for the official version of the syllabus.
Other Helpful Websites:
A website designed for a DIFFERENT hybrid version of this course, containing Discussion, Lectures, Self Tests, and Study Guides is found at http://www.uh.edu/~garson/PHIL1321/
Another very nice website by my student and colleague Curtis Haaga is found at: http://ifpthenq.net/page6/index.html
If you missed a class, need help, or want to review, consult one of these websites. Both of them are laid out in pretty much the same order as our course and are based on our books, so it will be easy to locate a topic you want to work on.
Notes: There is a course packet available in the bookstore. Or download it here at: http://www.uh.edu/~garson/CoursePacket.pdf
You need the packet, since some material in it is not in the book. You should obtain it ASAP!
Course Structure and Duties:
The course is divided into seven sections, each ending with a QUIZ or the FINAL. Quizzes occur every two weeks and usually fall on Thursdays.
You are expected to do all reading, and do all exercises assigned in each section BY THE DATE DUE! The due date is usually the Thursday before the quiz. (See the course schedule below.) Discussion of exercises is a major topic for this class and doing the exercises on time is crucial for doing well in this course. If you miss any quiz, this can be very bad for your grade, so get in touch with me by e-mail to resolve the problem.
How your grade is calculated: There are 6 quizzes and your lowest grade will be dropped. The five remaining quizzes are worth 10% each for a total of 50%. The Final counts 30%. The homework counts 20% To receive credit, homework must be submitted in hard copy at the beginning of class on its due date.
1. Due Jan. 18: READING Ch. 1-2
EXERCISES Ch. 1: 1, 2 Ch. 2: 1 5 8 9 10 11 NOT TO BE TURNED IN
Jan. 30 QUIZ 1 POSTPONED
2. Due Feb 6: READING Ch. 3-4
EXERCISES Ch. 3: 1a, c, g, h, i, l, 6 7 9 10 12 14a;
Ch. 4: 1a, c, d, g, i, m, s, 7 9a 11 12 13 16
Feb. 8 QUIZ 2
Feb. 20 RETAKE OF QUIZ 2
3. Due Feb. 22: READING Ch. 5-6
EXERCISES Ch. 5: 1a, c, e, g, l, m, 4 7 8 10 12 14
Ch. 6: 1c, d, g, h, 4 7 10 11 12 15
Mar. 1 QUIZ 3
4. Due Mar 8: READING Ch. 7, 8.1, 8.2
EXERCISES Ch. 7: 1a, c, e, h, l, m, p, s, 4 5 7 8 9 11 13
Ch. 8: 3 6 7 9 10 11 13
Mar. 22 QUIZ 4
5. Due Mar. 29 READING Ch. 9.2 (9.1 optional) Ch. 10.1
EXERCISES Ch. 9: 10c, d, 11 12 14d 15 18 21b, c, i
Ch. 10: 4 5 6 8 10
Apr. 5 QUIZ 5
6. Due Apr. 12: READING "How to Make a Tree" Notes, 17-24; Ch. 12-13
EXERCISES Do with single sided trees: Ch. 10: 1c 2-6 8 17 21
and Notes: Problems 1-5 on p. 21 and 1-4 on p. 22.
Follow instructions in the book. But use single sided trees when they ask for trees:
Ch. 12: 1 2 4 9 10 Ch. 13: 2 3 4b 6 9
Apr. 19 QUIZ 6
7. Due Apr. 26: READING Predicate Logic Ch. 2-3, Ch. 4.2
EXERCISES Predicate Logic Ch. 2: 1a, c, d, e, g, h, i, 3a, c, d, g, k, l, o,
4a, d, e, g, h, i. l,
Predicate Logic Ch. 3: 2 3 9a 10 11 do proofs and single sided trees
Predicate Logic Ch. 4: 11 12b 13c 14 do proofs and single sided trees
May 1 Review of the Whole Course CLASS MEETS IN ROOM SEC 102
May 10 FINAL 11:00-2:00 in our classroom