| Course Description | Required Text | Course Requirements |
| Exam Schedule | Assignments |
An intensive study of first-order predicate logic (the formalism of objects and their relations). The course will cover: syntax and semantics of first-order predicate logic; translation between first-order predicate logic and English; basic ideas of set theory; validity and derivability; elementary model theory and proof theory
Benson Mates, Elementary Logic (2nd edition)
There will be four 100-point exams, for a total of 400 points possible in the course. The grading scale will be as follows:
| PHIL 405 | PHIL 505 |
| A = 87.5% (350+ points) | A = 90% (360+ points) |
| B = 75% (300-349 points) | B = 80% (320-359 points) |
| C = 60% (240-299 points) | C = 70% (280-319 points) |
| D = 50% (200-239 points) | D = 60% (240-279 points) |
| F = below 50% (0-199 points) | F = below 60% (0-239 points) |
Plagiarism Statement: "The attempt of any student to present as his or her own work that which he or she has not produced is regarded by the faculty and administration as a serious offense. Students are considered to have cheated if they copy the work of another during an examination or turn in a paper or an assignment written, in whole or in part, by someone else. Students are guilty of plagiarism, intentional or not, if they copy material from books, magazines, or other sources or if they paraphrase ideas from such sources without acknowledging them. Students guilty of, or assisting others in, either cheating or plagiarism on an assignment, quiz, or examination may receive a grade of F for the course involved and may be suspended or dismissed from the university."
Northern Illinois University Undergraduate Catalog.
Thursday, September 17
Thursday, October 15
Thursday, November 12
Tuesday, December 8, 4:00-5:50 p.m.