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. This course fulfills a single unit in the following BU Hub area: Philosophical Inquiry and Life's Meanings.