Department of Philosophy

PHIL 110 - INTRO TO SYMBOLIC LOGIC

Instructor:    Prof. Bontekoe, Sakamaki Hall D304 (Phone: 956-8783), Office Hrs: M 1:00-3:00
Teaching Assistant:    Itsuki Hayashi, Sakamaki Hall B306, Office Hrs. WF 1:30-2:30

Evaluation:
Your grade for the course will be based upon a final exam (worth 40%), two term tests (worth 25% each), and your homework assignments (worth 10%).

Required Text:
    Bergmann, Moor & Nelson, The Logic Book (4th edition)        [LB]

Homework Assignments Due:
Jan 22/23 - LB: 1.4E #2a-f; 1.6E #2a-l, 3a-c, 4a-l; 2.1E #5a-t, 6a-r
Jan 29/30 - LB: 2.2E #1a-h, 3a-h, 4a-h; 2.3E #1a-i, 2a-c; 2.4E #1a-g, 4a-f, 5a-j
Feb 5/6 - LB: 3.2E #1a-f, 2a-f, 4a-j; 3.3E #2a-f; 3.4E #2a-f; 3.5E #2a-e
Feb 12/13 - LB: 4.2E #1a-o, 2a-h; 4.3E #2a-k
Feb 19/20 - LB: 4.4E #1a-l, 2a-k; 4.7E #2a-h
Mar 5/6 - LB: 5.1.3E #1a-e; 5.1.4E #1a-e; 5.1.5E #1a-e; 5.2E #1a-h, 2a-f
Mar 12/13 - LB: 5.4E #7a-e, 8a-e, 9a-e, 10a-d, 11a-e, 12a-g, 13j-o, 15a-f, 17a-e
Apr 2/3 - LB: 7.3E #2a-p, 3a-r, 4a-d; 7.4E #2a-k
Apr 16/17 - LB:  7.5E #2a-n, 4a-n; 7.6E #2a-q; 7.7E #1a-s, 5a-r
Apr 23/24 - LB: 7.8E #1a-m, 4a-o;  7.9E #1a-k, 3a-p
Apr 30/May 1 - LB: 10.1.1E #1a-d; 10.1.2E #1a-d; 10.1.3E #1a-d


Schedule of Topics: An asterisk (*) indicates a tutorial session (as opposed to a lecture).
 Jan 12 - Intro; LB pp. 1-10
Jan 14 - LB pp. 12-22, 24-26
Jan 16 - LB pp. 28-41
Jan 21 - LB pp. 41-48
* Jan 22/23 - concepts & symbolization hmwk
Jan 26 - LB pp. 50-58
Jan 28 - LB pp. 60-72
* Jan 29/30 - symbolization hmwk
Feb 2 - LB pp. 75-92
Feb 4 - LB pp. 93-107
* Feb 5/6 - truth table hmwk
Feb 9 - LB pp. 115-128
Feb 11 - LB pp. 129-141
* Feb 12/13 - truth trees hmwk
Feb 18 - LB pp. 142-155
* Feb 19/20 - truth trees hmwk
Feb 23 - LB chap 3 review
Feb 25 - LB chap 4 review
Feb 27 - Term Test [LB 2, 3 & 4]
Mar 2 - LB pp. 160-174
Mar 4 - LB pp. 175-181
* Mar 5/6 - sent. derivation hmwk
Mar 9 - LB pp. 184-210
Mar 11 - LB pp. 190-210
* Mar 12/13 - sent. derivation hmwk
Mar 16 - LB pp. 219-226
Mar 18 - LB chap 5 review
Mar 20 - Term Test [LB 2 & 5]
Mar 30 - LB 266-277
Apr 1 - LB 280-285
*Apr 2/3 - pred symbolization hmwk
Apr 6 - LB pp. 287-296
Apr 8 - LB pp. 298-305
Apr 13 - LB pp. 306-319
Apr 15 - LB pp. 319-328
* Apr 16/17 - pred symbolization hmwk
Apr 20 - LB pp. 332-345
Apr 22 - LB pp. 349-358
* Apr 23/24 - pred symbolization hmwk
Apr 27 - LB pp. 519-528
Apr 29 - LB pp. 528-533
* May 1 - pred. derivation hmwk
May 4 - LB pp. 538-544, review
May 6 - review

May 15 - Final Exam (12:00-2:00)