Idempotency, output-drivenness and the faithfulness triangle inequality: some consequences of McCarthy’s (2003) categoricity generalization
direct link: http://ling.auf.net/lingbuzz/003284
Idempotency requires any phonotactically licit forms to be faithfully realized. Output-drivenness requires any discrepancies between underlying and output forms to be driven exclusively by phonotactics. Tesar (2013) and Magri (to appear) provide tight guarantees for OT output-drivenness and idempotency through conditions on the faithfulness constraints. This paper derives analogous faithfulness conditions for HG idempotency and output-drivenness and develops an intuitive interpretation of the various OT and HG faithfulness conditions thus obtained. The intuition is that faithfulness constraints measure the phonological distance between underlying and output forms. They should thus comply with a crucial axiom of the definition of distance, namely that any side of a triangle is shorter than the sum of the other two sides. This intuition leads to a faithfulness triangle inequality which is shown to be equivalent to the faithfulness conditions for idempotency and output-drivenness. These equivalences hold under various assumptions, crucially including McCarthy’s (2003b) generalization that (faithfulness) constraints are all categorical.
|Format:||[ pdf ]|
(please use that when you cite this article)
|Published in:||Journal of Logic, Language, and Information|
|keywords:||constraint-based phonology; formal analysis; opacity; theory of faithfulness, phonology|