Course Descriptions

Image: Photos of SF State students and scenes from around campus

PHIL 695 : Advanced Logic Workshop

Prerequisites: Introduction to Symbolic Logic or consent of instructor.
Description: Logic (theory and applications) beyond propositional/predicate calculus, such as sets and sequences, completeness, decidability and adequacy, incompleteness, many-valued logics, intentional logic, induction, conditionals, proof, contradiction, or validity.
Units: 3
SF State Home