Apr 18, 2024  
2011-2012 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Calendar
  Catalog Guide
  Northern Illinois University
  The Graduate School
  Correspondence Directory
  Admission
  General Regulations
  Requirements for Graduate Degrees
  Teacher Certification
  Tuition and Fees
  Financial Support
  Scholarly Activities
  University Services
  College of Business
  College of Education
  College of Engineering and Engineering Technology
  College of Health and Human Sciences
  College of Liberal Arts and Sciences
  College of Visual and Performing Arts
  Interdisciplinary Academic Centers, Institutes, and Courses
  Inter-College Interdisciplinary Certificates
  Other Academic Units
  University Administration
  Notices
  Campus Maps
HELP
2011-2012 Graduate Catalog [NOTE!!!! THIS IS AN ARCHIVED CATALOG. FOR THE CURRENT CATALOG, GO TO CATALOG.NIU.EDU]

PHIL 601 - Advanced Symbolic Logic

Varied topics selected from characteristic issues such as foundations of quantification theory, including Herbrand’s theorem, Lowenheim-Skolem theorem, Godel’s completeness theorem; basic proof theory, including Godel’s incompleteness theorem; elements of recursive function theory and undecidability theorems; and axiomatic set theory. Relevance of symbolic logic to the analysis of philosophical problems.

Prerequisites & Notes
PRQ: Graduate standing in philosophy or consent of department.

Credits: 3