Undergraduate Prerequisites: (CASMA293) or consent of instructor. - Graduate Prerequisites: (CASMA293) or consent of instructor. - The investigation of logical reasoning with mathematical methods. The syntax and semantics of sentential logic and quantificational logic. The unifying Godel Completeness Theorem, and models of theories. A look at the Godel Incompleteness Theorem and its ramifications. Effective Fall 2018, this course fulfills a single unit in the following BU Hub area: Philosophical Inquiry and Life's Meanings.

Note that this information may change at any time. Please visit the MyBU Student Portal for the most up-to-date course information.