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: 5
Average GPA: 3.93 (rounds to A)
Strict A Rate (No A-) : 86.50%
Average Withdrawal Rate: 0.00%
| Gregory Novack | 2021 | 100.0% | 0.0% | 0.0% | 0.0% | 0.0% | 0.0% | 4.00 | 2 |
| Benjamin C Jantzen | 2023 | 89.2% | 10.8% | 0.0% | 0.0% | 0.0% | 0.0% | 3.88 | 3 |