의미론

thumb|alt=단어, 사물, 사상 간의 관계 도표|의미론의 주요 주제는 언어, 세계, 정신적 개념 간의 관계이다.
**의미론**(意味論, semantics 또는 어의론)은 언어적 의미를 연구하는 학문이다. 의미가 무엇인지, 단어가 어떻게 의미를 가지게 되는지, 그리고 복합 표현의 의미가 그 구성 요소에 따라 어떻게 달라지는지를 탐구한다. 이 과정의 일부는 뜻과 지시체의 구분을 포함한다. 뜻은 표현과 관련된 아이디어와 개념에 의해 주어지는 반면, 지시체는 표현이 가리키는 대상이다. 의미론은 문법적으로 올바른 문장을 만드는 규칙을 연구하는 통사론 및 사람들이 의사소통에서 언어를 사용하는 방식을 조사하는 화용론과 대조된다. 의미론은 통사론, 화용론과 함께 기호학의 일부이다.

어휘 의미론은 낱말의미를 연구하는 의미론의 한 분야이다. 단어가 하나 또는 여러 의미를 가지는지, 그리고 서로 어떤 어휘 관계를 가지는지를 탐구한다. 구절 의미론은 합성성 현상, 즉 단어를 배열하여 새로운 의미를 만드는 방식을 탐구함으로써 문장의 의미를 연구한다. 형식 의미론은 논리학과 수학을 사용하여 언어와 의미 간의 관계에 대한 정밀한 틀을 제공한다. 의미인지론은 심리적 관점에서 의미를 탐구하며, 언어 능력과 세계를 이해하는 데 사용되는 개념적 구조 간의 밀접한 관계를 가정한다. 다른 의미론 분야로는 개념 의미론, 전산 의미론, 문화 의미론 등이 있다.

의미 이론은 의미의 본질과 표현에 의미가 부여되는 방식에 대한 일반적인 설명이다. 지시적 이론에 따르면, 표현의 의미는 그것이 가리키는 현실의 일부이다. 관념 이론은 의미를 언어 사용자들의 마음에 표현이 불러일으키는 관념과 같은 정신 상태와 동일시한다. 인과 이론에 따르면, 의미는 원인과 결과에 의해 결정되며, 행동주의 의미론은 이를 자극과 반응으로 분석한다. 의미의 추가 이론으로는 진리조건 의미론, 검증주의 이론, 사용 이론, 추론주의 의미론 등이 있다.

의미론적 현상에 대한 연구는 고대부터 시작되었지만, 19세기에 이르러서야 독립적인 탐구 분야로 인정받았다. 의미론은 형식 논리학, 컴퓨터 과학, 심리학 분야와 관련이 있다.

## 정의 및 관련 분야
의미론은 언어에서의 의미를 연구하는 학문이다. 이는 언어적 의미가 무엇이며 어떻게 발생하는지 체계적으로 탐구한다. 형태소, 낱말, 절, 문장, 텍스트와 같은 다양한 구성 요소층으로 표현이 어떻게 구성되는지, 그리고 구성 요소들의 의미가 서로에게 어떻게 영향을 미치는지 조사한다. 의미론은 영어와 같은 특정 언어에 초점을 맞출 수 있지만, 가장 넓은 의미에서는 모든 언어에 관련된 의미 구조를 탐구한다. 기술적인 학문으로서, 사람들에게 특정 표현과 어떤 의미를 연관시켜야 하는지 규정하지 않고 의미가 어떻게 작동하는지 밝히는 것을 목표로 한다. 주요 질문으로는 "단어의 의미가 어떻게 결합되어 문장의 의미를 만들어내는가?", "의미는 언어 사용자의 마음과 단어가 지시하는 사물과 어떻게 관련되는가?", "단어가 의미하는 바와 그것이 사용되는 맥락 사이의 연관성은 무엇인가?" 등이 있다. 의미론에 관여하는 주요 학문 분야는 언어학, 기호학, 철학이다. 탐구 분야로서의 의미 외에도, 의미론은 진리조건 의미론과 같은 이 분야 내의 이론이나 요정(fairy)이라는 단어의 의미와 같은 특정 표현의 의미를 지칭할 수도 있다.

탐구 분야로서 의미론은 내부적 측면과 외부적 측면을 모두 가진다. 내부적 측면은 단어와 그것이 불러일으키는 정신 현상(예: 관념 및 개념적 표상) 간의 연결에 관심을 가진다. 외부적 측면은 단어가 세상의 사물을 어떻게 지시하는지, 그리고 어떤 조건에서 문장이 참이 되는지를 탐구한다.

많은 관련 학문 분야가 언어와 의미를 탐구한다. 의미론은 언어의 다른 측면에 초점을 맞추는 언어학의 다른 하위 분야와 대조된다. 음운론은 언어에서 사용되는 다양한 유형의 소리와 소리가 단어를 형성하기 위해 어떻게 연결되는지를 연구하는 반면, 통사론은 단어를 배열하여 문장을 만드는 방법을 지시하는 규칙을 탐구한다. 이러한 구분은 단어의 의미를 모르면서도 단어를 발음하는 방법을 아는 경우와 같이, 언어의 일부 측면을 습득하고 다른 측면이 부족할 수 있다는 사실에 반영된다. 기호학의 하위 분야로서 의미론은 언어에서의 의미에 더 좁게 초점을 맞추는 반면, 기호학은 언어적 및 비언어적 기호를 모두 연구한다. 기호학은 비언어적 의사소통, 관습적인 상징, 인간 상호작용과 독립적인 자연적 기호의 의미와 같은 추가 주제를 조사한다. 예를 들어, 동의를 나타내기 위해 고개를 끄덕이는 것, 제복의 줄무늬가 계급을 나타내는 것, 독수리류의 존재가 가까운 동물 사체를 나타내는 것 등이 있다.

의미론은 사람들이 의사소통에서 언어를 사용하는 방식에 관심을 두는 화용론과도 대조된다. "내가 말하는 게 바로 그거야"와 같은 표현은 누가 언제 어떤 상황에서 말하느냐에 따라 여러 가지 의미를 가질 수 있다. 의미론은 표현의 가능한 의미, 즉 일반적으로 무엇을 의미할 수 있고 무엇을 의미할 수 없는지에 관심을 가진다. 이 점에서 의미론은 때때로 맥락 독립적 의미의 연구로 정의되기도 한다. 화용론은 이러한 가능한 의미 중 특정 경우에 어떤 의미가 관련 있는지를 탐구한다. 의미론과 달리, 화용론은 이러한 실제 수행의 기반이 되는 일반적인 언어 능력보다는 실제 수행에 관심을 가진다. 여기에는 화자가 특정 주제에 대해 침묵을 지키는 것이 무엇을 의미하는지와 같이 문자적으로 표현되지 않았지만 추론될 수 있는 추가적인 의미에 대한 주제가 포함된다. 기호학자 찰스 윌리엄 모리스의 밀접하게 관련된 구분은 의미론이 단어와 세계 간의 관계를 연구하고, 화용론은 단어와 사용자 간의 관계를 탐구하며, 통사론은 다른 단어들 간의 관계에 초점을 맞춘다고 주장한다.

