Examination of empirical facts, fundamental goals, and current techniques of formal semantic theory with a goal toward independent research. Topics include basic tools of current semantic theory and various core topics concerning meaning in English and other languages. Prerequisite: LING 3311 with a grade of C or higher.