A survey of formal logical approaches used to describe and explain natural language phenomena. Topics include the fundamentals of logical representation and argumentation, the effective use of inductive and deductive reasoning, and the construction of more complex linguistic arguments. Prerequisites: LING 3311 and either PHIL 1301 or PHIL 3321.