의미론은 단어와 그 의미가 역사적으로 어떻게 변화했는지를 연구하는 어원학과 관련이 있다. 또 다른 관련 분야는 해석의 예술 또는 과학이며, 일반적으로 텍스트와 특히 성경을 해석하는 올바른 방법론에 관심을 두는 해석학이다. 메타의미론은 의미의 형이상학적 토대를 탐구하며, 의미가 어디에서 오거나 어떻게 발생하는지 설명하는 것을 목표로 한다.

'의미론(semantics)'이라는 단어는 고대 그리스어 Transliteration|grc|semantikos}}에서 유래했는데, '기호와 관련된'이라는 뜻이며, 이는 '기호'를 뜻하는 명사 의 파생어이다. 처음에는 의학적 증상에 사용되었고, 나중에 언어적 기호를 포함한 모든 유형의 기호에 대한 더 넓은 의미를 갖게 되었다. '의미론'이라는 단어는 19세기 말 언어학자 미셸 브레알이 처음 도입한 프랑스어 에서 영어로 들어왔다.

## 기본 개념
### 의미
의미론은 언어의 의미를 연구하는데, 이는 언어 표현의 의미에 한정된다. 이는 기호가 어떻게 해석되고 어떤 정보를 담고 있는지에 관한 것이다. 예를 들어, 사전 정의에서 동의어나 바꿔 쓰기를 통해 단어의 의미를 제공하는 방식이 있다. 수양(ram)이라는 용어의 의미를 다 자란 수컷 양으로 정의하는 것과 같다. 의미론이 다루지 않는 비언어적 의미의 형태도 많다. 행동과 정책은 그것들이 봉사하는 목표와 관련하여 의미를 가질 수 있다. 종교와 영성과 같은 분야는 삶의 의미에 관심을 가지는데, 이는 삶의 목적이나 일반적인 실존의 중요성을 찾는 것에 관한 것이다.

thumb|alt=사전 사진|의미론은 주관적인 화자 의미에 초점을 맞추지 않고, 일반 사전 정의에서 찾을 수 있는 것과 같은 공공적 의미에 관심을 둔다.

언어적 의미는 여러 수준에서 분석될 수 있다. 낱말의미는 어휘 의미론에서 연구되며, 개별 단어의 지시 대상을 조사한다. 이는 종종 실체의 개념과 관련이 있는데, 예를 들어 '개'라는 단어가 네 발 달린 가축의 개념과 연결되는 방식이다. 문장 의미는 구절 의미론의 영역에 속하며, 전체 문장의 지시 대상을 다룬다. 이는 보통 "그 개가 내 파란색 치마를 망쳤다"와 같은 문장에서 나타나듯이 특정 상황 유형에 적용되는 개념을 표현한다. 문장의 의미는 종종 명제라고 불린다. 서로 다른 문장이 같은 명제를 표현할 수 있는데, 예를 들어 영어 문장 "the tree is green"과 독일어 문장 이 그렇다. 발화 의미는 화용론에서 연구되며, 특정 상황에서 표현의 의미를 다룬다. 문장 의미와 발화 의미는 반어와 같이 표현이 비문자적으로 사용되는 경우에 분리된다.

의미론은 주로 표현이 갖는 공공적 의미, 즉 일반 사전 정의에서 찾을 수 있는 의미에 관심을 갖는다. 반면, 화자 의미는 개인이 표현과 연관시키는 사적이거나 주관적인 의미이다. 이는 문자적 의미와 다를 수 있는데, 예를 들어 어떤 사람이 '바늘(needle)'이라는 단어를 고통이나 약물과 연관시킬 때 그렇다.

### 뜻과 지시체
[alt=고틀로프 프레게 흉상|thumb|upright=0.7|뜻과 지시체 간의 구분은 철학자 [고틀로프 프레게가 처음 도입했다.]]

의미는 종종 뜻과 지시체의 관점에서 분석되며, 이는 내포와 외연 또는 함축과 지시체라고도 불린다. 표현의 지시체는 그 표현이 가리키는 대상이다. 표현의 뜻은 그 대상이 지시되는 방식, 또는 대상이 해석되는 방식이다. 예를 들어, 샛별과 개밥바라기별은 같은 행성을 지시하며, 2 + 2와 3 + 1은 같은 숫자를 지시한다. 이 표현들의 의미는 지시체 수준이 아니라 뜻 수준에서 다르다. 뜻은 때때로 사람들이 표현이 지시하는 대상을 식별하는 데 도움이 되는 정신적 현상으로 이해되기도 한다. 일부 의미론자들은 의미 분석에서 주로 뜻이나 주로 지시체에 초점을 맞춘다. 표현의 완전한 의미를 파악하려면 일반적으로 그것이 세계의 어떤 실체를 지시하는지, 그리고 어떻게 그것들을 묘사하는지 모두 이해해야 한다.

뜻과 지시체 간의 구분은 동일성 진술을 설명할 수 있는데, 이는 서로 다른 뜻을 가진 두 표현이 같은 지시체를 가짐을 보여주는 데 사용될 수 있다. 예를 들어, "샛별은 개밥바라기별이다"라는 문장은 유익하며 사람들은 이를 통해 무언가를 배울 수 있다. 반대로 "샛별은 샛별이다"라는 문장은 지시체 수준뿐만 아니라 뜻 수준에서도 표현이 동일하기 때문에 정보가 없는 동어 반복이다.

### 합성성
합성성은 언어가 의미를 구성하는 핵심적인 측면이다. 이는 복합 표현의 의미가 그 구성 요소들의 의미의 함수라는 아이디어이다. "수잔나는 개를 소유한다"는 문장의 의미는 수잔나, 소유하다, 개라는 단어의 의미와 그것들이 어떻게 결합되는지를 이해함으로써 이해할 수 있다. 이 점에서 문장과 같은 복합 표현의 의미는 단어 의미와 다르다. 왜냐하면 단어의 의미는 일반적으로 단어의 글자를 보고 추론할 수 없으며 대신 사전을 참고해야 하기 때문이다.

합성성은 사람들이 단어와 인지 자원의 양이 유한함에도 불구하고 거의 무한한 수의 의미를 어떻게 구성하고 이해할 수 있는지를 설명하는 데 자주 사용된다. 사람들이 읽는 많은 문장은 이전에 한 번도 본 적이 없는 문장인데도 불구하고 이해할 수 있다.

강한 의미로 해석될 때, 합성성의 원리는 복합 표현의 의미가 그 구성 요소들과 그것들이 결합되는 방식에 의해 단순히 영향을 받는 것이 아니라 완전히 결정된다고 명시한다. 이 주장이 정확한지 또는 추가적인 측면이 의미에 영향을 미치는지에 대해서는 논란이 있다. 예를 들어, 맥락이 표현의 의미에 영향을 미칠 수 있으며, "kick the bucket"과 같은 관용구는 그 구성 요소들의 의미로 직접 환원될 수 없는 비유적 또는 비문자적 의미를 지닌다.

### 진리와 진리 조건
진리는 세상을 정확하게 나타내는 진술의 속성으로, 참인 진술은 실재와 일치한다. 진술이 참인지 여부는 일반적으로 진술과 세상의 나머지 부분 사이의 관계에 달려 있다. 진술의 진리 조건은 진술이 참이기 위해 세상이 어떠해야 하는 방식이다. 예를 들어, "밖에 비가 온다"라는 문장의 진리 조건에는 하늘에서 빗방울이 떨어지는 것이 속한다. 이 문장은 진리 조건이 충족되는 상황, 즉 실제로 밖에 비가 올 때 참이다.

