PHI 230 (LNG 266): Symbolic Logic.
3 hours, 3 credits. Introduction to the techniques and applications of modern deductive logic; a development of formal systems of propositional and quantificational logic. Note: PHI 230 (LNG 266) is recommended to students with some background in logic, philosophy, computer science, or mathematics.
Last modified: 3/11/2014