PHIL-5505: 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: 20
Average GPA: 3.76 (A)
Strict A Rate (No A-) : 74.32%
Average Withdrawal Rate: 0.00%
| Benjamin C Jantzen | 2023 | 81.8% | 13.2% | 3.8% | 1.3% | 0.0% | 0.0% | 3.73 | 8 |
| Gregory Novack | 2021 | 81.0% | 19.1% | 0.0% | 0.0% | 0.0% | 0.0% | 3.82 | 3 |
| Brian Epstein | 2008 | 84.9% | 13.3% | 1.8% | 0.0% | 0.0% | 0.0% | 3.77 | 5 |
| Ted Parent | 2011 | 84.8% | 11.7% | 3.5% | 0.0% | 0.0% | 0.0% | 3.75 | 2 |
| Deborah G Mayo | 2015 | 80.8% | 19.3% | 0.0% | 0.0% | 0.0% | 0.0% | 3.75 | 2 |