PHIL. 3204
Download as PDF
PHIL. 3204 - Symbolic Logic (3 cr)
Catalog Description
3 hours; 3 creditsSymbolic methods of modern deductive logic and their application tolanguage. Metalogical techniques for the study of logistic systems.Alternative logics. Probability calculus. Higher functions. Type theory.Godelean incompleteness.
Minimum
3
Max
3
Academic Progress Units
3
Requirement Designation
Regular Liberal Arts
Name
Lecture