Aug 01, 2024  
2010-2011 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Academic Advising Index
  Academic Calendar
  Introduction
  General Information
  Academic Policies and Procedures
  University Library
  College of Arts and Sciences
  School of Business Administration
  School of Education and Human Services
  School of Engineering and Computer Science
  Bachelor of Integrative Studies
  School of Health Sciences
  School of Nursing
  The Honors College
  Integrative Studies
  International Education
  Other Academic Programs
  University Faculty
  Offices of the University
  Planning Page
  Campus Map

  Departments
  Programs
  Course Descriptions

  Archived Catalogs
  My Portfolio
HELP
2010-2011 Undergraduate Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

PHL 370 - Advanced Symbolic Logic

(4) Credits
Standard first-order symbolic logic, emphasizing quantification theory and including identity theory and logical semantics. The logical system is approached both as a formal system and as a theoretical analysis of human reasoning. Offered every other year.
Prerequisite(s): PHL 102 or PHL 107 or CSE 130 or MTH 062 or equivalent.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)