Apr 04, 2026  
2025-2026 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Letter from the President
  Letter From the Provost
  Campus Visit Experience
  About USF
  Academic Calendar
  Selected Policies
  Programs by Degree
  Programs by College
  Programs (A-Z)
  Minors
  Course Search
  Plans of Study
  General Education Information
  Credit-by-Exam Equivalents
  25-26 Catalog Errata
  Glossary
  Admissions and Related Matters
  Student Registration and Records
  Student Financial Information
  Student Tuition and Fees
  Student Services and Resources
  Academic Policies and Procedures
  Other USF Catalogs
  My Portfolio
HELP
2025-2026 Undergraduate Catalog
Add to Portfolio (opens a new window)

PHI 3130 - Modern Logic

Credit(s): 3
A study of predicate calculus, predicate calculus with identity, formal semantics, and elementary metalogic. Strongly recommended for philosophy majors.

Course Attribute(s): 6AM - State Computation Requirement, 6AMT - Gordon Computation Requirement, 6AMT - State Computation Requirement, CAQR - Quantitative Reasoning



Add to Portfolio (opens a new window)