Nov 03, 2025  
2014-2015 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Course Descriptions
  Departments
  Programs
  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
  Bachelor of Integrative Studies
  Community College Partnerships
  Interdisciplinary Programs
  International Education
  Other Academic Programs
  Professional and Continuing Education
  The Honors College
  Oakland University-Macomb
  Academic Advising
  Academic Calendar
  Scholarships
  University Faculty
  University Libraries
  Planning Page
  Introduction
  Academic Policies and Procedures
  General Information
  General Education Requirement
  Offices of the University
  Glossary
  Archived Catalogs
  Undergraduate Catalog Archive
  My Portfolio
HELP
2014-2015 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)
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)