2022-2023 Undergraduate Catalog 
    
    Oct 18, 2024  
HELP
2022-2023 Undergraduate Catalog [ARCHIVED CATALOG]

PHIL 0206 - Symbolic Logic II

Credits: 3

A continuation of PHIL 0103 . This course offers an introduction to standard, higher-order predicate calculus. Topics include: proving validity using preliminary and complete quantification rules, forcing invalidity of singular and multiply-general propositions, proving validity using modal operator rules, constructing relational predicates using the theory of relations, constructing definite descriptions using identity rules, and deducing attributes of attributes using predicate variables.

Prerequisites: PHIL 0103  or equivalent.
Catalog Navigation
  Catalog Home
  About the University
  Academic Calendars and Important Dates
  Academic Policies
  Academic Support Services
  Additional Offices & Resources
  Admission
  All Programs of Study
  Common Core
  Cost of Attendance
  Course Descriptions
  Financial Aid
  Graduation
  School of Business, Mathematics, Computing and Sustainability
  School of Criminology, Psychology, Social Justice and Public Policy
  School of Education, Art, Communication and Humanities
  School of Health, Natural Sciences and Human Services
  Student Handbook
  Trustees, Administration and Faculty
  Maps and Directions
  Archived Catalogs