ShaughanLavine - 28 Aug 2008 - 04:27 - 1.24" class="twikiLink">TWiki> Curriculum Web>ShaughanLavine - 27 Feb 2005 - 10:10 - 1.20" class="twikiLink">PresentCourses>SymbolicLogic501A (09 Dec 2004, ShaughanLavine)EditAttach
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.

Taught By:

ShaughanLavine - 25 Sep 2007 - 23:48 - 1.2" class="twikiLink">ShaughanLavine



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

Topic revision: r2 - 09 Dec 2004 - 17:17:47 - ShaughanLavine
  • ShaughanLavine - 09 May 2007 - 13:57 - 1.2" class="twikiCurrentWebHomeLink twikiLink">web-bg-small Curriculum


 
Powered by TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback