Update 11/06/06 

Majors of students enrolled in Phil 305

Short cut rules for GSD+

Date		Topic	Reading
Aug	28	Introduction
	30	Syntax of SL	2.4
Sept	1	Truth, interpretations & logical truth	3.1-2
		Graded Hwk #1
	4	LABOR DAY
	6	Entailment	3.5 and 3.3 Entailment homework (Entailment answers )
Sept	8	Recursive Proof	Handout B Lecture notes on examples of Recursive Proof BIIP
		Graded Hwk #2
	11	Equivalence, contraries and contradictories	3.6 and Handout A Contraries Homework Answers
	13	More entailment and recursive proof
	15	Disjunctive Normal Form	Handout C
		FIRST EXAMINATION	all of the above
	18	Syntax of PL	7.1-4
	20	More syntax of PL/Some semantics for PL	7.5
	22	Semantics for PL	8.1, 8.2
		Graded Hwk #3	Ungraded Homework Answers
	25	Formal semantics for PL	8.7
	27	Quantificational truth	8.2, 8.3
	29	Contraries
		Graded Hwk #4
Oct	2	Begin Translations	2.1-3, 7.7
	4	Translations	7.8
	6	More translations	7.8
		SECOND EXAMINATION	all of the above
	9	Dragnet theorem and applications	Handout D
	11	More truth, entailment, etc.	Ungraded Dragnet Homework
	13	SD Derivations	Handout E
		Graded Hwk #5 (due Wednesday 10/18)
	16	FALL BREAK
	18	SD derivations / Begin SD+ derivations	Handout E and 10.1 - 10.3
	20	SD+ derivations / Begin PD derivations	Handout E and 10.4 - 10.5
		Graded Hwk #6
	23	More derivations	10.4 - 10.5
	25	Still more derivations	10.4 - 10.5
	27	Even more derivations	10.4 - 10.5
		THIRD EXAMINATION	all of the above
	30	Soundness of SD and PD, Replacement and Soundness of SD+ and PD+	Handout F, 11.2 Some notes on the soundness proof
Nov	1	Completeness of SD	Handout G
	3	Many Valued Logics	Handout H Handout H answers
		Graded Hwk #7
	6	Prenex Normal Form	Handout I
	8	Completeness method	Handout J
	10	Completeness models	Handout J
		Graded Hwk #8
	13	More Completeness	Handout J
	15	Lowenheim-Skolem theorem & decision methods	Handout K
	17	Review of The Method, etc.
		FOURTH EXAMINATION	all of the above
	20	Syntax of PLE	8.6-7
	22	PLE translations
	24	THANKSGIVING BREAK
		Graded Hwk #9
	27	PDE derivations	10.6
	29	Syntax & semantics of modal logic	Handout L
Dec	1	Modal derivations	Handout L
		Graded Hwk #10
Dec	4	Course review and glimpses beyond
		FIFTH EXAMINATION	all of the above
	6	Hand in Fifth Exam
	8	Exam returned & preview of OPTIONAL Final

There will be five take-home examinations during the semester which will count 20% each.

The Final is a comprehensive optional take-home and will count a third if you choose to take it.

Homework is OPTIONAL and mostly is not graded, but it is very strongly recommended that you do appropriate amounts. There will be ten assignments which will be graded and worth 10 points each. If your cumulative grade on those assignments is greater than your lowest exam score, we will substitute the graded homework score for that exam.

  Any student with a documented disability needing academic adjustments or accommodations is requested to speak with me during the first two weeks of class. All discussions will remain confidential. Students with disabilities should also contact Disability Support Services in the Ley Student Center.

Office Hours: MWF 1:30-2:30, and by appointment. Office: Humanities 206

eOffice Hours: Tues and Thurs 10-11 pm rgrandy@ruf.rice.edu

Direct phone x2720 Secretary x4994

TA Jonathan Abdalla abdalla@rice.edu

Review sessions 12-12:50 every Friday Huma 227

 On exam weeks, there will be a second review session  Friday 4:10-??? in the same location

Numbers, e.g. 6.9, refer to chapters and sections of The Logic Book. Letters refer to handouts available on the course webpage.