Joe Salerno - Advanced Logic

	Monday		Wednesday
Week 1 Classical Propositional Logic	8/28	Syntax: Chapters 1 and 2, esp. 2.2	8/30	Semantics: Chapters 3.2: Truth Tables;
Week 2	9/4	No Classes	9/6	QUIZ Expressive Completeness, Chapter 3.1: Valuation Rules Extra Credit
Week 3 Proof Theory	9/11	Chapter 4.1; 4.2; 4.3:	9/13	QUIZ proofs cont.
Week 4	9/18	Chapter 4.4: Theorems	9/20	QUIZ Extra Credit
Week 5 Metatheory	9/25	Chapter 5.1; 5.2; 5.3; 5.4	9/27	cont. QUIZ
Week 6	10/2	Chapter 5.5: Mathematical Induction	10/4	Handout: Completeness; QUIZ
Week 7 Non-classical Propositional Logic	10/9	Handout: Intuitionistic Logic	10/11	Handout: Paraconsistent Logic
Week 8 Modal Logic	10/16	MIDTERM EXAM	10/18
Week 9	10/23	FALL BREAK	10/25	Chapter 11.1; 11.2 Leibnizian Modal Semantics Handout
Week 10	10/30		11/1	cont. QUIZ
Week 11	11/6	Chapter 12.1 Kripkean Modal Semantics	11/8	Chapter 12.2 Kripkean Proof Theory QUIZ
Week 12	11/13	cont.	11/15	Chapter 12.3; 12.4 Strict and Counterfactual Conditionals QUIZ
Week 13 Classical Predicate Logic Syntax and Proof Theory	11/20	Chapters 6.1-6.3 and 8.1-8.5	11/22
Week 14 Predicate Logic: Semantics and Metatheory	11/27	cont.	11/29	Chapter 7.1; 7.2; 7.3 QUIZ
Week 15	12/4	cont.	12/6	cont. QUIZ
Finals Week	12/11	Quantified Modal Logic	12/13	FINAL EXAM, TBA

Syllabus Subject to Change

Course Objectives: ****

Grading: Grading will be based upon the performance on the 10 quizzes (2% each) and 2 exams (40% each), with such things as improvement or serious deterioration in performance, class participation, and willingness to seek help with course material being taken into account where appropriate. Exams will be graded on roughly the following 0-100 point scale:

A: 90-100
B: 80-89
C: 70-79
D: 60-69
F: 0-59

This grading scale was designed to fit the following interpretation of the various grades:

A: A solid performance that reveals no fundamental shortcomings either in understanding or ability to discuss the material.
B: A few serious shortcomings (or perhaps a number of minor ones) but still clearly above a minimally acceptable performance.
C: A minimally acceptable performance, probably revealing a good number of serious shortcomings.
D: Unacceptable performance but with some evidence that something has been learned.
F: Inexcusable.

Disability Services: Students with disabilities are encouraged to speak with me regarding accommodations.

Academic Honesty Policy of the University: Students are expected to be honest in their academic work. The University reserves the right to penalize any student whose academic conduct is, in its judgement, detrimental to the University. Such conduct shall include cases of plagiarism, collusion, cheating, giving or receiving or offering or soliciting information in examinations, or the use of previously prepared material in examinations or quizzes. Violations should be reported to your course instructor, who will investigate and adjudicate them according to the Policy on Academic Honesty of the College of Arts & Sciences. If the charges are found to be true, the student may be liable for academic or disciplinary probation, suspension, or expulsion by the University.