최적성 이론

최적성 이론 (Optimality Theory , 줄여서 OT)은 1993년 언어학자 알란 프린스와 폴 스몰렌스키가 제안한 언어학적 모델이다. 이 이론은 나중에 존 매카시와 알란 프린스에 의해 확장되어 왔다. 주로 음운론(OT와 처음 연결된 분야)에서 이 이론에 대한 관심이 많지만, 또한 다른 하위 분야의 언어학에 적용될 수 있다. (이를테면 통사론, 의미론) 최적성 이론은 보통 보편의 원칙, 언어 유형학, 언어 인지에 대한 탐구의 관심을 서로 나누는 생성문법의 개발로 여겨지기도 한다.
이 이론은  인공 신경망 연구에 기반을 두고 있기 때문에 종종 언어의 연결주의 이론이라고 불린다.  이 이론은 1990년에 제기된 조화문법의 이론을 계승한다.

생성부(입력형) : 후보 집단

최적성 이론은 입력형에서 언어의 특정한 제한은 없다고 제안한다.  이것을 어기의 풍부성이라고 한다.  모든 문법은 모든 가능한 입력을 다룰 수 있다.  예를 들면, 자음군이 없는 언어는 /flask/같은 입력을 다룰 수 있어야 한다.  자음군이 없는 언어는 이러한 문제를 어떻게 해결하느냐에 따라 다르다.  어떤 경우는 삽입현상이 나타나고 또 다른 경우는 삭제현상이 나타나기 때문이다.  어떠한 입력이 주어진다면, 생성부는 무수한 수의 후보들이나 그 입력의 가능한 결과를 나타낸다.  언어의 문법(제약 등급)은 무수한 후보들이 평가부에 의한 최적의 평가가 되는 것을 결정한다.

제약 : 제약 집단

최적성 이론에서, 모든 제약은 광범위하다.  이러한 제약은 모든 언어에 통용된다.  제약에는 두 가지 종류가 있는데, 충실성 제약(Faithfulness Constraint)과 유표적 제약(Markedness Constraint)이다.  충실성 제약은 관찰된 표면형(출력)은 몇 가지 특정한 방법으로 기저형 또는 어형(입력)과 조화한다고 규정한다. 그것은, 이러한 제역은 입력과 출력의 동일함을 규정한다는 것을 말한다.  유표적 제약은 출력의 구조적인 적정 형식에서 필요조건을 부과한다.  둘 다 이 이론의 결정적인 역할을 맡는다.  충실성 제약은 몇몇 무표적인 형태(예를 들면 [ba]같은)에서 현실화 된 것에서 모든 입력을 회피하며, 유표적인 제약은 변화의 동기를 부여한다.
제약의 보편적인 성질은 언어 유형학에 관한 중간 예측으로 발전한다.  만일 문법이 오직 제약의 다른 순위를 가지기 때문에 다르다면, 가능한 인간 언어는 존재하는 제약에 의해 결정된다.  최적성 이론은 제약 순위의 변경이 있는 것보다는 문법으로 될 수 없다고 예측한다.  가능한 순위의 수는 일정한 조건을 일으키는 "계승 유형론"의 한 예로서 제약의 총 수의 계승과 동등하다.  그러나 모든 제약이 모든 언어에서 주목할만한 영향을 보증되지는 않기 때문에 모든 잠재적인 문법을 구분하는 것은 불가능할 것이다.  두 개의 언어는 입출력 사상의 같은 범위를 생성하는 것은 가능했지만, 가장 낮게 책정된 두 개의 제약과 관련된 순위에서는 달리한다.

비판

