Jan 24, 2025  
Graduate Record 2005-2006 
    
Catalog Navigation
  Catalog Home
  Board of Visitors and University Administration
  Academic Calendar
  University of Virginia
  Statement of Purpose and Goals
  Tuition, Fees, Housing and Dining
  Financial Aid
  University Regulations
  Programs and Degrees Offered
  How to Read Course Listings
  Graduate School of Arts and Sciences
  Graduate School of Architecture
  Darden Graduate School of Business Administration
  Graduate School of Commerce
  Curry School of Graduate Education
  School of Graduate Engineering and Applied Science
  School of Law
  School of Medicine
  School of Graduate Nursing
  School of Continuing and Professional Studies
  Programs
  Course Descriptions
  Student Services
HELP
Graduate Record 2005-2006 [ARCHIVED RECORD]

PHIL 542 - Symbolic Logic

Examines various results in metalogic, including completeness, compactness, and undecidability. Effective computability, theories of truth, and identity may also be covered. (E)

Prerequisites & Notes
Prerequisite: PHIL 242 or its equivalent.

Credits: 3