Logic and Formal Semantics

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? This course is well suited for students interested in computer science, linguistics, logic, mathematics, or philosophy. (PHIL 0180; pending instructor’s approval, PHIL 0180 may be taken contemporaneously with PHIL/LNGT 0280. Students who take these two courses simultaneously will meet for 6 total contact hours.) 2 hrs. lect./1 hr. disc