Course Offerings: Fall 2008

PHILOSOPHY 405/505: INTERMEDIATE LOGIC

TUESDAY, THURSDAY
SECTION 1, 2:00 - 3:15 P.M.

PROFESSOR VALIA ALLORI

REQUIRED TEXT
Bessie & Glennan, Elements of Deductive Inference: An Introduction to Symbolic Logic

COURSE CONTENT
The course is a formal introduction to first-order predicate logic that presupposes no background in mathematics or philosophy. Topics include: translation between first-order predicate logic and English, semantic and syntactic methods, introduction to the philosophy of logic, to some historically important applications of symbolic logic and to description of some of predicate logic's alternatives and extensions.

COURSE FORMAT
Homeworks and exams