Instructor: W. Kent Wilson
Office: 1419 UH
Phone: 996-2673
E-mail: kentw@uic.edu
Office Hours: M - W - F, 11-12
Text: Logic with Symlog
This course will cover predicate logic. There will be a brief review of sentence logic in the first week, followed by a proficiency exam on sentence logic. This exam is intended solely for the purpose of informing the student how well they are prepared to complete the course with a satisfactory grade; it will not count toward the course grade. Roughly and briefly, the topics to be covered include development of a language for predicate logic, PL; symbolizing English sentences in PL; developing a natural deduction system for PL; and providing a semantics for PL and using the semantics to test for various semantical properties such as logical truth, logical falsity, validity, etc.
This course will make use of computer assisted instruction. Friday sessions will meet in a computer lab. There will also be a class news group on which students may ask questions, make suggestions, etc.; the news group will function as virtual office hours, thus affording students more opportunity for contact with me. Details will be discussed in class. Homework will be assigned for credit on a weekly basis and will count from 10 - 15% of the final grade. There will be 3 exams: one on Ch. 6, one on Ch. 8, and a final exam on Ch. 9. (There will be no comprehensive final exam.)
Tentative Course Syllabus
Week 1 1/9 - 1/13
Review of sentence logic; using computers; proficiency exam on
sentence logic
Week 2 1/18 - 1/20
Ch.6: Sections 6.1, 6.2. Basic sentences of PL; symbolizing basic
sentences
Week 3 1/23 - 1/27
Ch.6: Sections 6.3,6.4 Formation rules of PL; outline of
semantics for PL
Week 4 1/30 - 2/3
Ch.6: Review
Week 5 2/6 - 2/10
Exam on Ch.6; begin Ch.8: Section 8.1. Natural deduction system PD
Week 6 2/13 - 2/17
Ch.8: Sections 8.2,8.3. Constructing derivations in PD;
strategies for constructing derivations
Week 7 2/20 - 2/24
Continue Sections 8.2, 8.3
Week 8 2/27 - 3/3
Ch.8: Section 8.4. Properties of sentences and sets of sentences in PD
Spring Break 3/6 - 3/10
Week 9 3/13 - 3/17
Ch.8: Sections 8.5, 8.6. Derived inference rules (PD+)
Week 10 3/20 - 3/24
Exam on Ch.8
Week 11 3/27 - 3/31
Appendix B: Elementary set theory; Ch.9: Section 9.1. Interpretations
Week 12 4/3 - 4/7
Ch.9: Section 9.2 Satisfaction
Week 13 4/10 - 4/14
Ch.9: Section 9.3. Constructing interpretations
Week 14 4/17 - 4/21
Ch.9: Sections 9.4, 9.5 Semantic properties of sentences, sets of
sentences, and arguments in PL
Week 15 4/24 - 4/28
Final Exam Week