Dec 03, 2024  
2024-2025 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 College
  Programs by Degree
  Programs (A-Z)
  Minors
  Plans of Study
  ROTC Programs
  Course Search
  General Education Information
  General Education Digital Badge Series
  Credit-by-Exam Equivalents
  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
HELP
2024-2025 Undergraduate Catalog

PHI 3130 - Formal 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