Semantics, Logic, and Cognition

Using logical and mathematical tools, formal semantics answers the following questions: Why do sentences mean what they mean? How is reasoning possible? How does language structure our understanding of time, change, knowledge, morality, identity, and possibility? We will evaluate several formal-semantic models from philosophical, linguistic, and psychological perspectives. This course is well suited for students interested in computer science, linguistics, logic, mathematics, neuroscience, philosophy, or psychology. (Some prior familiarity with formal logic is recommended, but not required.) 2 hrs. lect./1 hr. disc