PHIL-5506: Symbolic Logic
Description: Modern deductive symbolic logic and its metatheory. 5505: Development of a system of first order logic. Truth functional sentential logic, monadic predicate calculus with identity. Proof techniques and translation between natural and artificial languages. 5506: Logical metatheory: consistency, completeness, and decidability of logical systems.
Pathways: N/A
Course Hours: 3 credits
Corequisites: N/A
Crosslist: N/A
Repeatability: N/A
Sections Taught: 5
Average GPA: 3.82 (A)
Strict A Rate (No A-) : 70.12%
Average Withdrawal Rate: 0.00%
| Daniel N Parker | 2007 | 80.0% | 20.0% | 0.0% | 0.0% | 0.0% | 0.0% | 3.86 | 1 |
| Deborah G Mayo | 2011 | 100.0% | 0.0% | 0.0% | 0.0% | 0.0% | 0.0% | 3.88 | 1 |
| Brian Epstein | 2009 | 77.5% | 22.5% | 0.0% | 0.0% | 0.0% | 0.0% | 3.78 | 2 |
| Daniel Hoek | 2021 | 88.9% | 11.1% | 0.0% | 0.0% | 0.0% | 0.0% | 3.82 | 1 |