MATH501A
Download as PDF
MATH501A - Symbolic Logic
Course Description
Intermediate propositional logic and quantificational theory, natural deduction, axiom systems, elementary metatheorems, introduction to notions of modal logic, selected topics in philosophy of logic. Graduate-level requirements include an in-depth research project on a central theme or topic of the course. Courses for which students receive the grade of P (Pass) do not satisfy requirements for the M.A. or Ph.D. or minor in philosophy.
Min Units
3
Max Units
3
Repeatable for Credit
No
Grading Basis
OPT - Student Option ABCDE/PF
Career
Graduate
Course Attributes
CE - CL (Cross Listed)
Cross Listed Courses
Name
Lecture
Workload Hours
3
Optional Component
No