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 |
