Introduction to Formal Logic PHI 2100-003 CPR 206

Diana Moxley tel: office 974-8511, home 558-0191 email: dmoxley@usa.net

Office: FAO 242 M 3:15-4, T 2-3:30, R 4:45-6, after class, or by appointment

Required text: The Logic Book Third Edition, Bergmann, Moor, Nelson

The goal of this course is to familiarize you with basic formal logic principles and procedures.

Weekly Schedule

Aug 29, 31 Introduction, chapter 1 (basic concepts)

Sep 5 chapter 2 (connectives and symbolization)

Sep 7 chapter 2

Sep 12 quiz on basic concepts, definitions of connectives, and symbolization

Sep 14, 19 chapter 3 (semantics of sentential logic)

Sep 21 quiz on semantics and symbolization

Sep 26 begin chapter 5 (derivations in sentential logic)

Sep 28, Oct 3 chapter 5, quiz on symbolization and derivations in SD+

Oct 5 chapter 5

Oct 10 chapter 5

Oct 12, 17 quiz on derivations in SD+ (no class following quiz)

Oct 17, 19 Test 1, begin chapter 7 (symbolization and syntax in predicate logic)

Oct 24, 26 chapter 7, quiz on symbolization and properties of relations

Oct 31 chapter 8 (semantics of predicate logic)

Nov 2, 7 chapter 8 (semantics of predicate logic)

Nov 9 quiz on truth functional expansions

Nov 14 begin chapter 10 (derivations in predicate logic)

Nov 16 chapter 10

Nov 21 chapter 10, quiz on derivations in PD+

Nov 23 Happy Thanksgiving

Nov 28 chapter 10

Dec 4, 6 chapter 10, Test 2

This syllabus is subject to change. If we fall behind, we will have the last test during finals week. This syllabus, along with other related info and services, is also available online through the university's Course Info directory: http://scholar.acomp.usf.edu/

Quizzes will be worth approximately 50% of your grade, and each test will be worth 25%. The material covered on the tests will come directly from your quizzes, so it's as though you have a second chance. Due to the timing of the course, as a rule quizzes and tests cannot be made up, but I may make an exception under extraordinary circumstances. Call, email, or stop by my office for questions. I generally don't check my email after 8:00 pm, so if I haven't responded to an urgent email by 9 pm, please call me at home. I am always available until 12:00 am, and the night before an exam, you can call as late as 1:00 am.