Want to download and print your own copy?
Here's the syllabus in Microsoft Word.
 
* * *

Formal Logic II -- Spring, 2001

Instructor: Tom Trelogan
Office: Smith House (1007 20th St.)
Office Hours: 10:30-11:30 MWF, and by appointment
Office Phone: 351-1561
Home Phone: 353-8253
E-mail: tom.trelogan@unco.edu

Course Objectives

The aim of this course -- the second course in the department's two semester sequence in formal logic -- is to round out your introduction to first order logic by (1) helping you to consolidate your understanding of Mates's language L and of the types of deductive apparatus that can be used to turn it into a logistic system and then (2) showing you how one can establish a number of metatheorems concerning at least one logistic system of which that language can be a part. We shall also study System W in greater depth and further explore the two related systems W´ and W´´.

Texts

Mates's Elementary Logic will continue to serve as our basic text. Parts of Volume II of Basic Symbolic Skills -- still in preparation -- will serve as a companion piece thereto.

Assignments

Again, there will be regular homework assignments, unannounced quizzes, two midterm examinations (on Feb. 23 and Mar. 30), and a final examination (on May 11).

Your grade for the course will again be determined by your performance on the homework, on the quizzes, and on the three examinations. Your performance on the homework will be worth 30% of your final grade, your performance on the quizzes will be worth 10%, and your performance on each of the examinations will be worth 20% of your final grade. Again, the scale used to determine letter grades is this: 90-100 = A; 80-89 = B; 70-79 = C; 60-69 = D; 0-59 = F. As was the policy last semester, you must complete all work assigned to receive credit for the course (except for quizzes; once again, missed quizzes will be recorded as zeros, and so once again, the moral is that you should come to class every day). Also the penalty for late submission of homework will again be a recorded grade of zero for each late assignment -- which you will still have to complete in any case in order to receive credit for the course. Extensions will be given on homework assignments only in the most extraordinary of circumstances. The penalty for plagiarism on the homework assignments or for cheating on the quizzes or examinations will be denial of credit for the entire course.

Availability of Help

Formal Logic II is like Formal Logic I in being a course in which you cannot afford to fall behind. If anything, making sure you keep up with the assignments will be even more important this term than it was in the fall. As ever, Kyle and I are more than willing to help you master all the things you'll need to learn, so as soon as you think you need any help with anything, let us know.

Computerized Practice Opportunities

New this term: a Logic Stacks module designed to help you learn to operate comfortably within the language L. Many of the exercises from Chapters 5, 6, and 7 of Mates's Elementary Logic have been installed so you can benefit from the computer's ability to check your work as you do it. Also: Tarski's World -- a program designed to give you a feel for the meaning of the quantifiers in relation to n-place predicates and identity. Both programs will be available on the computers in the logic lab in the basement of Smith House, and the Logic Stacks will be available in CHE as well.

The Logic Stacks will be available in the logic lab in the basement of Smith House.