This Element surveys various lines of work to the study of phonology on quantitative and computational approaches. It explores rule- and constraint-based grammar theories data learning gradience formal language theory model theory and information theory. It covers the interconnectedness of these approaches in phonology research and teaching.