최적성 이론은 통사론이나 다른 분야들보다 음운론에서 많은 비판을 불러왔다.
최적성 이론을 제안한 이들에 따르면, 많은 비판론자들은 이 이론이 어떻게 일으키는지에 대한 기본적인 오해에서 기초한다.  잘 알려진 예는 촘스키가 1995년에 주장한 것인데, 최적성 이론은 하나의 최상 음절로 줄어드는 모든 어휘적 입력형을 예상 할 것이라는 주장이다.  사실상, 이러한 종류의 보편적인 중화(neutralization)는 충실성 제약이 없다면 단지 예상되는 것이었다.  어떤 점에서는, 아주 비판적인 반대 성질은 "모든 언어에서의 음운론적인 존재는 충실성은 잘하지 않고도 할 수 있는 효과가 없는 원리라는 것을 보여준다." 라고 말하는 할레의 1995년 연구에서 온 것이다.  '음운론'으로, 할레는 입력형과 출력형에서 불일치를 명확하게 의미하였다.  프린스의 2007년도 연구에 의하면, 최적성 이론은 유표성 제약이 없다면 이러한 불일치를 예상을 하지 못할 것이라고 하였다.  입출력형 불일치는 정상적으로 유표성 제약의 결과는 충실성 제약을 넘어서는 서열(M >> F)로 집계될 것이라고 하였다.
최적성 이론에서의 다른 반대 이론은 반증 가능성이 있는 예상을 이루지 못한다는 점에서 전문적인 이론은 아니라는 문제 제기이다.  이 논쟁의 근원은 용어학이다.  즉, '이론(theory)'이라는 용어는 물리학이나 화학, 아니면 다른 과학에서보다 용어학에서 다르게 사용되었다.  최적성 이론에서의 특정한 증명은 다른 언어 틀이 할 수 있는 범위에서의 특정한 제안과 같은 방법으로 반증 가능성이 있는 예상을 만들 것이다.  예상이 만들어지고, 분석 가능한 것은 개별 제안의 특성에 달려 있다.  따라서 최적성 이론은 과학적인 페러다임으로서 틀이 잘 설명된 것이다.
윌리엄 이드살디의 2000년 연구에 의하면, 최적성 이론에서의 더욱 중요한 반대 의견은 음운론적 불투명에서 묘사할 수 없다는 문제 제기이다.  파생적인 음운론 영향은 표면 단계가 아닌 '불투명(opaque)' 규칙순에서 해석될 수 있는 것에서 설명될 수 없다고 보인다.  그러나 작용하는 규칙에서 중간 단계가 없는 최적성 이론에서 이러한 영향은 설명하기 어렵다.
캐나다의 퀘벡에서 사용되는 프랑스어를 예로 들면,  전설고모음은 /t/의 파찰음을 유발하나, 표면 단계에서 확인할 수 있는 고모음 상실 현상은 식별할 수 있는 근원이 없이 파찰 현상을 남긴다.  파생적인 음운론에서는 이러한 현상을 모음 소실(vowel syncope)이 된 역출혈(counterbleeding) 파찰음 현상으로 인한 것이라고 설명할 수 있다.  이것은, 모음 소실 발생과 출혈(bleeding)을 대신하여, 파찰음은 모음 소실현상 전에 적용되며, 그러므로 고모음은 제거되고 파찰음을 유발하는 환경은 없어질 수 있다고 말할 수 있다.  그러한 역출혈(counterbleeding)규칙순은 표면 단계에서 영향을 보이지 않기 때문에 불투명 조건이다.
이러한 현상의 불투명은 중간 단계가 접근할 수 없기 때문에 최적성 이론에서의 직접적인 설명이 없다는 것을 발견한다.  몇몇 제안은 그러한 것을 설명하는 목적을 품지만, 대부분의 제안은 최적성 이론의 기초적인 양식을 두드러지게 변경하고, 따라서 높게 논쟁하기 쉽다.  종종, 그같은 변경은 새로운 제약의 형태를 추가하거나 생성부나 평가부의 고유의 특징을 변경한다.  잘 알려진 그러한 예들 중 몇몇은 존 매카시의 공감 이론과 후보 연쇄 이론을 포함하고 다른 것들도 많이 있다.
관련된 논쟁은 순환적인 연쇄 체계(chain shift)의 존재이다.  예를 들면, 입력형 /X/는 출력형 [Y]로 측정되나, 입력형 /Y/는 출력형 [X]로 측정된다.  엘리엇 모어톤의 2004년 연구나 알란 프린스의 2007년 연구에서 나온 것처럼, 최적성 이론의 많은 설명은 이러한 것이 불가능하다고 예측한다.  이러한 종류의 형태가 자연 언어를 발생하는건지 안하는건지에 대해서는 확실하지가 않다.
최적성 이론은 언어 생산이나 인지에서 불가능한 방식이 되는 것에서도 비판받았다. 가능한 후보의 무한한 수를 평가하고 비교하는 것은 처리하는 데에 끝도 없이 긴 시간이 소요될 것이다.  윌리엄 이드살디의 2006년 연구에서는, 안드레아 코르나이나 제프리 헤인즈, 그레그 코벨, 그리고 제이슨 리글과 같은 다른 언어학자들이 이러한 문제 제기에 대해 그가 제약 집단과 후보에 관한 이유없는 가설을 만들어 내고 최적성 이론에서의 적당한 증명이 표시하지 않는다고 바로 논쟁을 걸었음에도 불구, 이러한 처리에 대해 논쟁하였다.  최적성 이론에서 또 다른 반박은 틀이 단순히 구상적이라는 것이다.  이러한 관점에서, 최적성 이론은 언어능력(linguistic competence)의 표본으로 간주되지, 언어수행(linguistic performance)의 특징으로 설명되지는 않는다.

최적성 이론 범위내의 이론

실제로, 최적성 이론의 완성은 종종 음절이론(Syllable theory)이나, 운율 이론(Moraic theory), 아니면 자질 기하학(Feature Geometry)과 같은 관련된 이론에서 나타낸다.  이러한 이론들과 대조적으로, 잠재적 충실성 이론(positional faithfulness theory)이나 조화 이론(Correspondence Theory), 그리고 공감 이론(Sympathy Theory)과 같은 최적성 이론 범위내에서 완전히 제안된 보조 이론과 배우기 쉬운 몇몇 이론이 있다.  또한 최적성 이론에 관한 명확한 이론의 범위가 있다.  이러한 것은 제약의 가능한 공식화와 정밀한 지배와 다른 제약 상호작용과 같은 논쟁과 관련이 있다.