Apr 25, 2024  
2013-2014 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Introduction
  Academic Advising
  Academic Advising Index
  General Education Requirement
  Academic Calendar
  Academic Policies and Procedures
  Campus Map
  General Information
  Offices of the University
  University Faculty
  University Libraries
  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
  Oakland University-Macomb
  Other Academic Programs
  Professional and Continuing Education
  The Honors College
  Course Descriptions
  Departments
  Programs
  Archived Catalogs
  Glossary
  Planning Page
  My Portfolio
HELP
2013-2014 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)