진리 조건은 의미론에서 핵심적인 역할을 하며, 일부 이론은 의미 분석을 위해 진리 조건에만 의존한다. 진술을 이해하는 것은 일반적으로 그것이 참이 될 조건에 대한 아이디어를 갖는 것을 의미한다. 이는 조건이 충족되는지 여부를 알지 못하더라도 발생할 수 있다.

### 기호 삼각형
thumb|alt=기호 삼각형 다이어그램|기호 삼각형은 언어(기호)와 세계(지시 대상) 간의 관계가 언어 사용자(사상 또는 참조)에 의해 어떻게 매개되는지 설명하려 한다.

의미 삼각형이라고도 불리는 기호 삼각형은 언어, 언어 사용자, 그리고 세계 간의 관계를 설명하는 데 사용되는 모델로, 이 모델에서는 각각 기호, 사상 또는 참조, 지시체로 표현된다. 기호는 음성 또는 문자 형태의 언어적 기표이다. 이 모델의 핵심 아이디어는 초기 이항 모델에서 가정했듯이 언어적 표현과 그것이 지칭하는 대상 사이에 직접적인 관계가 없다는 것이다. 이는 다이어그램에서 기호와 지시체 사이의 점선으로 표현된다.

이 모델은 대신 둘 사이의 관계가 세 번째 구성 요소를 통해 매개된다고 주장한다. 예를 들어, '사과(apple)'라는 용어는 특정 종류의 과일을 나타내지만, 이 문자열과 해당 물리적 객체 사이에는 직접적인 연결이 없다. 이 관계는 언어 사용자의 마음을 통해서만 간접적으로 설정된다. 언어 사용자가 기호를 볼 때, 그것은 정신적 이미지나 개념을 불러일으키고, 이는 물리적 객체와의 연결을 설정한다. 이 과정은 언어 사용자가 이전에 기호의 의미를 학습했을 경우에만 가능하다. 특정 기호의 의미는 특정 언어의 관습에 의해 지배된다. 같은 기호가 한 언어에서는 한 대상을, 다른 언어에서는 다른 대상을, 또 다른 언어에서는 어떤 대상도 지칭하지 않을 수 있다.

### 기타
많은 다른 개념들이 의미론적 현상을 설명하는 데 사용된다. 표현의 의미 역할은 문장에서 그것이 수행하는 기능이다. "소년이 공을 찼다"라는 문장에서 소년은 행동을 수행하는 행위자의 역할을 한다. 공은 스스로 행동하지는 않지만 행동에 참여하거나 행동에 의해 영향을 받는 사물로서 이 행동의 주제 또는 환자(patient)이다. 어떤 사람이 자신을 다치게 하는 경우처럼 같은 존재가 행위자와 환자 모두가 될 수 있다. 존재가 행동을 수행하는 데 사용될 경우 도구의 의미 역할을 갖는다. 예를 들어 칼로 무언가를 자를 때 칼은 도구이다. 어떤 문장에서는 행동이 묘사되지 않고 경험이 발생한다. 예를 들어 소녀가 새를 보는 경우이다. 이 경우 소녀는 경험자의 역할을 갖는다. 다른 일반적인 의미 역할로는 장소, 출처, 목표, 수혜자, 자극 등이 있다.

어휘 관계는 단어들이 서로 어떻게 관련되어 있는지를 설명한다. 두 단어가 동일하거나 매우 유사한 의미를 공유할 때 동의어라고 한다. 예를 들어 '자동차(car)'와 '자동차(automobile)', '사다(buy)'와 '구매하다(purchase)'이다. 반의어는 반대 의미를 가지는데, 예를 들어 '살아있는(alive)'과 '죽은(dead)', '빠른(fast)'과 '느린(slow)'의 대조이다. 한 단어의 의미가 다른 단어의 의미에 포함될 때, 첫 번째 단어는 두 번째 단어의 하위어이다. 예를 들어, 개미는 곤충의 하위어이다. 프로토타입은 그것이 속한 유형의 특징적인 특성을 가진 하위어이다. 꼬까울새는 새의 프로토타입이지만, 펭귄은 그렇지 않다. 발음이 같은 두 단어는 동음이의어인데, 예를 들어 'flour'와 'flower'가 그렇다. 철자가 같은 두 단어는 동형이의어인데, 예를 들어 강둑으로서의 'bank'와 금융 기관으로서의 'bank'가 대조된다. 하위어는 부분론과 밀접하게 관련되어 있는데, 이는 부분과 전체의 관계를 설명한다. 예를 들어, 바퀴는 자동차의 부분어이다. 한 표현이 여러 가지 가능한 의미를 가질 때 중의적이다. 어떤 경우에는 의도된 의미를 구별하기 위해 모호함을 해소할 수 있다. 다의어라는 용어는 서로 다른 의미가 밀접하게 관련되어 있을 때 사용되는데, 예를 들어 '머리(head)'라는 단어의 의미처럼 인간 신체의 가장 높은 부분이나 조직에서 가장 높은 직위의 사람을 지칭할 수 있다.

단어의 의미는 종종 의미 자질이라고 불리는 의미 구성 요소로 세분될 수 있다. '말(horse)'이라는 단어는 생명체라는 의미 자질을 가지지만, 인간이라는 의미 자질은 없다. 모든 의미 자질을 식별함으로써 단어의 의미를 완전히 재구성하는 것이 항상 가능하지 않을 수도 있다.

의미 또는 어휘장은 모두 동일한 활동이나 주제와 관련된 단어들의 집합이다. 예를 들어, 요리의 의미장에는 굽다, 끓이다, 향신료, 팬과 같은 단어들이 포함된다.

표현의 맥락은 그것이 사용되는 상황이나 환경을 의미하며, 시간, 장소, 화자, 청중을 포함한다. 또한 그 이전과 이후에 오는 텍스트의 다른 구절들도 포함한다. 맥락은 직시적 표현인 '여기(here)'와 대용적 표현인 '그녀(she)'와 같은 다양한 표현의 의미에 영향을 미친다.

어떤 통사적 환경이 외연적 또는 투명하다면, 문장의 진리값에 영향을 미치지 않으면서 동일한 지시 대상을 가진 표현들을 항상 교환할 수 있다. 예를 들어, "숫자 8은 짝수이다"라는 문장의 환경은 외연적인데, "숫자 8"이라는 표현을 "태양계 행성의 수"로 대체해도 그 진리값이 변하지 않기 때문이다. 내포적 또는 불투명한 맥락에서는 이러한 유형의 대치가 항상 가능하지 않다. 예를 들어, "파코는 숫자 8이 짝수라고 믿는다"라는 문장의 내장절은 파코가 태양계 행성의 수가 8이라는 것을 모를 수 있기 때문에 내포적이다.

의미론자들은 일반적으로 자신들이 연구하는 언어를 대상 언어라고 부르고, 자신들의 연구 결과를 표현하는 데 사용하는 언어를 메타 언어라고 구분한다. 교수가 일본어를 사용하여 학생들에게 1차 논리 언어를 해석하는 방법을 가르칠 때, 1차 논리 언어는 대상 언어이고 일본어는 메타 언어이다. 같은 언어가 대상 언어와 메타 언어의 역할을 동시에 할 수도 있다. 이는 단일 언어 영어 사전의 경우에 해당하는데, 대상 언어에 속하는 항목 용어와 메타 언어에 속하는 정의 텍스트가 모두 영어에서 가져온 것이다.

