Intermediate Logic  --  Philosophy  (PHILOS) 140B [4 units]
Course Format: Three hours of lecture per week.
Prerequisites: Philosophy 12A or equivalent.
Description: Major concepts, results, and techniques of modern logic. Turing machines, computability theory, undecidability of first-order logic, proof theory, Godel's first and second inompleteness theorms. Philosophical implications of these results.
(F,SP) Staff
 


Copyright 2007 UC Regents. All rights reserved.
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
General Catalog University of California, Berkeley Undergrad/Grad Education Courses/Curricula by Dept. Course Search Related Sites Get a PDF/Print Catalog