기호언어

요약 자연언어가 가지는 중의성을 피하기 위하여 고안된 형식논리의 인공적 기호언어.

몬테규는 자연언어의 의미론을 체계적으로 정립할 수 있는 기초를 제공하였는데, 자연언어의 의미 해석에 모형론적 의미론을 도입하였다. 자연언어는 중의성이 있는데, 예를 들어 "Every dog doesn't bark"와 같은 문장은 "개라고 다 짖는 것은 아니다"와 "한 마리의 개도 짖지 않는다"는 두 가지 뜻으로 해석될 수 있다.

몬테규문법은 체계적인 분석 절차를 거쳐 문장들의 중의적 구조를 밝히고 이렇게 분석된 문장을 기호언어로 번역하여 문장들의 논리적 형식을 얻는 단계적인 절차를 제시하였다. 기호언어의 통사 체계는 유형(type)과 형성규칙(formation rule)으로 구성되며 통사규칙에 해당하는 번역규칙이 있다.