Dec 30, 2024  
2018-2019 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Course Descriptions
  Course Renumbering - Three to Four Digit Conversions
  Departments
  Programs
  Introduction
  General Information
  Academic Policies and Procedures
  Academic Advising
  General Education Requirement
  University Libraries
  Academic Calendar
  University Faculty
  Campus Map
  Campus Directory
  College of Arts and Sciences
  School of Business Administration
  School of Education and Human Services
  School of Engineering and Computer Science
  School of Health Sciences
  School of Nursing
  Honors College
  Integrative Studies, B.I.S.
  International Education
  Oakland University in Macomb County
  PACE Professional and Continuing Education
  Other Academic Programs
  Athletics
  Archived Catalogs
  Glossary
  Planning Page
  My Portfolio
HELP
2018-2019 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 3000 - Advanced Symbolic Logic

(4)
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 1000  or PHL 1070  or CSI 1300  or MTH 0662  or equivalent.


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