## 분야
### 어휘 의미론

어휘 의미론은 낱말의 의미를 연구하는 의미론의 하위 분야이다. 개별 단어와 전체 어휘의 의미론적 측면을 탐구한다. 여기에는 두 용어가 동의어인지 반의어인지와 같은 단어들 간의 어휘 관계 연구가 포함된다. 어휘 의미론은 단어를 공유하는 의미 자질에 따라 분류하고, 공통 주제로 통일된 의미장으로 그룹화한다. 이 정보는 어휘 지식을 조직하기 위한 분류법을 만드는 데 사용된다. 예를 들어, 물리적 실체와 추상적 실체를 구분하고 물리적 실체를 물질 명사와 가산명사로 세분하는 식이다. 추가적인 관심 주제로는 다의어, 중의성, 모호성이 있다.

어휘 의미론은 때때로 의미론과 어원론이라는 두 가지 보완적인 접근 방식으로 나뉜다. 의미론은 단어에서 시작하여 그 의미가 무엇인지 탐구한다. 단어가 하나 또는 여러 의미를 가지는지, 그리고 그 의미들이 서로 어떻게 관련되어 있는지에 관심을 가진다. 어원론은 단어에서 의미로 가는 대신, 의미에서 단어로 간다. 개념에서 시작하여 이 개념이 어떤 이름을 가지는지, 또는 특정 언어에서 어떻게 표현될 수 있는지를 탐구한다.

일부 의미론자들은 단어 이외의 어휘 단위 연구도 어휘 의미론 분야에 포함시킨다. '몸이 좋지 않다(under the weather)'와 같은 합성어 표현은 단위로 작용하는 비문자적 의미를 가지며, 그 구성 요소들의 직접적인 함수가 아니다. 또 다른 주제는 단어를 구성하는 형태소의 의미에 관한 것으로, 예를 들어 'inanimate'와 'dishonest'에서처럼 'in-'과 'dis-'와 같은 부정 접두사가 자신이 속한 단어의 의미에 어떻게 영향을 미치는지이다.

### 구절 의미론
구절 의미론은 문장의 의미를 연구한다. 이는 합성성의 원리에 의존하여 복합 표현의 의미가 그 구성 요소들의 조합에서 어떻게 발생하는지 탐구한다. 서로 다른 부분들은 주어, 서술어, 논항으로 분석될 수 있다. 문장의 주어는 일반적으로 특정 실체를 지시하는 반면, 서술어는 주어의 특징이나 주어가 참여하는 사건을 묘사한다. 논항은 서술어를 완성하기 위한 추가 정보를 제공한다. 예를 들어, "메리가 공을 쳤다"라는 문장에서 메리는 주어, 치다는 서술어, 공은 논항이다. 더 세분화된 분류는 행위자, 환자, 주제, 장소, 출처, 목표와 같은 단어의 다양한 의미 역할을 구분한다.

[thumb|alt=파스 트리 다이어그램|구성 기반 파스 트리와 같은 [파스 트리는 표현들이 어떻게 결합되어 문장을 형성하는지 보여준다.]]

동사는 일반적으로 서술어 역할을 하며, 종종 다른 표현들 사이의 연결을 설정하여 더 복잡한 의미 구조를 형성하는 데 도움을 준다. "베토벤은 슈베르트를 좋아한다"라는 표현에서 '좋아한다'는 동사는 좋아하는 사람과 좋아하는 대상을 연결한다. 다른 문장 구성 요소들은 새로운 연결을 형성하기보다 의미를 수정한다. 예를 들어, 형용사 '빨간'은 '빨간 차'라는 표현에서 다른 실체의 색깔을 수정한다. 또 다른 구성 장치는 변수 바인딩으로, 용어의 지시체를 결정하는 데 사용된다. 예를 들어, "베토벤을 좋아하는 여자"라는 표현의 마지막 부분은 어떤 여자를 의미하는지 특정한다. 파스 트리는 다른 부분들을 결합하는 데 사용되는 기본 계층 구조를 보여주는 데 사용될 수 있다. 동명사 형태와 같은 다양한 문법 장치들도 의미에 기여하며, 문법 의미론에서 연구된다.

### 형식 의미론

형식 의미론은 논리학과 수학의 형식 도구를 사용하여 자연어의 의미를 분석한다. 이는 표현과 그 지시 대상 간의 관계를 명확히 하기 위해 정밀한 논리적 형식주의를 개발하는 것을 목표로 한다. 주요 과제 중 하나는 언어가 세상을 어떻게 나타내는지에 대한 틀을 제공하는 것이다. 예를 들어, 존재론적 모델을 사용하여 언어 표현이 그 모델의 실체에 어떻게 매핑되는지 보여주는 방식이다. 일반적인 생각은 단어가 개별 객체나 객체 그룹을 지칭하는 반면, 문장은 사건과 상태와 관련된다는 것이다. 문장은 세계에 대한 그들의 묘사가 존재론적 모델과 일치하는지 여부에 따라 진릿값에 매핑된다.

형식 의미론은 또한 한정 기호, 내포성, 명사구, 복수, 물질 용어, 시제, 양태와 같은 언어 현상을 나타내기 위해 형식적 메커니즘을 사용하는 방법을 탐구한다. 몬터규 의미론은 형식 의미론의 초기이자 영향력 있는 이론으로, 영어 언어가 수학적 논리를 사용하여 어떻게 표현될 수 있는지에 대한 상세한 분석을 제공한다. 이는 고차 논리, 람다 대수, 유형 이론에 의존하여 서로 다른 통사적 범주에 속하는 표현들의 조합을 통해 의미가 어떻게 생성되는지를 보여준다.

동적 의미론은 형식 의미론의 하위 분야로, 정보가 시간 경과에 따라 어떻게 성장하는지에 초점을 맞춘다. 이에 따르면, "의미는 맥락 변화 잠재력"이다. 즉, 문장의 의미는 그 문장이 포함하는 정보에 의해 주어지는 것이 아니라, 맥락에 상대적으로 가져오는 정보 변화에 의해 주어진다.

### 의미인지론

[thumb|alt=빗변 다이어그램|의미인지론은 언어의 근간이 되는 개념적 구조에 관심을 가지는데, 이는 프로파일과 베이스의 대비를 통해 명확히 표현될 수 있다. 예를 들어, [빗변이라는 용어는 직각삼각형을 배경으로 직선을 프로파일링한다.]]

의미인지론은 심리학적 관점에서 의미의 문제, 즉 언어 사용자의 마음이 의미에 어떻게 영향을 미치는지 연구한다. 인지언어학의 하위 분야로서, 언어를 세계를 이해하고 표현하는 데 사용되는 개념적 구조와 밀접하게 관련된 넓은 인지 능력으로 본다. 인지 의미론자들은 언어 지식과 세계 지식 사이에 명확한 구분을 두지 않고, 대신 서로 연관된 현상으로 본다. 그들은 언어와 인간 인지 간의 상호작용이 공간, 시간, 인과관계, 행동과 같은 매우 일반적인 영역에서 개념적 조직에 어떻게 영향을 미치는지 연구한다. 프로파일과 베이스의 대비는 때때로 기저 지식 구조를 명확히 하는 데 사용된다. 언어 표현의 프로파일은 지식 구조에서 전면에 드러나는 측면인 반면, 베이스는 이 측면의 맥락을 제공하지만 주의의 중심이 되지는 않는 배경이다. 예를 들어, 빗변이라는 단어의 프로파일은 직선인 반면, 베이스는 빗변이 부분인 직각삼각형이다.

