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.