PhiL401A -- 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: PhiL401A, PhiL402.
Grading: Regular grades are awarded for this course: A B C D E.
Identical to: C SC 401A, MATH 401A.
May be convened with: PhiL501A.
Usually offered: Fall.

Taught By:

---

---

There is a typo in the description: "course" should be "courses".
-- ShaughanLavine - 13 Nov 2004

---

I would like to change the description to read as follows, to more accurately reflect the present content of the course. Of course, the analogous changes would need to be approved and applied to SymbolicLogic501A.

Propositional logic and quantificational theory, axiom systems, Tarski's definition of truth via a definition of satisfaction, metatheorems including Gödel's completeness theorem and the upward and downward Löwenheim-Skolem theorems, selected topics in philosophy of logic related to those theorems. Credit allowed for only one of these courses: PHIL 401A, PHIL 402.

That would presumably require the approval of the Computer Science and Mathematics Departments, because of the joint listing.
-- ShaughanLavine - 13 Nov 2004

---

-- ShaughanLavine - 13 Nov 2004