Gregory, Formal Logic — Available on the L:\ drive.
Various Handouts (most of them on the L:\ drive) and Online materials
Click here or in the banner above to access class schedule.
This is a course in advanced logic. We will fill in some gaps left from Phil 106. We will prove and discuss some of the simpler metatheoretic results about the system from 106. We will sketch proofs for and discuss some of the more complicated metatheoretic results regarding the 106 system. We will learn some simple set theory, some alternate logical systems: e.g., multi-valued logic, modal logic, deontic logic. We will discuss and investigate various paradoxes.
Reading. You are expected to read the assigned material before it is presented in class. The text, Formal Logic, is not a self-teaching manual. It is designed to prepare you for classroom lecture, discussion, and exercises. Reading it is not a substitute for being in class. Lecture, classroom exercises, and discussion are the only way you will learn enough to do well on the quizzes and exams.
Attendance. Attendance is crucial to your understanding and success in this course. Most of the learning will occur in class, through lecture, exercises, and discussion with me and your classmates. Like a course in a foreign language, each new topic (new vocabulary, new grammar) builds importantly on the previous topics. Thus, if you miss a number of sessions, you will be lost—there are remedies for such a situation, but they are all unpleasant. Moreover, more than one or two absences will negatively affect your grade, not only by impeding success as described above, but also by negatively impacting my assignment of your attendance/participation grade. When you have good reason for being absent from class you should communicate with me as soon as possible concerning your circumstances.
Participation. Class participation consists of asking and answering questions, coming to the board to do exercises, group work, helping your classmates, and meeting me outside of class. The more you engage in these activities, the more you will learn, and the higher your attendance/participation grade will be. Logic (especially symbolic) is a peculiar topic, and students have many different styles of approaching it. Thus, it is often very helpful to work together (both in and out of class) with your classmates, as they may be able to communicate things in a way that I cannot. Moreover, it is very important that you ask questions when you begin to get confused, even if you’re not sure what to ask—it is entirely legitimate to raise a hand and simply say “I don’t get it!” (expletives optional). I need to know when this is happening so that I can do my job right. Even during the portions of class when I am lecturing, I encourage you to raise a hand, interrupt me, and ask a question.
Homework Exercises. There may be some homework exercises.
Graded Assignments. There will be two exams. There will be a short writing assignment.
Component % of Final Average Participation/Attendance 20 Short Paper 20 Midterm Exam 30 Final Exam 30
Final Grade will be determined by your Final Average and factors including improvement over the semester.
There are no extra credit assignments.
You must complete the syllabus confirmation/student information form by midnight, Wednesday, April 25 to be eligible for class participation credit. If you have any questions or concerns about the policies, do not hesitate to contact me.
Here is the statement you will be confirming when you submit the form after following the link:
I hereby confirm that I have read the Course Syllabus including both the homepage and the class schedule, and I understand all policies contained therein.
To the Syllabus Confirmation/Student Information Form