인지 의미론은 언어 전반에 걸친 개념적 패턴과 언어유형론을 비교하며, 인간의 인지적 개념 구조가 보편적인지 또는 언어적 배경에 상대적인지 여부를 검토한다. 또 다른 연구 주제는 문법 적용에 관련된 심리적 과정이다. 그 외에 정보 과부하를 피하기 위해 서로 다른 실체를 동일하게 간주하는 인지적 발견법으로 이해되는 범주화와 언어 사용자의 신체 경험이 표현의 의미에 어떻게 영향을 미치는지를 다루는 체화된 인지 등이 연구되는 현상이다.

틀 의미론 (언어학)은 인지 의미론의 중요한 하위 분야이다. 그 핵심 아이디어는 용어의 의미가 서로 독립적으로 이해될 수 없으며, 그것들이 의존하는 개념적 구조의 배경 위에서 분석되어야 한다는 것이다. 이러한 구조는 의미 틀을 통해 명시된다. 예를 들어, '신부', '신랑', '신혼여행'과 같은 단어들은 마음속에 결혼이라는 틀을 불러일으킨다.

### 기타
개념 의미론은 인간이 세계를 개념화하고 경험하는 방식을 탐구함으로써 언어적 의미를 심리학적 관점에서 연구한다는 점에서 인지 의미론과 유사하다. 이 분야는 의미가 표현이 지시하는 대상에 관한 것이 아니라 사상, 지각, 행동을 연결하는 인간 개념의 인지 구조에 관한 것이라고 주장한다. 개념 의미론은 의미와 통사론을 엄격하게 구분하고, 의미와 인지 간의 관계를 탐구하기 위해 다양한 형식적 장치에 의존한다는 점에서 인지 의미론과 다르다.

전산 의미론은 자연어 표현의 의미가 컴퓨터에서 어떻게 표현되고 처리될 수 있는지를 탐구한다. 이는 종종 형식 의미론의 통찰력에 의존하며, 이를 전산적으로 해결할 수 있는 문제에 적용한다. 주요 문제로는 구성 요소를 분석하여 복합 표현의 의미를 계산하는 것, 중의성, 모호성, 맥락 의존성을 처리하는 것, 그리고 추출된 정보를 자동 추론에 활용하는 것 등이 있다. 이는 전산언어학, 인공지능, 인지 과학의 일부를 이룬다. 그 응용 분야로는 기계 학습과 기계 번역이 있다.

문화 의미론은 언어적 의미와 문화의 관계를 연구한다. 이는 서로 다른 언어의 개념 구조를 비교하고, 정치, 종교, 관습과 관련된 문화 현상 때문에 의미가 어떻게 진화하고 변화하는지에 관심을 가진다. 예를 들어, 호칭 관행은 문화적 가치와 사회적 위계를 암호화한다. 스페인어의 와 , 독일어의 와 와 같이 공손성의 차이를 보이는 표현이 있는 반면, 영어는 이러한 구분이 없으며 두 경우 모두 대명사 'you'를 사용한다. 밀접하게 관련된 분야로는 상호문화 의미론, 교차문화 의미론, 비교 의미론이 있다.

화용론적 의미론은 표현의 의미가 그것이 사용되는 상황에 의해 어떻게 형성되는지를 연구한다. 이는 의사소통적 의미가 일반적으로 맥락에 민감하며, 상호작용에 참여하는 사람, 그들이 공유하는 정보, 그들의 의도와 배경 가정에 달려 있다는 생각에 기반한다. 이는 언어적 표현이 단지 한 부분일 뿐인 의사소통 행위에 초점을 맞춘다. 일부 이론가들은 이러한 주제들을 의미론의 범위 내에 포함시키는 반면, 다른 이론가들은 이를 화용론이라는 별개의 학문의 일부로 간주한다.

## 의미 이론
의미 이론은 의미가 무엇인지, 표현이 어떤 의미를 가지는지, 그리고 표현과 의미 간의 관계가 어떻게 설정되는지를 설명한다.

### 지시적
thumb|alt=지시 이론 다이어그램|지시 이론은 의미를 표현이 가리키는 실체와 동일시한다.

지시 이론은 표현의 의미가 그것이 가리키는 실체라고 주장한다. 단칭항과 같은 이름의 의미는 그것이 지칭하는 개체이다. 예를 들어, 조지 워싱턴이라는 이름의 의미는 이 이름을 가진 사람이다. 일반 용어는 단일 개체가 아니라 이 용어가 적용되는 객체의 집합을 지칭한다. 이 점에서 '고양이'라는 용어의 의미는 모든 고양이의 집합이다. 유사하게, 동사는 일반적으로 행동이나 사건의 종류를 지칭하고 형용사는 개체와 사건의 속성을 지칭한다.

단순 지시 이론은 명확한 지시 대상이 없는 의미 있는 표현에 대해 문제에 직면한다. 페가수스와 산타클로스와 같은 이름은 존재하는 실체를 가리키지 않더라도 의미를 가진다. 다른 어려움은 다른 표현들이 같은 실체에 관한 경우이다. 예를 들어, 로저 배니스터와 4분 마일을 처음 뛴 남자는 같은 사람을 지칭하지만, 정확히 같은 것을 의미하지는 않는다. 이는 특히 신념에 대해 이야기할 때 관련이 있는데, 어떤 사람이 두 표현을 모두 이해하면서도 그것들이 같은 실체를 가리킨다는 것을 모를 수 있기 때문이다. 또 다른 문제는 '여기(here)'와 '나(I)'와 같은 직시 용어처럼 의미가 맥락에 따라 달라지는 표현들이다.

이러한 문제들을 피하기 위해 지시 이론은 종종 추가적인 장치를 도입한다. 일부는 의미를 직접적으로 객체와 동일시하지 않고 객체를 가리키는 함수와 동일시한다. 이 추가적인 수준은 표현의 맥락을 고려하는 장점이 있는데, 같은 표현이 한 맥락에서는 한 객체를 가리키고 다른 맥락에서는 다른 객체를 가리킬 수 있기 때문이다. 예를 들어, '여기(here)'라는 단어의 지시체는 그것이 사용되는 장소에 따라 달라진다. 밀접하게 관련된 접근 방식은 가능세계 의미론인데, 이는 표현이 실제 세계의 실체뿐만 아니라 다른 가능세계의 실체도 지시할 수 있도록 허용한다. 이 관점에 따르면, 4분 마일을 처음 뛴 남자와 같은 표현들은 서로 다른 세계에서 다른 사람들을 지시한다. 이 관점은 무엇이 가능하고 무엇이 필연적인지에 대한 문장을 분석하는 데도 사용될 수 있다: 가능성은 일부 가능세계에서 참인 것이고, 필연성은 모든 가능세계에서 참인 것이다.

### 관념적
[thumb|alt=관념 이론 다이어그램|관념 이론은 의미를 언어 사용자의 [정신 상태와 동일시한다.]]

