PhiL501A -- Symbolic Logic (3 units)
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. Credit allowed for only one of these course: PHIL 401A, PHIL 402. Graduate-level requirements include an in-depth research project on a central theme or topic of the course.
Grading: Regular grades are awarded for this course: A B C D E.
Identical to: MATH 501A, C SC 501A.
May be convened with:PhiL401A.
Usually offered: Fall.
There is a minor correction: It should read "courses: PHIL 501A, PHIL 502."
See SymbolicLogic401A for proposed major changes to the description.
-- ShaughanLavine - 20 Nov 2004