Philosophy 140A

Spring 2016

Number Title Instructor Days/time Room
140A Intermediate Logic Mancosu MWF 10-11 122 Wheeler

Major concepts, results, and techniques of modern logic. Basic set-theoretic tools. Model-theoretic treatment of propositional and first-order logic (completeness, compactness, Löwenheim-Skolem). Philosophical implications of these results.

Philosophy 12A (or equivalent) is a pre-requisite for this course.

Previously taught: SP14, SP10, SP07, SP05, SP04.