관념 이론은 정신주의 이론이라고도 불리며, 표현의 지시에 주로 관심을 갖지 않고 대신 언어 사용자의 정신 상태를 통해 의미를 설명한다. 존 로크가 정교화한 역사적으로 영향력 있는 접근법 중 하나는 표현이 화자의 마음속에 있는 관념을 나타낸다고 주장한다. 이 관점에 따르면, '개(dog)'라는 단어의 의미는 사람들이 개에 대해 가지고 있는 관념이다. 언어는 화자에서 청중에게 관념을 전달하는 데 사용되는 매개체로 간주된다. 동일한 기호의 의미를 학습한 후, 화자는 마음속의 관념에 해당하는 기호를 생성할 수 있으며, 이 기호의 지각은 청중의 마음속에 동일한 관념을 불러일으킨다.

밀접하게 관련된 이론은 관념에 직접 초점을 맞추지 않고 의도에 초점을 맞춘다. 이 관점은 특히 폴 그라이스와 관련이 있는데, 그는 사람들이 일반적으로 청중에게 어떤 반응을 유발하기 위해 의사소통한다고 관찰했다. 그는 표현의 의미가 의도된 반응에 의해 주어진다고 주장했다. 이는 의사소통이 화자가 문자적으로 말한 것을 해독하는 것뿐만 아니라 그들의 의도나 왜 그렇게 말했는지에 대한 이해를 필요로 한다는 것을 의미한다. 예를 들어, 휘발유를 찾는 사람에게 "모퉁이에 주유소가 있다"고 말하는 것은 화자의 도움 의도 때문에 그곳에서 휘발유를 얻을 수 있다는 의미를 가진다. 이는 휘발유와 명시적인 연결이 없는 문자적 의미를 넘어선다.

### 인과적
인과 이론은 표현의 의미가 그것이 가지는 원인과 결과에 달려 있다고 주장한다. 행동주의 의미론(자극-반응 이론이라고도 함)에 따르면, 표현의 의미는 화자가 그것을 사용하도록 유도하는 상황과 청중에게 유발하는 반응에 의해 주어진다. 예를 들어, "불이야!"라고 외치는 것의 의미는 통제 불능의 화재의 존재와 그것을 통제하거나 안전을 찾는 시도에 의해 주어진다. 행동주의 의미론은 언어 학습이 자극-반응 쌍 형태의 행동 패턴을 채택하는 것으로 구성된다는 생각에 의존한다. 그 주요 동기 중 하나는 사적인 정신적 실체를 피하고 대신 공개적으로 관찰 가능한 언어 행동의 관점에서 의미를 정의하는 것이다.

또 다른 인과 이론은 이름의 의미에 초점을 맞추며, 이름과 이름 지어진 실체 사이의 연결을 확립하기 위해 명명 사건이 필요하다고 주장한다. 이 명명 사건은 일종의 세례 역할을 하여 인과 사슬의 첫 번째 연결을 확립하며, 그 이후의 모든 이름 사용은 이 사슬에 참여한다. 이 관점에 따르면, 플라톤이라는 이름은 고대 그리스 철학자를 지칭하는데, 어떤 시점에서 그가 원래 그렇게 이름 지어졌고 사람들이 그를 지칭하기 위해 이 이름을 계속 사용했기 때문이다. 이 관점은 원래 솔 크립키에 의해 이름에만 적용되도록 공식화되었지만, 다른 유형의 언어에도 적용되도록 확장되었다.

### 기타
진리조건 의미론은 문장의 의미를 그 진리 조건의 관점에서 분석한다. 이 관점에 따르면, 문장을 이해한다는 것은 문장이 참이기 위해 세상이 어떠해야 하는지 아는 것을 의미한다. 진리 조건 자체는 가능세계를 통해 표현될 수 있다. 예를 들어, "힐러리 클린턴이 2016년 미국 대통령 선거에서 이겼다"라는 문장은 실제 세계에서는 거짓이지만, 그것이 참인 몇몇 가능세계가 존재한다. 문장의 외연은 그 진리값으로 해석될 수 있으며, 그 내포는 그것이 참인 모든 가능세계의 집합이다. 진리조건 의미론은 검증주의 이론과 밀접하게 관련되어 있는데, 이는 문장이 참인지 평가하기 위한 일종의 검증 절차가 있어야 한다는 추가적인 아이디어를 도입한다. 이 이론들은 문장의 의미가 그것을 검증하는 방법이나 그것을 정당화하는 상황에 있다고 주장한다. 예를 들어, 과학적 주장은 종종 관측을 사용하여 그것을 확인하거나 반증하는 데 사용될 수 있는 예측을 한다. 검증주의에 따르면, 검증되거나 반증될 수 없는 문장은 무의미하다.

사용 이론은 표현의 의미가 그것이 활용되는 방식에 의해 주어진다고 주장한다. 이 관점은 루트비히 비트겐슈타인이 처음 도입했으며, 그는 언어를 언어 게임의 집합으로 이해했다. 표현의 의미는 게임 내에서 어떻게 사용되는지에 달려 있으며, 같은 표현이라도 다른 게임에서는 다른 의미를 가질 수 있다. 이 이론의 일부 버전은 의미를 규칙적인 사용 패턴과 직접 동일시한다. 다른 버전은 특정 사용이 주어진 사회에서 적절하다고 간주되는지 여부를 추가로 고려하여 사회 규범과 관습에 초점을 맞춘다.

추론주의 의미론, 즉 개념 역할 의미론은 표현의 의미가 좋은 추론의 전제와 결론에서 그것이 수행하는 역할에 의해 주어진다고 주장한다. 예를 들어, "x는 남성 형제이다"에서 "x는 형제이다"를 추론할 수 있고, "x는 형제이다"에서 "x는 부모가 있다"를 추론할 수 있다. 추론주의 의미론에 따르면, '형제(brother)'라는 단어의 의미는 이러한 추론과 유사한 모든 추론에 의해 결정된다.

## 역사
의미론은 19세기에 독립적인 탐구 분야로 확립되었지만, 의미론적 현상에 대한 연구는 고대부터 철학과 논리학의 일부로 시작되었다. 고대 그리스에서 플라톤 (기원전 427-347년)은 그의 대화편 크라틸로스에서 이름과 사물 간의 관계를 탐구했다. 이 대화편은 사물이 본성적으로 이름을 가진다는 자연주의적 입장과, 이름이 언어 사용자들 간의 관습과 규약에 의해 지시 대상과 관련된다는 규약주의적 입장을 다룬다. 아리스토텔레스 (기원전 384-322년)의 명제론은 이후 의미론 연구에 큰 영향을 미친 다양한 개념적 구분을 도입했다. 그는 음성 및 문자 단어가 정신적 개념을 불러일으키고, 이 개념들이 외부 사물과 유사함으로써 사물을 지시한다고 주장하며 의미론적 삼각형의 초기 형태를 개발했다. 그에게 정신적 개념은 모든 인간에게 동일하며, 그것들과 연관시키는 관습적인 단어들과는 달랐다. 스토아 학파는 이전 학자들의 많은 통찰력을 통합하여 논리학의 관점에서 복잡한 언어 이론을 개발했다. 그들은 이름, 보통명사, 동사 간의 대조와 같이 의미론적 및 통사론적 역할에 따라 다른 종류의 단어를 구별했다. 또한 진술, 명령, 금지 간의 차이점도 논의했다.

[thumb|alt=바르트리하리 그림|[바르트리하리는 단어 의미에 대한 다양한 의미론적 이론을 개발하고 비교했다.]]

