PHIL. 3204

Download as PDF

PHIL. 3204 - Symbolic Logic (3 cr)

Philosophy SHUSS - School of Hum. & Soc. Sci.

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