This course is an investigation of the systematic properties of speech sounds in natural languages. It compares current theoretical approaches to the analysis of individual features and sounds as well as larger prosodic units, and identifies the dimensions of topological variation in the phonological domain. Discussion includes extensive reference to languages other than English.