고대 인도에서 아스티카 정통 학파인 니야야 학파는 모든 이름이 실제 대상을 지칭한다고 주장했다. 이 학파는 단어가 의미하는 바에 대한 이해로 어떻게 이어지는지, 그리고 이 관계가 지식 생성에 어떤 결과를 가져오는지 탐구했다. 미맘사 학파의 정통 학파 철학자들은 개별 단어와 전체 문장의 의미 간의 관계를 논의하면서 어느 것이 더 기본적인지에 대해 고찰했다. 바르트리하리 (4-5세기 CE)의 바키아파디야는 다양한 유형의 단어를 구별하고, 단어들이 사용되는 방식에 따라 어떻게 다른 의미를 가질 수 있는지를 고찰했다. 고대 중국에서 묵가 학파는 이름이 도덕적 행동을 안내하는 데 구별을 짓는 핵심적인 역할을 한다고 주장했다. 그들은 명가 학파에 영감을 주었고, 명가 학파는 이름과 실체 간의 관계를 탐구하면서 이름을 통해 실체를 식별하고 판단하는 방법론을 고찰했다.

[thumb|left|alt=아벨라르 동상|[피에르 아벨라르의 혁신 중 하나는 개별 단어의 의미보다는 문장 전체의 의미에 초점을 맞춘 것이었다.]]

중세 시대에 아우구스티누스 (354-430)는 다른 실체를 나타내고 지성에 전달하는 실체로서의 기호에 대한 일반적인 개념을 발전시켰다. 그는 자연 기호와 언어 기호를 공통 종에 속하는 다른 유형으로 구분하는 것을 처음 도입했다. 보이티우스 (480-528)는 아리스토텔레스의 저서 《명제론》을 번역하고 다양한 주석을 달았는데, 이는 그 주요 사상을 널리 알리고 스콜라주의 전통에서 의미론적 현상에 대한 성찰에 영감을 주었다. 피에르 아벨라르 (1079-1142) 의미론의 혁신 중 하나는 그의 선구자들 중 많은 이들이 개별 단어의 의미에 초점을 맞춘 것과 대조적으로 명제 또는 문장의 의미에 관심을 가졌다는 점이다. 그는 또한 보편자의 본질을 탐구했는데, 그는 보편자를 정신적 추상화에 의해 야기된 어떤 실체도 지시하지 않는 향명의 단순한 의미론적 현상으로 이해했다. 아랍 전통에서 이븐 파리스 (920-1004)는 의미를 화자의 의도와 동일시했으며, 아부 만수르 알-아즈하리 (895-980)는 의미가 직접적으로 언어에 존재하며 해석을 통해 추출되어야 한다고 주장했다.

중세 말기 중요한 주제는 범주어와 공범주어의 구분이었다. 범주어는 독립적인 의미를 가지며 현실의 일부를 지칭한다. 예를 들어 '말(horse)'과 '소크라테스'이다. 공범주어는 독립적인 의미가 부족하고 다른 의미론적 기능을 수행한다. 예를 들어 '몇몇(some)', '아니다(not)', '필연적으로(necessarily)'와 같은 단어들처럼 다른 표현의 의미를 수정하거나 양화하는 것이다. 의미에 대한 인과 이론의 초기 버전은 로저 베이컨 (약 1219/20–약 1292)이 제안했는데, 그는 사물이 사람들이 어떤 초기 세례를 통해 이름을 얻는 것과 유사하게 이름을 얻는다고 주장했다. 그의 아이디어는 모든 언어에서 발견되는 특정 보편적 구조가 있다고 주장한 사변 문법학자들의 전통에 영감을 주었다. 그들은 언어 수준의 의미 양식, 마음 수준의 이해 양식, 현실 수준의 존재 양식 간의 유추를 통해 이 결론에 도달했다.

초기 근대 시대에 토머스 홉스 (1588-1679)는 사람들이 자신의 생각을 떠올리기 위해 사적으로 사용하는 표식과 다른 사람들에게 자신의 생각을 전달하기 위해 공개적으로 사용하는 기호를 구분했다. 앙투안 아르노 (1612-1694)와 피에르 니콜 (1625-1695)은 그들의 포르루아얄 논리학에서 내포와 외연의 구분에 대한 초기 선구적 이론을 개발했다. 존 로크 (1632-1704)의 인간 오성론은 언어가 관념을 나타내고 한 마음에서 다른 마음으로 관념을 전달함으로써 사람들이 의사소통하는 데 도움을 준다는 영향력 있는 관념 이론 버전을 제시했다. 고트프리트 빌헬름 라이프니츠 (1646-1716)는 언어를 사고의 거울로 이해했으며, 과학적, 철학적 진리를 표현하기 위한 보편적 형식 언어의 윤곽을 구상하려고 노력했다. 이러한 시도는 이론가인 크리스티안 볼프 (1679-1754), 게오르크 베른하르트 빌핑거 (1693-1750), 요한 하인리히 람베르트 (1728-1777)에게 일반적인 기호 체계 과학에 대한 아이디어를 발전시키도록 영감을 주었다. 에티엔 보노 드 콩디야크 (1715-1780)는 라이프니츠의 사고의 언어적 본질에 대한 아이디어를 받아들이고 더 발전시켰다. 그는 로크와 달리 언어가 관념의 창조에 관여하며, 단순히 관념을 전달하는 매개체가 아니라고 주장했다.

[thumb|alt=미셸 브레알 사진|[미셸 브레알은 프랑스어 용어 를 만들고 이 탐구 분야의 범위를 개념화했다.]]

19세기에 의미론은 독립적인 탐구 분야로 부상하여 확고해졌다. 크리스티안 카를 라이시히 (1792-1829)는 의미론의 개념과 범위를 명확히 하고 그 핵심 아이디어에 다양한 공헌을 했기 때문에 때때로 의미론의 아버지로 불린다. 미셸 브레알 (1832-1915)은 그 뒤를 이어 분야에 대한 광범위한 개념을 제공했으며, 이를 위해 프랑스어 용어 를 만들었다. 존 스튜어트 밀 (1806-1873)은 사물을 지칭하는 이름의 역할에 큰 중요성을 부여했다. 그는 이름의 함축과 지시를 구분했으며, 명제는 이름을 결합하여 형성된다고 주장했다. 찰스 샌더스 퍼스 (1839-1914)는 기호학을 여러 하위 분야를 가진 일반적인 기호 이론으로 구상했으며, 이는 나중에 찰스 W. 모리스 (1901-1979)에 의해 통사론, 의미론, 화용론으로 식별되었다. 그의 화용론적 접근 방식에서 퍼스는 개념의 의미가 그 실제적 결과의 전체에 있다고 주장했다. 고틀로프 프레게 (1848-1925)의 철학은 여러 수준에서 의미론에 기여했다. 프레게는 뜻과 지시의 구분을 처음 도입했으며, 그의 술어 논리와 합성성 원리 개발은 형식 의미론의 많은 후속 발전을 위한 토대를 형성했다. 에드문트 후설 (1859-1938)은 표현에 의미를 부여하는 정신적 행위를 고려하여 현상학적 관점에서 의미를 탐구했다. 그는 의미가 항상 대상에 대한 지시를 암시하며, '초록색은' 또는 '혹은'과 같이 지시체가 부족한 표현은 무의미하다고 주장했다.

