2010 Spring PHIL 103-01
Bulletin Course Description Detailed analysis of deduction and of deductive systems. Open to sophomores by consent of instructor. Instructor: Brandon, Einheuser, G<129>zeldere, or Rosenberg
(Instructor named in bulletin description above may not be current. For current instructor, see listing below.)
Title SYMBOLIC LOGIC Department PHIL Course Number 2010 Spring 103 Section Number 01 Primary Instructor Brandon,Robert N Prerequisites
Synopsis of course content
A rigorous introduction to 1st order logic, and its meta-theory.
Topics include the completeness and soundness of 1st order logic, Godel's Incompleteness Theorems and Tarski's Theorem.
Textbooks
TBD
Assignments
Regular homework assignments
Exams
Final Exam
Grade to be based on
Homework
Final Exam
