Intermediate Logic  --  Philosophy  (PHILOS) 140A [4 units]
Course Format: Three hours of lecture per week.
Description: Major concepts, results, and techniques of modern logic. Basic set theoretic tools. Model theoretic treatment of propositional and first-order logic (completeness, compactness, Lowenheim-Skolem). Philosophical implcations 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