20세기에는 알프레트 타르스키 (1901-1983)가 진리 의미론을 통해 형식 언어의 진리를 정의했으며, 이는 도널드 데이비드슨 (1917-2003)에 의한 진리 조건 의미론 발전에 영향을 미쳤다. 타르스키의 제자 리처드 몬터규 (1930-1971)는 영어의 의미론에 대한 복합적인 형식 틀을 공식화했으며, 이는 형식 의미론을 주요 연구 분야로 확립하는 데 기여했다. 페르디낭 드 소쉬르 (1857-1913)의 구조주의 철학에서 영감을 받은 구조 의미론은 언어가 구조적 관계의 복합적인 망이며, 단어의 의미는 개별적으로 고정된 것이 아니라 이 망 내에서의 위치에 따라 달라진다고 주장했다. 일반 의미론 이론은 알프레드 코르지브스키 (1879-1950)에 의해 언어가 현실을 어떻게 표현하고 인간 사고에 어떻게 영향을 미치는지에 대한 탐구로 개발되었다. 조지 레이코프 (1941-현재)와 로널드 랭가커 (1942-현재)의 기여는 인지 의미론의 토대를 마련했다. 찰스 필모어 (1929-2014)는 이 분야의 주요 접근 방식인 틀 의미론을 개발했다. 밀접하게 관련된 분야인 개념 의미론은 레이 제켄도프 (1945-현재)에 의해 시작되었다.

## 여러 학문 분야에서
### 논리학

논리학자들은 올바른 논리적 추론을 연구하며, 종종 형식 언어를 개발하여 논증을 표현하고 그 정확성을 평가한다. 이 과정의 한 부분은 형식 언어의 용어들이 무엇을 의미하는지 정확하게 정의하기 위해 형식 언어에 대한 의미론을 제공하는 것이다. 형식 언어의 의미론은 일반적으로 수학 함수로 표현되는 규칙들의 집합으로, 형식 언어 표현에 의미를 할당한다. 예를 들어, 1차 논리의 언어는 개별 상수에 소문자를 사용하고 술어에 대문자를 사용한다. "버티는 개이다"라는 문장을 표현하기 위해 D(b) 공식을 사용할 수 있는데, 여기서 b는 버티에 대한 개별 상수이고 D는 개에 대한 술어이다. 고전적 모형 이론 의미론은 개별 상수를 특정 객체에 매핑하고 술어를 객체의 집합 또는 튜플에 매핑하는 해석 함수를 정의함으로써 이 용어들에 의미를 할당한다. 이 함수는 b를 버티에 매핑하고 D를 모든 개의 집합에 매핑한다. 이 방법으로 문장의 진리값을 계산할 수 있다. 즉, 버티가 개의 집합의 구성원이면 참이고 그렇지 않으면 거짓이다.

형식 논리학은 논증이 연역적으로 타당한지, 즉 전제가 결론을 수반하는지 여부를 결정하는 것을 목표로 한다. 수반은 통사론적 관점이나 의미론적 관점에서 정의될 수 있다. \vdash 기호로 표현되는 통사론적 수반은 추론 규칙에 의존하는데, 이는 전제를 변형하여 결론에 도달하는 절차로 이해될 수 있다. 이 절차는 통사론적 수준에서 전제의 논리적 형식만을 고려하고 그들이 표현하는 의미는 무시한다. \vDash 기호로 표현되는 의미론적 수반은 전제의 의미, 특히 그들의 진리값을 살펴본다. 결론은 전제의 참이 결론의 참을 보장할 때, 즉 전제에 참 값을 할당하는 모든 의미론적 해석 함수가 결론에도 참 값을 할당할 때 일련의 전제로부터 의미론적으로 따른다.

### 컴퓨터 과학

컴퓨터 과학에서 프로그램의 의미론은 컴퓨터가 프로그램을 실행할 때 어떻게 동작하는지를 의미한다. 의미론은 명령어들이 표현되는 특정 형태인 통사론과 대조된다. 동일한 동작은 일반적으로 다른 형태의 통사론으로 설명될 수 있다. 자바스크립트에서 `i += 1`과 `i = i + 1` 명령어는 변수 i의 값을 1 증가시키는 통사론적으로 다른 표현이다. 이러한 차이는 서로 다른 프로그래밍 언어에서도 나타나는데, 이들은 서로 다른 통사론에 의존하지만, 의미론적 수준에서는 일반적으로 동일한 동작을 가진 프로그램을 만드는 데 사용될 수 있기 때문이다.

정적 의미론은 프로그램의 컴파일에 영향을 미치는 의미론적 측면에 초점을 맞춘다. 특히, 자료형 오류와 같이 통사론적으로 올바른 프로그램의 오류를 감지하는 것과 관련이 있다. 자료형 오류는 호환되지 않는 자료형을 연산이 받을 때 발생한다. 예를 들어, 숫자 계산을 수행하는 함수에 숫자 대신 문자열이 인수로 주어질 때 이러한 오류가 발생한다. 동적 의미론은 프로그램의 런타임 동작, 즉 명령어 실행 중에 발생하는 일에 초점을 맞춘다. 동적 의미론의 주요 접근 방식은 표시적 의미론, 공리적 의미론, 동작적 의미론이다. 표시적 의미론은 수학적 형식주의에 의존하여 코드의 각 요소의 효과를 설명한다. 공리적 의미론은 연역 논리를 사용하여 프로그램 실행 전후에 어떤 조건이 갖춰져야 하는지 분석한다. 동작적 의미론은 프로그램 실행을 일련의 단계로 해석하며, 각 단계는 하나의 상태에서 다른 상태로의 전환을 포함한다.

### 심리학

심리 의미론은 의미의 심리학적 측면을 탐구한다. 이는 의미가 인지적 수준에서 어떻게 표현되고 언어를 이해하고 생성하는 데 어떤 정신적 과정이 관여하는지 연구한다. 또한 언어와 지각 경험 간의 관계와 같이 의미가 다른 정신적 과정과 어떻게 상호작용하는지도 조사한다. 다른 문제로는 사람들이 새로운 단어를 학습하고 이를 친숙한 사물 및 개념과 연결하는 방법, 이전에 들어보지 못한 복합 표현의 의미를 추론하는 방법, 중의적 표현을 해결하는 방법, 의미론적 착시가 문장을 잘못 해석하게 만드는 방법 등이 있다.

주요 주제 중 하나는 의미 기억인데, 이는 언어, 개념, 사실에 대한 지식을 포함하는 보편 지식의 한 형태이다. 이는 사람이 자신의 삶에서 경험한 사건들을 기록하는 일화 기억과 대조된다. 언어 이해는 의미 기억과 그것이 담고 있는 단어 의미에 대한 정보에 의존한다. 일반적인 관점에 따르면, 단어 의미는 그 의미 자질과 관련하여 저장되고 처리된다. 자질 비교 모델은 "로빈은 새이다"와 같은 문장이 심리적 수준에서 로빈이라는 단어의 의미 자질과 새라는 단어의 의미 자질을 비교하여 평가된다고 주장한다. 의미 자질이 유사한 경우, 즉 예시가 일반 범주의 프로토타입인 경우 평가 과정은 빠르다. "펭귄은 새이다"와 같은 비전형적인 예시의 경우, 의미 자질의 중복이 적고 심리적 과정은 상당히 느리다.

## 같이 보기
* 반의어
* 

## 각주
### 내용주

### 인용

### 출처

* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## 외부 링크
* 


분류:의미론 (언어학)
분류:의미론 (논리학)
분류:문법
분류:논리학 개념