Logic I (Phil 1321) Course Syllabus Spring 2018

SEE BELOW FOR A NEW DOCUMENT TO DOWNLOAD

Instructor: Jim Garson Email: jgarson@uh.ed Office: 502 AH

Hours: Tues, Thurs 11:30-12:30, and by appointment Phone: 713 743 3205

TA: Sam Ridge Email: samridge@mac.com 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 adel.gamoudi007@gmail.com Banu Dzhafarova bdzhafarova@gmail.com 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:

http://www.uh.edu/~garson/LogicI.htm

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.

Grading Policy:

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.

Course Schedule:

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