PHL 373 Symbolic Logic (4) MPT

Study of standard notation, principles of inference, formal systems, methods of proof. Chief attention given to first-order predicate logic. Some focus placed on the philosophy of logic. CAS-E. Offered every other year.

Back to top