PHIL 3204 Symbolic Logic

(Prior to Fall 2010, this course was known as PHIL 33.
The information below might still reflect the old course numbers. Bracketed numbers, if any, are the old course numbers. Learn more...)

3 hours; 3 credits

Symbolic methods of modern deductive logic and their application to language. Metalogical techniques for the study of logistic systems. Alternative logics. Probability calculus. Higher functions. Type theory. Godelean incompleteness.



!!! DISCLAIMER

The City University reserves the right, because of changing conditions, to make modifications of any nature in academic programs and requirements of the university and its constituent colleges without advanced notice. Students are advised to consult regularly with college and department counselors concerning their programs of study.



Access the college's current and recent course bulletins in HTML or PDF format.


Return to the courses list