(Cross-listed as PHIL 040)

In this course, we look at a variety of ways to represent meaning in language, including via logic "languages" such as propositional logic, set theory, predicate logic, and lambda calculus. We address truth-functional semantics, lexical semantics, speech act theory, and pragmatics, among many other topics. We additionally discuss applications of these theories, such as the implications of pragmatics in legal situations and in communications with AI.

This course counts for distribution in humanities under the philosophy rubric and in social sciences under the linguistics rubric.