This is an introduction to Optimality Theory, whose central idea is that surface forms of language reflect resolutions of conflicts between competing constraints. A surface form is 'optimal' if it incurs the least serious violations of a set of constraints, taking into account their hierarchical ran[...]