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

Prerequisites: N/A

Required By: N/A

Corequisites: N/A

Crosslist: N/A

Repeatability: N/A

Last 3 Years

Last 5 Years

Last 10 Years

All

Sections Taught: 1

Average GPA: 3.82 (rounds to A-)

Strict A Rate (No A-) : 55.60%

Average Withdrawal Rate: 0.00%


Daniel Hoek	2021	88.9%	11.1%	0.0%	0.0%	0.0%	0.0%	3.82	1

PHIL-5506: Symbolic Logic

Grade Distribution Over Time