(cross-leveled with PHIL 7150). The course provides a systematic introduction to the semantics of natural languages, using the tools of formal logic. Prerequisites: Sophomore standing and one of the following classes: PHIL 2700, PHIL 4110, or ENGLSH 4640.