2018-2019 Undergraduate Catalog/Handbook 
    
    Apr 24, 2024  
HELP
2018-2019 Undergraduate Catalog/Handbook [ARCHIVED CATALOG]

PHIL 0206 - Symbolic Logic II

Credits: 3

A continuation of Symbolic Logic I. Introduction to standard, higher-order predicate calculus. Topics to 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 its equivalent.
Catalog Navigation
  Catalog Home
  Academic Calendars and Important Dates
  About the University
  Admission
  Tuition, Fees, and Refunds
  Financial Aid
  Academic Policies
  Graduation Requirements and Procedures
  Common Core
  Undergraduate Academic Departments and Programs
  Programs of Study
  Course Descriptions
  Academic Support Services
  Additional Educational Programs
  Student Handbook
  Trustees, Administration and Faculty
  Maps and Directions
  Archived Catalogs