David J. Buller
Department of Philosophy
Northern Illinois University
DeKalb, IL 60115

815-753-6299
buller@niu.edu

Office: Zulauf 902
Hours: by appointment

Intermediate Logic

PHIL 405, Section 1
PHIL 505, Section P1
Fall 2014
TuTh 3:30-4:45, DuSable 474

Assignments

 

 

 

 

 

Course Description:

An intensive study of first-order predicate logic with identity (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.

Required Text:

Benson Mates. Elementary Logic, 2nd ed. New York: Oxford University Press, 1972




Learning Objectives:

Upon successful completion of the course, you will be able to:

  1. Identify the metalogical relationships among the concepts of validity, consistency, logical truth, and logical equivalence
  2. Accurately perform truth-functional computations to identify logical properties of formulas in propositional logic
  3. Symbolize the logical form of English sentences expressing truth-functional compounds, classical categorical forms, polyadic quantification, and numerical quantity (“at least n,” “at most n,” “exactly n,” and “the x”)
  4. Construct derivations in a system of natural deduction to prove logical truth (in propositional logic) and consequence (in propositional logic, first-order predicate logic, and first-order predicate logic with identity)
  5. Construct truth trees to identify the logical properties of formulas and sets of formulas (in propositional logic, first-order predicate logic, and first-order predicate logic with identity)
  6. Construct interpretations to identify logical properties of formulas and sets of formulas (in first-order predicate logic and first-order predicate logic with identity)



Course Requirements and Grading:

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   = 90% (360+ points) A   = 93% (372+ points)
A-  = 87% (348-359 points) A-  = 90% (360-371 points)
B+ = 83% (332-347 points) B+ = 87% (348-359 points)
B   = 75% (300-331 points) B   = 80% (320-347 points)
B-  = 70% (280-299 points) B-  = 75% (300-319 points)
C+ = 67% (268-279 points) C+ = 72% (288-299 points)
C   = 60% (240-267 points) C   = 65% (260-287 points)
  C-  = 60% (240-259 points)
D   = 50% (200-239 points) D   = 50% (200-239 points)
F    = below 50% (0-199 points) F    = below 50% (0-199 points)



Exam Schedule

Thursday, September 25
Thursday, October 16
Tuesday, November 11
Tuesday, December 9, 4:00-5:50 p.m.




Academic Integrity:

"Good academic work must be based on honesty. 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/Graduate Catalog




Accessibility Statement:

Northern Illinois University and I are committed to providing an accessible educational environment in collaboration with the Disability Resource Center (DRC). Any student requiring an academic accommodation due to a disability should let me know as soon as possible. Students who need academic accommodations based on the impact of a disability will need to contact the DRC if they have not done so already. The DRC is located on the 4th floor of the Health Services Building, and can be reached at 815-753-1303 (V) or drc@niu.edu.




Learning Environment Policies:

Each student has paid for the right of access to a learning environment that is respectful of the effort to learn, conducive to effective learning, and free of disruptions and distractions that interfere with the ability to concentrate and learn effectively. The behavior of each student in the class shall be respectful of this right, which requires refraining from disruptive or distracting behavior. Accordingly, students shall:

  1. Refrain from talking with fellow students during class
  2. Refrain from sleeping in class
  3. Refrain from non-course reading in class
  4. Not leave the classroom during class
  5. Turn off all electronic devices upon entering the classroom

Behavior that violates any of these rules shall be considered disruptive of the learning environment. A student engaging in disruptive behavior will be asked to leave the class and may, under university regulations, be suspended from the class.