의미론

의미론은 언어적 의미를 연구하는 학문입니다. 의미가 무엇인지, 단어가 어떻게 의미를 얻는지, 복잡한 표현의 의미가 부분에 따라 어떻게 달라지는지를 살펴봅니다. 이 과정의 일부는 감각과 참조의 구별을 포함합니다. 감각은 표현과 관련된 개념과 개념에 의해 주어지며, 참조는 표현이 가리키는 대상입니다. 의미론은 단어를 배열하여 문장을 만드는 방법을 지시하는 규칙을 연구하는 구문론과 사람들이 의사소통에서 언어를 사용하는 방법을 연구하는 실용주의와 대조됩니다.

어휘 의미론은 단어 의미를 연구하는 의미론의 한 분야입니다. 단어가 하나 또는 여러 의미를 갖는지, 그리고 단어들이 어떤 어휘 관계에 서 있는지를 조사합니다. 구문 의미론은 구성성의 현상을 탐구하거나 단어를 배열함으로써 새로운 의미를 생성할 수 있는 방법을 탐구하여 문장의 의미를 연구합니다. 형식적 의미론은 언어와 의미 사이의 관계에 대한 정확한 틀을 제공하기 위해 논리와 수학에 의존합니다. 인지 의미론은 심리학적 관점에서 의미를 조사하고 언어 능력과 세계를 이해하는 데 사용되는 개념 구조 사이의 밀접한 관계를 가정합니다. 의미론의 다른 분야에는 개념 의미론, 계산 의미론 및 문화 의미론이 있습니다.

의미 이론은 의미의 본질과 표현이 어떻게 그것을 부여받는지에 대한 일반적인 설명입니다. 참고 이론에 따르면 표현의 의미는 현실이 가리키는 부분입니다. 관념 이론은 언어 사용자의 마음에서 표현이 불러일으키는 개념과 같은 정신 상태와 의미를 식별합니다. 인과론에 따르면, 의미는 원인과 결과에 의해 결정되며, 행동주의 의미론은 자극과 반응의 관점에서 분석합니다. 그 밖의 의미론에는 진리조건부 의미론, 검증주의 이론, 사용 이론, 추론주의 의미론 등이 있습니다.

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

정의 및 관련 필드

의미론은 언어의 의미를 연구하는 학문입니다.^[1] 언어적 의미가 무엇인지, 어떻게 발생하는지를 살펴보는 체계적인 탐구입니다.^[2] 형태소, 단어, 절, 문장, 텍스트와 같은 다양한 구성 요소의 층위에서 표현이 어떻게 형성되는지, 구성 요소의 의미가 서로 어떤 영향을 미치는지 조사합니다.^[3] 의미론은 영어와 같은 특정 언어에 초점을 맞출 수 있지만 가장 넓은 의미에서는 모든 언어와 관련된 의미 구조를 조사합니다.^[4][a][b] 기술적인 학문으로서 사람들이 특정 표현과 어떤 의미를 결부시켜야 하는지를 규정하지 않고 의미가 어떻게 작동하는지를 결정하는 것을 목표로 합니다.^[7] 그것의 핵심 질문 중 일부는 "어떻게 단어의 의미가 결합되어 문장의 의미를 만들까요?", "의미는 언어 사용자의 마음과 어떻게 관련되며 단어가 가리키는 것과 어떻게 관련이 있을까요?", "단어가 의미하는 것과 그것이 사용되는 맥락 사이의 연결은 무엇일까요?"^[8]입니다. 의미론에 관여하는 주요 학문은 언어학, 기호학, 철학입니다.^[9] 의미론은 탐구 분야로서의 의미 외에도 진리 조건부 의미론과 ^[10]같은 이 분야 내의 이론과 요정이라는 단어의 의미론과 같은 특정 표현의 의미도 참조할 수 있습니다.^[11]

연구 분야로서 의미론은 내적 측면과 외적 측면을 모두 가지고 있습니다. 내적인 측면은 단어들과 그것들이 불러일으키는 정신적 현상들, 즉 아이디어와 개념적 표현들 사이의 연관성에 관심이 있습니다. 외적인 측면에서는 단어가 어떻게 세상의 대상을 가리키는지, 어떤 조건에서 문장이 참인지를 조사합니다.^[12]

많은 관련 학문이 언어와 의미를 조사합니다. 의미론은 언어의 독특한 측면에 초점을 맞춘 언어학의 다른 하위 분야와 대조됩니다. 음운론은 언어에서 사용되는 다양한 종류의 소리와 소리가 어떻게 연결되어 단어를 형성하는지를 연구하고 구문론은 문장을 만들기 위해 단어를 배열하는 방법을 결정하는 규칙을 조사합니다. 이러한 구분은 단어의 의미를 모르는 상태에서 발음할 줄 아는 경우와 같이 언어의 일부 측면을 숙달하는 것이 가능하다는 사실에 반영됩니다.^[13] 기호학의 하위 분야로서 의미론은 언어의 의미에 더 좁은 초점을 맞추는 반면 기호학은 언어적 기호와 비언어적 기호를 모두 연구합니다. 기호학은 비언어적 의사소통 행동의 의미, 전통적인 기호, 인간의 상호작용과 무관한 자연스러운 기호와 같은 추가적인 주제를 조사합니다. 신호 일치에 고개를 끄덕이는 것, 균일한 표시 순위의 줄무늬, 죽은 동물이 근처에 있다는 것을 나타내는 독수리의 존재 등이 그 예입니다.^[14]

의미론은 사람들이 의사소통에서 언어를 사용하는 방법에 관심이 있는 실용주의와 더욱 대조됩니다.^[15] '내가 말하는 게 그거야' 같은 표현은 누가, 어떤 상황에서 말하느냐에 따라 여러 가지를 의미할 수 있습니다. 의미론은 표현의 가능한 의미, 즉 일반적으로 의미할 수 있는 것과 그렇지 않은 것에 관심이 있습니다. 이와 관련하여 맥락 독립적인 의미에 대한 연구로 정의되기도 합니다. 프래그매틱스는 이러한 가능한 의미 중 어떤 것이 특정한 경우에 관련이 있는지 조사합니다. 의미론과는 달리, 이 수행의 기반이 되는 일반적인 언어적 역량보다는 실제 수행에 관심이 있습니다.^[16] 여기에는 특정 주제에 대해 화자가 침묵을 지킨다면 어떤 의미인지와 같이 문자적으로 표현되지 않더라도 유추할 수 있는 추가적인 의미의 주제가 포함됩니다.^[17] 기호학자 찰스 W. 모리스(Charles W. Morris)는 의미론이 단어와 세계 사이의 관계를 연구하고, 실용주의는 단어와 사용자 사이의 관계를 조사하며, 구문은 서로 다른 단어 사이의 관계에 초점을 맞춘다고 주장합니다.^[18]

의미론은 단어와 그 의미가 역사의 과정에서 어떻게 변화했는지 연구하는 어원과 관련이 있습니다.^[7] 또 하나의 연결된 분야는 해석학으로 해석학의 예술 혹은 과학이며, 텍스트의 일반적인 해석과 특히 경전의 올바른 방법론에 관심이 있습니다.^[19] 메타의미론은 의미의 형이상학적 기초를 고찰하고 그것이 어디에서 비롯되었는지 또는 어떻게 발생하는지를 설명하는 것을 목표로 합니다.^[20]

의미론이라는 단어는 '부호와 관련이 있다'는 뜻의 고대 그리스어 형용사 의미론코스에서 유래했는데, 이는 부호의 명사인 s ē meion의 파생어입니다. 그것은 처음에는 의학적인 증상에 사용되었고 나중에야 언어적인 기호를 포함한 모든 유형의 기호에 대한 더 넓은 의미를 얻었습니다. 의미론이라는 단어는 언어학자 미셸 브렐이 19세기 말에 처음 도입한 프랑스어 의미론에서 영어로 들어갔습니다.^[21]

기본개념

의미.

의미론은 언어적 표현의 의미에 국한되어 언어의 의미를 연구합니다. 그것은 기호가 어떻게 해석되고 어떤 정보를 포함하는지에 관한 것입니다. 람이라는 용어의 의미를 성인 수컷 양으로 정의하는 것과 같이 동의어 표현이나 의역을 주어 사전적 정의에서 제공하는 단어의 의미가 그 예입니다.^[22] 의미론적으로 검토되지 않는 비언어적 의미는 여러 가지 형태가 있습니다. 행동과 정책은 그들이 봉사하는 목표와 관련하여 의미를 가질 수 있습니다. 종교나 영성과 같은 분야는 삶의 의미에 관심을 갖는데, 이는 삶에서 목적을 찾거나 존재의 의의를 찾는 것입니다.^[23]

언어적 의미는 다양한 수준에서 분석될 수 있습니다. 단어 의미는 어휘 의미론에 의해 연구되고 개별 단어의 표시를 조사합니다. 개라는 단어가 네 발 달린 가축의 개념과 관련이 있는 것처럼 종종 개체의 개념과 관련이 있습니다. 문장 의미는 구문 의미론 분야에 속하며 전체 문장의 표기에 관한 것입니다. 보통 "개가 내 파란 치마를 망쳤다"는 문장처럼 상황 유형에 적용되는 개념을 표현합니다.^[24] 문장의 의미를 명제라고 부르는 경우가 많습니다.^[25] 영어 문장 "나무는 녹색이다"와 독일어 문장 "der Baumist grün"과 같이 다른 문장이 같은 명제를 표현할 수 있습니다.^[26] 발화 의미는 실용주의자들에 의해 연구되며 특정한 상황에서의 표현의 의미에 관한 것입니다. 문장의 의미와 발화의 의미는 종종 아이러니한 경우와 같이 표현이 비문자적으로 사용되는 경우에서 분리됩니다.^[27]

의미론은 일반적인 사전 정의에서 발견되는 의미와 같이 표현이 갖는 대중적 또는 객관적 의미에 주로 관심이 있습니다. 이와 달리 화자의 의미는 개인이 표현과 연관시키는 사적 또는 주관적인 의미입니다. 바늘이라는 단어를 통증이나 약물과 연관 짓는 것처럼 문자 그대로의 의미에서 벗어날 수 있습니다.^[28]

감지 및 참조

의미는 종종 의미와 참조 측면에서 분석되며,^[30] 의도와 확장 또는 함축과 표시라고도 합니다.^[31] 식의 참조는 식이 가리키는 개체입니다. 표현의 감각은 그 대상을 가리키는 방식이나 그 대상을 해석하는 방식입니다. 예를 들어, 아침별과 저녁별이라는 표현은 2+2와 3+1이라는 표현이 같은 숫자를 가리키는 것처럼 같은 행성을 가리킵니다. 이러한 표현의 의미는 참조 수준이 아니라 감각 수준에 따라 다릅니다.^[32] 감각은 때때로 사람들이 어떤 표현이 가리키는 대상을 식별하는 것을 돕는 정신 현상으로 이해됩니다.^[33] 일부 의미론자들은 의미 분석에서 주로 감각에 초점을 두거나 주로 참조에 중점을 둡니다.^[34] 표현의 완전한 의미를 파악하기 위해서는 일반적으로 표현이 세계에서 어떤 개체를 지칭하는지, 어떻게 표현하는지 모두를 이해해야 합니다.^[35]

감각과 참조의 구별은 동일성 진술을 설명할 수 있으며, 이는 감각이 다른 두 표현이 어떻게 동일한 참조를 갖는지 보여주는 데 사용될 수 있습니다. 예를 들어, "아침별은 저녁별"이라는 문장은 유익하고 사람들은 그것으로부터 무엇인가를 배울 수 있습니다. 이에 비해 "아침별은 아침별"이라는 문장은 참고 수준뿐만 아니라 감각 수준에서도 표현이 동일하기 때문에 유익하지 않은 동음이의어입니다.^[36]

구성성

구성성은 언어가 의미를 구성하는 방법의 핵심 측면입니다. 그것은 복잡한 표현의 의미가 그 부분들의 의미들의 함수라는 생각입니다. 주자나, 소유, a와 dog라는 단어가 무엇을 의미하고 어떻게 결합되는지 이해함으로써 '주자나는 개를 소유한다'는 문장의 의미를 이해할 수 있습니다.^[37] 이런 점에서 문장과 같은 복잡한 표현의 의미는 단어의 글자를 보고 단어의 의미를 추론할 수 없고 대신 사전을 참조해야 하기 때문에 단어의 의미와 다릅니다.^[38]

구성성은 단어와 인지 자원의 양이 유한함에도 불구하고 사람들이 거의 무한한 수의 의미를 공식화하고 이해할 수 있는 방법을 설명하는 데 자주 사용됩니다. 사람들이 읽는 많은 문장은 이전에 본 적이 없는 문장이고 그럼에도 불구하고 이해할 수 있습니다.^[37]

구성성의 원리는 복잡한 표현의 의미가 단지 그 부분들과 그것들이 결합되는 방식에 의해 영향을 받는 것이 아니라 이러한 방식으로 완전히 결정된다는 것을 의미합니다. 이 주장이 맞는지, 아니면 부가적인 측면이 의미에 영향을 미치는지는 논란의 여지가 있습니다. 예를 들어, 문맥은 표현의 의미에 영향을 미칠 수 있습니다. "물통을 걷어차다"와 같은 관용구는 부분의 의미로 직접 환원될 수 없는 비유적 또는 비문자적 의미를 가지고 있습니다.^[37]

진실과 진실의 조건

진리는 세상을 정확하게 제시하는 진술의 속성이며 진리는 현실과 일치합니다. 진술이 사실인지 여부는 일반적으로 진술과 나머지 세계 사이의 관계에 달려 있습니다. 진술의 진실 조건은 진술이 진실이 되기 위해 세상이 필요로 하는 방식입니다. 예를 들어 하늘에서 빗방울이 떨어지는 것은 "밖에 비가 온다"는 문장의 진리조건에 속합니다. 진리조건이 성취되는 상황에서 사용된 경우, 즉 실제로 밖에 비가 오는 경우에 그 형은 참입니다.^[39]

진리 조건은 의미론에서 중심적인 역할을 하며 일부 이론은 의미를 분석하기 위해 진리 조건에만 의존합니다. 진술을 이해한다는 것은 일반적으로 진술이 참일 조건에 대한 생각을 가지고 있다는 것을 의미합니다. 조건 충족 여부를 모르더라도 이런 일이 발생할 수 있습니다.^[39]

기호 삼각형

의미의 삼각형이라고도 불리는 기호 삼각형은 언어, 언어 사용자, 세계의 관계를 설명하는 데 사용되는 모델로, 모델에 기호, 생각 또는 참조, 참조로 표시됩니다. 이 기호는 구어 또는 문자 형태로 언어적인 기호입니다. 이 모델의 핵심 아이디어는 이전 다이애딕 모델에서 가정한 것처럼 언어적 표현과 그것이 언급하는 것 사이에 직접적인 관계가 없다는 것입니다. 이것은 그림에서 기호와 참조 사이의 점선으로 표현됩니다.^[40]

이 모델은 대신 이 둘 사이의 관계가 제3의 구성 요소를 통해 매개된다고 주장합니다. 예를 들어, 사과라는 용어는 과일의 한 종류를 나타내지만 이 문자 줄과 해당 물리적 개체 사이에는 직접적인 연관성이 없습니다. 관계는 언어 사용자의 마음을 통해서만 간접적으로 성립됩니다. 그들이 그 상징을 볼 때, 그것은 정신적인 이미지나 개념을 불러일으키며, 그것은 물리적인 대상과의 연결을 확립합니다. 이러한 과정은 언어 사용자가 기호의 의미를 이전에 학습한 경우에만 가능합니다. 특정 기호의 의미는 특정 언어의 관습에 의해 결정됩니다. 동일한 심볼은 하나의 언어로 된 하나의 객체를 지칭할 수도 있고, 다른 언어로 된 다른 객체를 지칭할 수도 있고, 다른 언어로 된 어떤 객체도 지칭하지 않을 수도 있습니다.

다른이들

의미론적 현상을 설명하기 위해 다른 많은 개념들이 사용됩니다. 표현식의 의미론적 역할은 문장에서 수행하는 기능입니다. "소년이 공을 찼습니다"라는 문장에서 소년은 행동을 수행하는 요원의 역할을 가지고 있습니다. 공은 그 자체로 행동하는 것이 아니라 그 행동에 관여하거나 영향을 받는 것으로서 이 행동의 주제 또는 환자입니다. 동일한 개체는 누군가 자신을 자를 때처럼 에이전트와 환자가 될 수 있습니다. 예를 들어 칼로 무언가를 자를 때 도구가 도구일 때 도구의 의미론적 역할을 수행하는 데 사용되는 경우, 도구는 도구입니다. 어떤 문장의 경우, 어떤 행동도 묘사되지 않지만 소녀가 새를 볼 때와 같은 경험이 일어납니다. 이 경우 소녀는 경험자의 역할을 합니다. 다른 일반적인 의미론적 역할은 위치, 출처, 목표, 수혜자 및 자극입니다.^[41]

어휘 관계는 단어들이 어떻게 서로 맞설 수 있는지를 설명합니다. 두 단어는 자동차와 자동차처럼 동일하거나 매우 유사한 의미를 공유하거나 사고 구매하는 경우 동의어입니다. 반의어는 살아있는 것과 죽은 것의 대조 또는 빠르고 느린 것과 같은 반대되는 의미를 가지고 있습니다. 첫 번째 용어의 의미가 두 번째 용어의 의미에 포함되면 한 용어는 다른 용어의 대명사입니다. 예를 들어, 개미는 곤충의 대명사입니다. 프로토타입은 해당 유형의 특징적인 특징을 가진 대명사입니다. 로빈은 새의 원형이지만 펭귄은 그렇지 않습니다. 발음이 같은 두 단어는 밀가루와 꽃과 같은 동음이의어이고, 철자가 같은 두 단어는 금융기관으로서의 은행과 달리 강둑과 같은 동음이의어입니다.^[c] 비속어는 부분과 전체의 관계를 설명하는 동음이와 밀접한 관련이 있습니다. 예를 들어, 바퀴는 자동차의 대명사입니다.^[43] 하나의 표현이 가능한 두 가지 이상의 의미를 가지면 애매합니다. 어떤 경우에는 의도된 의미를 식별하기 위해 명확하지 않게 할 수 있습니다.^[44] 다의어는 머리라는 단어의 의미처럼 서로 다른 의미들이 서로 밀접하게 연관되어 있는 경우에 사용되며, 이는 인체의 최상위 부분이나 조직 내에서 최고위를 차지하는 사람을 지칭할 수 있습니다.^[43]

단어의 의미는 종종 의미적 특징이라고 불리는 의미 구성 요소로 세분화될 수 있습니다. 말이라는 단어는 애니메이트의 의미적 특징을 가지고 있지만 인간의 의미적 특징은 부족합니다. 단어의 모든 의미적 특징을 식별하여 단어의 의미를 완전히 재구성할 수 있는 것은 아닐 수 있습니다.^[45]

의미론적 또는 어휘적 분야는 모두 동일한 활동 또는 주제와 관련된 단어 그룹입니다. 예를 들어, 요리의 의미 분야에는 베이킹, 삶기, 향신료 및 팬과 같은 단어가 포함됩니다.^[46]

표현의 맥락은 표현이 사용되는 상황이나 상황을 말하며 시간, 위치, 화자 및 청중을 포함합니다. 또한 그 전후에 오는 텍스트의 다른 구절도 포함합니다.^[47] 문맥은 여기서 말하는 익살스러운 표현과 그녀가 말하는 비유적 표현과 같이 다양한 표현의 의미에 영향을 미칩니다.^[48]

문장의 참값에 영향을 주지 않고 항상 동일한 참조로 표현을 교환할 수 있다면 구문 환경은 확장적이거나 투명합니다. 예를 들어, "숫자 8은 짝수"라는 문장의 환경은 8이라는 표현을 태양계의 행성 수로 대체해도 진리값이 변하지 않기 때문에 확장적입니다. 집중적이거나 불투명한 컨텍스트의 경우 이러한 유형의 대체가 항상 가능한 것은 아닙니다. 예를 들어, "파코는 숫자 8이 짝수라고 믿는다"에 포함된 조항은 파코가 태양계의 행성 수가 8이라는 것을 모를 수 있기 때문에 강렬합니다.^[49]

의미론자들은 공통적으로 그들이 연구하는 언어인 대상 언어와 그들이 발견한 것을 표현할 때 사용하는 언어인 금속 언어를 구별합니다. 교수가 일본어를 사용하여 학생들에게 1차 논리의 언어를 해석하는 방법을 가르칠 때, 1차 논리의 언어는 대상 언어이고 일본어는 금속 언어입니다. 동일한 언어가 객체 언어와 금속 언어의 역할을 동시에 차지할 수 있습니다. 목적어에 속하는 엔트리 용어와 금속어에 속하는 정의 텍스트가 모두 영어에서 가져온 단일 언어 영어 사전의 경우입니다.^[50]

나뭇가지

어휘 의미론

어휘 의미론은 단어 의미를 연구하는 의미론의 하위 분야입니다.^[51] 개별 단어와 어휘 전체의 의미론적 측면을 조사합니다. 여기에는 두 용어가 동의어인지 아니면 반의어인지와 같은 단어 간의 어휘 관계에 대한 연구가 포함됩니다.^[52] 어휘 의미론은 단어가 공유하는 의미적 특징을 기반으로 단어를 분류하고 공통 주제에 의해 통합된 의미 필드로 그룹화합니다.^[53] 이 정보는 예를 들어 물리적 개체와 추상적 개체를 구분하고 물리적 개체를 사물과 개별적 개체로 세분화하여 어휘 지식을 구성하는 분류법을 만드는 데 사용됩니다.^[54] 또 다른 관심 주제는 다의성, 모호성, 모호성입니다.^[55]

어휘 의미론은 때때로 유사학과 단일 유사학의 두 가지 보완적인 접근법으로 나뉩니다. 기호학은 단어에서 시작하여 단어의 의미가 무엇인지 살펴봅니다. 단어가 하나 또는 여러 의미를 갖는지, 그리고 그 의미들이 서로 어떻게 관련되어 있는지에 관심이 있습니다. 단어에서 의미로 가는 대신 하나의 유사학은 의미에서 단어로 갑니다. 개념에서 시작하여 이 개념이 어떤 이름을 가지고 있는지, 특정 언어로 어떻게 표현될 수 있는지를 살펴봅니다.^[56]

일부 의미론자들은 어휘 의미론 분야에서 단어 이외의 어휘 단위에 대한 연구도 포함합니다. 날씨 아래 있는 것과 같은 복합적인 표현은 단위의 역할을 하는 비문자적인 의미를 가지며 부분의 직접적인 기능은 아닙니다. 또 다른 주제는 단어를 구성하는 형태소의 의미에 관한 것인데, 예를 들어 in- 및 d-와 같은 부정적 접두사가 무생물 및 부정직과 같이 단어가 속한 단어의 의미에 어떤 영향을 미치는지에 관한 것입니다.^[57]

구문 의미론

구문 의미론은 문장의 의미를 연구합니다. 구성성의 원리에 의존하여 복잡한 표현의 의미가 그 부분들의 결합에서 어떻게 발생하는지 탐구합니다.^[58][d] 서로 다른 부분은 주어, 술어 또는 논법으로 분석할 수 있습니다. 문장의 주어는 일반적으로 특정 개체를 지칭하고 술어는 주어의 특징이나 주어가 참여하는 사건을 설명합니다. 인수는 술어를 완성하기 위한 추가 정보를 제공합니다.^[60] 예를 들어, "Mary hit the ball"이라는 문장에서 Mary는 주어, hit는 술어, ball은 논항입니다.^[60] 보다 세분화된 분류는 에이전트, 환자, 테마, 위치, 출처 및 목표와 같은 단어의 서로 다른 의미 역할을 구별합니다.^[61]

동사는 일반적으로 술어의 역할을 하며 종종 서로 다른 표현 간의 연결을 설정하여 더 복잡한 의미 구조를 형성하는 데 도움이 됩니다. "베토벤은 슈베르트를 좋아한다"는 표현에서 동사 like는 좋아하는 대상에 like를 연결합니다.^[62] 다른 문장 부분은 새로운 연결을 형성하기보다는 의미를 수정합니다. 예를 들어 빨간색이라는 형용사는 빨간색 자동차라는 표현에서 다른 개체의 색을 수정합니다.^[63] 또 다른 구성 장치는 용어의 참조를 결정하는 데 사용되는 가변 바인딩입니다. 예를 들어, "베토벤을 좋아하는 여자"라는 표현의 마지막 부분은 어떤 여자를 의미하는지를 명시합니다.^[64] 구문 분석 트리를 사용하여 서로 다른 부분을 결합하는 데 사용되는 기본 계층을 표시할 수 있습니다.^[65] 동명사형과 같은 다양한 문법적 장치도 의미에 기여하며 문법적 의미론에 의해 연구됩니다.^[66]

형식적 의미론

형식적 의미론은 자연어의 의미를 분석하기 위해 논리와 수학의 형식적 도구를 사용합니다.^[e] 표현과 표현 사이의 관계를 명확히 하기 위해 정확한 논리 형식주의를 개발하는 것을 목표로 합니다.^[68] 주요 작업 중 하나는 언어가 세계를 어떻게 표현하는지에 대한 프레임워크를 제공하는 것입니다. 예를 들어 존재론적 모델을 사용하여 언어 표현이 해당 모델의 개체에 어떻게 매핑되는지 보여주는 것입니다.^[68] 일반적인 생각은 단어는 개별 객체 또는 객체 그룹을 가리키고 문장은 사건 및 상태와 관련이 있다는 것입니다. 문장은 세계에 대한 설명이 존재론적 모델과 일치하는지 여부에 따라 진리 값에 매핑됩니다.^[69]

형식적 의미론은 형식적 메커니즘을 사용하여 정량화, 강도, 명사구, 복수형, 질량 용어, 시제 및 형식과 같은 언어 현상을 나타내는 방법을 추가로 검토합니다.^[70] 몬태규 의미론은 수학적 논리를 사용하여 영어가 어떻게 표현될 수 있는지에 대한 자세한 분석을 제공하는 형식 의미론의 초기 이론이자 영향력 있는 이론입니다. 고차 논리, 람다 미적분학, 유형 이론에 의존하여 서로 다른 구문 범주에 속하는 표현의 조합을 통해 의미가 어떻게 생성되는지 보여줍니다.^[71]

동적 의미론은 시간이 지남에 따라 정보가 어떻게 성장하는지에 초점을 맞춘 형식적 의미론의 하위 분야입니다. 그에 따르면, "의미는 맥락 변화 가능성"입니다: 문장의 의미는 문장이 담고 있는 정보가 아니라 문장이 맥락에 상대적으로 가져오는 정보 변화에 의해 주어집니다.^[72]

인지 의미론

인지 의미론은 의미의 문제를 심리학적 관점에서 연구하거나 언어 사용자의 마음이 의미에 어떤 영향을 미치는지 연구합니다. 인지언어학의 하위 학문으로서 언어를 세계를 이해하고 나타내기 위해 사용되는 개념 구조와 밀접한 관련이 있는 폭넓은 인지 능력으로 봅니다.^[73][f] 인지적 의미론자들은 언어적 지식과 세계에 대한 지식을 예리하게 구분하지 않고 상호 연관된 현상으로 보고 있습니다.^[75] 그들은 공간, 시간, 인과관계, 행동과 같은 매우 일반적인 영역에서 언어와 인간의 인지 사이의 상호작용이 개념 조직에 어떻게 영향을 미치는지 연구합니다.^[76] 프로파일과 베이스의 대조는 때때로 기본 지식 구조를 설명하는 데 사용됩니다. 언어적 표현의 프로파일은 지식 구조의 측면이며, 베이스는 관심의 중심에 있지 않고 이 측면의 맥락을 제공하는 배경입니다.^[77] 예를 들어, 빗변이라는 단어의 프로파일은 직선이고 밑변은 빗변이 부분을 이루는 직각 삼각형입니다.^[78][g]

인지 의미론은 언어 전반에 걸쳐 개념 패턴과 언어 유형을 더 비교하고 인간의 인지적 개념 구조가 언어적 배경에 비해 어느 정도 보편적인지 또는 상대적인지를 고려합니다.^[80] 또 다른 연구 주제는 문법 적용과 관련된 심리적 과정에 관한 것입니다.^[81] 조사된 다른 현상으로는 서로 다른 개체를 동일한 방식으로 간주하여 정보 과부하를 피하기 위한 인지 휴리스틱으로 이해되는 범주화와 ^[82]언어 사용자의 신체 경험이 표현의 의미에 미치는 영향에 관한 실시예가 있습니다.^[83]

프레임 의미론은 인지 의미론의 중요한 하위 분야입니다.^[84] 용어의 의미를 서로 분리해서 이해할 수는 없으며, 이들이 의존하는 개념 구조의 배경에 대한 분석이 필요하다는 것이 핵심적인 생각입니다. 이러한 구조는 의미론적 프레임 측면에서 명시적입니다. 예를 들어, 신부, 신랑, 신혼여행과 같은 단어들은 결혼이라는 프레임을 마음속에 불러일으킵니다.^[85]

다른이들

개념적 의미론은 인간이 세계를 어떻게 개념화하고 경험하는지를 살펴봄으로써 심리학적 관점에서 언어적 의미를 연구한다는 개념을 인지적 의미론과 공유합니다. 의미는 표현이 가리키는 대상이 아니라 사고, 인식, 행동을 연결하는 인간 개념의 인지 구조에 관한 것이라고 주장합니다. 개념적 의미론은 의미와 구문의 엄격한 구분을 도입하고 다양한 형식적 장치에 의존하여 의미와 인지의 관계를 탐구함으로써 인지적 의미론과 다릅니다.^[86]

계산 의미론은 자연어 표현의 의미가 컴퓨터에서 어떻게 표현되고 처리될 수 있는지를 조사합니다.^[87] 형식적 의미론의 통찰력에 의존하여 계산적으로 해결할 수 있는 문제에 적용하는 경우가 많습니다.^[88] 복잡한 표현의 의미를 분석하고 모호성, 모호성, 모호성 및 맥락 의존성을 처리하고 추출된 정보를 자동 추론에 사용하여 계산하는 것이 핵심 문제 중 일부입니다.^[89] 컴퓨터 언어학, 인공 지능 및 인지 과학의 일부를 형성합니다.^[87] 응용 프로그램에는 기계 학습 및 기계 번역이 포함됩니다.^[90]

문화적 의미론은 언어적 의미와 문화 사이의 관계를 연구합니다. 서로 다른 언어의 개념 구조를 비교하고 정치, 종교, 관습과 관련된 문화 현상으로 인해 의미가 어떻게 진화하고 변화하는지에 관심이 있습니다.^[91] 예를 들어, 주소 관행은 문화적 가치와 사회적 계층 구조를 암호화하는데, 스페인어로 tu와 used, 독일어로 du와 sie와 같은 표현의 정중함의 차이와 영어와 달리 이러한 차이가 없고 어느 경우에나 당신이라는 대명사를 사용합니다.^[92] 밀접하게 관련된 분야는 문화 간 의미론, 문화 간 의미론, 비교 의미론입니다.^[93]

실용적 의미론은 표현의 의미가 사용되는 상황에 따라 어떻게 형성되는지 연구합니다. 의사소통적 의미는 대개 맥락에 민감하며, 누가 교환에 참여하고 어떤 정보를 공유하는지, 그들의 의도와 배경 가정이 무엇인지에 따라 달라진다는 생각에 기초하고 있습니다. 언어적 표현이 하나의 부분만을 형성하는 의사소통적 행동에 초점을 맞추고 있습니다. 어떤 이론가들은 이러한 주제들을 의미론의 범위에 포함시키고, 또 다른 이론가들은 이러한 주제들을 실용주의의 별개의 학문의 일부로 간주합니다.^[94]

의미론

의미이론은 의미가 무엇인지, 표현은 어떤 의미를 갖는지, 표현과 의미의 관계가 어떻게 성립하는지를 설명합니다.^[95]

참고인

참조 이론은 표현의 의미가 표현이 가리키는 개체라고 말합니다.^[96] 이름과 같은 단일 용어의 의미는 그들이 언급하는 개인입니다. 예를 들어, 조지 워싱턴이라는 이름의 의미는 이 이름을 가진 사람입니다.^[97] 일반 용어는 단일 개체가 아니라 이 용어가 적용되는 개체 집합을 나타냅니다. 이 점에서 고양이라는 용어의 의미는 모든 고양이의 집합입니다.^[98] 마찬가지로 동사는 일반적으로 행동이나 사건의 클래스를 나타내고 형용사는 개인과 사건의 속성을 나타냅니다.^[99]

단순 참조 이론은 명확한 참조가 없는 의미 있는 표현에 문제가 있습니다. 페가수스나 산타클로스 같은 이름은 기존의 존재를 가리키는 것이 아니라도 의미가 있습니다.^[100] 다른 어려움은 서로 다른 표현이 동일한 개체에 관한 경우에 관한 것입니다. 예를 들어, 로저 배니스터(Roger Bannister)와 4분 거리를 달린 첫 번째 사람이라는 표현은 같은 사람을 지칭하지만 정확히 같은 의미는 아닙니다.^[101] 이것은 믿음에 대해 말할 때 특히 관련이 있습니다. 왜냐하면 사람들은 두 표현이 같은 실체를 가리키고 있다는 것을 알지 못한 채 이해할 수 있기 때문입니다.^[102] 여기와 I라는 신조어처럼 문맥에 따라 의미가 달라지는 표현은 또 다른 문제를 제공합니다.^[103]

이러한 문제를 피하기 위해 참조 이론에서는 추가 장치를 도입하는 경우가 많습니다. 일부는 객체로 직접 의미를 파악하지 않고 객체를 가리키는 함수로 의미를 파악합니다. 이 추가 레벨은 동일한 표현이 하나의 컨텍스트에서 하나의 객체를 가리킬 수 있고 다른 컨텍스트에서 다른 객체를 가리킬 수 있기 때문에 표현의 컨텍스트를 고려할 수 있는 장점이 있습니다. 예를 들어, 여기서 단어의 참조는 단어가 사용되는 위치에 따라 달라집니다.^[104] 밀접하게 관련된 접근 방식은 가능한 세계 의미론이며, 이를 통해 표현식이 실제 세계의 개체뿐만 아니라 가능한 다른 세계의 개체도 참조할 수 있습니다.^[h] 이 견해에 따르면, 4분 거리를 달린 첫 번째 사람과 같은 표현은 다른 세계에 있는 다른 사람들을 나타냅니다. 이 견해는 또한 가능한 것 또는 필요한 것에 대해 말하는 문장을 분석하는 데 사용될 수 있습니다: 가능성은 일부 가능한 세계에서 참인 것이고 필요성은 모든 가능한 세계에서 참인 것입니다.^[106]

아이디얼

정신주의 이론이라고도 불리는 관념론은 주로 표현의 참조에 관심이 없으며 대신 언어 사용자의 정신 상태 측면에서 의미를 설명합니다.^[107] 존 로크(John Locke)가 설명한 역사적으로 영향력 있는 접근 방식 중 하나는 표현이 화자의 마음에 있는 아이디어를 의미한다고 주장합니다. 이 견해에 따르면, 개라는 단어의 의미는 사람들이 개에 대해 가지고 있는 생각입니다. 언어는 화자로부터 청중에게 아이디어를 전달하는 데 사용되는 매체로 여겨집니다. 화자는 기호에 대한 동일한 의미를 학습한 후, 자신의 마음속에 있는 아이디어에 해당하는 기호를 생성할 수 있고, 이 기호에 대한 인식은 청중의 마음속에 동일한 아이디어를 불러일으킵니다.^[108]

밀접하게 관련된 이론은 직접적인 아이디어가 아니라 의도에 초점을 맞춥니다.^[109] 이 견해는 특히 폴 그라이스와 연관이 있는데, 그는 사람들이 보통 청중들에게 어떤 반응을 일으키도록 의사소통을 한다고 관찰했습니다. 그는 표현의 의미는 의도된 반응에 의해 주어진다고 생각했습니다. 이것은 의사소통이 단순히 화자가 말 그대로 한 것을 해독하는 것이 아니라 그들의 의도나 그들이 말한 이유에 대한 이해가 필요하다는 것을 의미합니다.^[110] 예를 들어, 휘발유를 찾는 사람에게 "코너 주변에 차고가 있다"고 말하는 것은 화자가 도와주려는 의도 때문에 휘발유를 얻을 수 있다는 의미입니다. 이는 휘발유와 명시적인 연관성이 없는 문자 그대로의 의미를 넘어선 것입니다.^[111]

인과관계

인과이론에 따르면 표현의 의미는 표현이 갖는 원인과 결과에 따라 달라진다고 합니다.^[112] 자극-반응 이론이라고도 불리는 행동주의 의미론에 따르면, 표현의 의미는 화자가 표현을 사용하도록 촉구하는 상황과 그것이 청중에게 유발하는 반응에 의해 주어집니다.^[113] 예를 들어, "불이야!"를 외치는 것의 의미는 통제되지 않는 불이 존재하고 그것을 통제하거나 안전을 추구하는 것에 의해 주어집니다.^[114] 행동주의 의미론은 언어를 학습하는 것이 자극-반응 쌍의 형태로 행동 패턴을 채택하는 것으로 구성된다는 생각에 의존합니다.^[115] 그 핵심 동기 중 하나는 사적인 정신적 실체를 피하고 공개적으로 관찰 가능한 언어 행동의 관점에서 의미를 정의하는 것입니다.^[116]

또 다른 인과론은 이름의 의미에 초점을 맞추고 이름과 이름 실체 사이의 연결을 확립하기 위해서는 이름 사건이 필요하다고 주장합니다. 이 명명 이벤트는 이름의 모든 후속 사용이 참여하는 인과 사슬의 첫 번째 연결을 설정하는 세례의 형태로 작용합니다.^[117] 이 견해에 따르면 플라톤이라는 이름은 고대 그리스 철학자를 지칭하는데, 그는 원래 어느 시점에서 이렇게 명명되었고 사람들은 그를 지칭하기 위해 계속 이 이름을 사용했기 때문입니다.^[118] 이 견해는 원래 이름에만 적용하기 위해 사울 크립케에 의해 공식화되었지만 다른 유형의 말에도 적용할 수 있도록 확장되었습니다.^[119]

다른이들

진리조건 의미론은 문장의 의미를 진리조건의 관점에서 분석합니다. 이 견해에 따르면, 문장을 이해한다는 것은 문장이 참이 되기 위해 세상이 어떻게 되어야 하는지 아는 것을 의미합니다.^[120] 진리조건 자체는 가능한 세계를 통해 표현될 수 있습니다. 예를 들어, "Hillary Clinton이 2016년 미국 대통령 선거에서 이겼습니다"라는 문장은 실제 세계에서는 거짓이지만, 그것이 사실일 가능성이 있는 세계도 있습니다.^[121] 문장의 확장은 그것의 진리값으로 해석될 수 있는 반면, 그것의 의도는 그것이 참인 모든 가능한 세계의 집합입니다.^[122] 진리조건부 의미론은 검증주의 이론과 밀접한 관련이 있으며, 이 이론은 문장의 참 여부를 평가하기 위해 일종의 검증 절차가 있어야 한다는 추가적인 생각을 도입합니다. 그들은 문장의 의미가 그것을 검증하는 방법이나 그것을 정당화하는 상황에 있다고 말합니다.^[123] 예를 들어, 과학적 주장은 종종 예측을 하는데, 이는 관찰을 통해 이를 확인하거나 확인하지 못하는 데 사용될 수 있습니다.^[124] 검증주의에 따르면 검증도 위변조도 할 수 없는 문장은 의미가 없습니다.^[125]

사용 이론에 따르면 표현의 의미는 표현이 사용되는 방식에 따라 부여됩니다. 이 견해는 언어를 언어 게임의 집합체로 이해한 루트비히 비트겐슈타인에 의해 처음 소개되었습니다. 표현의 의미는 게임 내에서 어떻게 사용되는지에 따라 다르며 동일한 표현이 다른 게임에서 다른 의미를 가질 수 있습니다.^[126] 이 이론의 일부 버전은 정기적인 사용 패턴과 직접적인 의미를 식별합니다.^[127] 다른 사람들은 특정한 사용이 주어진 사회에서 적절한 것으로 간주되는지 여부를 추가로 고려하여 사회적 규범과 관습에 초점을 맞춥니다.^[128]

개념적 역할 의미론이라고도 불리는 추론적 의미론은 표현의 의미가 좋은 추론의 전제와 결론에서 수행하는 역할에 의해 주어진다고 주장합니다.^[129] 예를 들어, "x는 남자 형제"로부터 "x는 형제"라고 추론할 수 있고, "x는 형제"로부터 "x는 부모가 있다"고 추론할 수 있습니다. 추론주의 의미론에 따르면 형제라는 단어의 의미는 이것들과 이끌어낼 수 있는 모든 유사한 추론에 의해 결정됩니다.^[130]

역사

의미론은 19세기에 독립적인 탐구 분야로 확립되었지만 의미론적 현상에 대한 연구는 철학과 논리의 일부로서 고대 시대에 일찍 시작되었습니다.^[131][i] 고대 그리스에서 플라톤 (427–347 BCE)은 그의 대화 크라틸로스에서 이름과 사물 사이의 관계를 탐구했습니다. 사물은 본래 이름을 가지고 있다고 보는 자연주의와 언어 사용자들 사이의 관습과 관습에 의해 이름이 그들의 참조와 관련이 있다고 보는 관습주의의 입장을 고려합니다.^[133] 아리스토텔레스의 해석에 관한 책 (384–322 BCE)은 의미론에서 후속 작업에 큰 영향을 미친 다양한 개념적 차이를 소개했습니다. 그는 말과 글이 외적인 것을 지칭하는 정신적 개념을 연상시키는 것을 말과 글이 유사하게 하여 의미 삼각형의 초기 형태를 발전시켰습니다. 그에게 정신적 개념은 모든 인간에게 동일하며, 그 개념과 연관되는 전통적인 단어와는 다릅니다.^[134] 스토아학파는 논리학의 관점을 통해 복잡한 언어 이론을 개발하기 위해 전임자들의 많은 통찰력을 통합했습니다. 그들은 이름, 일반 명사, 동사 간의 대조와 같은 의미론적이고 통사적인 역할로 다양한 종류의 단어를 구별했습니다. 그들은 또한 진술, 명령 및 금지 간의 차이점에 대해 논의했습니다.^[135]

고대 인도에서 냐야의 정통 학파는 모든 이름이 실제 물체를 가리킨다고 주장했습니다. 단어가 의미하는 것에 대한 이해로 어떻게 이어지는지, 그리고 이 관계가 지식의 창조에 어떤 결과를 가져오는지 탐구했습니다.^[137] 정통 ī의 철학자들은 어떤 것이 더 기본적인지를 고민하면서 개별 단어와 전체 문장의 의미 사이의 관계에 대해 논의했습니다. 바르트 ṛ하리(4-5세기)의 책 '바야파드 ī야'는 서로 다른 종류의 단어들을 구분하고, 그것들이 어떻게 사용되는지에 따라 어떻게 다른 의미를 전달할 수 있는지를 고찰했습니다. 고대 중국에서 묵자들은 이름이 도덕적 행동을 인도하기 위해 구별을 하는 데 핵심적인 역할을 한다고 주장했습니다.^[140] 그들은 이름과 개체 간의 관계를 탐구하는 동시에 개체를 식별하고 판단하는 데 이름이 어떻게 필요한지를 조사하는 이름 학교에 영감을 주었습니다.^[141]

중세 시대에, 히포의 아우구스티누스 (354–430)는 다른 실체를 상징하고 지성에게 그것들을 전달하는 존재로서의 기호에 대한 일반적인 개념을 개발했습니다. 그는 자연 기호와 언어 기호의 구별을 공통 속에 속하는 다른 유형으로 처음 소개했습니다.^[142] 보에티우스 (480–528)는 아리스토텔레스의 책 해석에 대한 번역과 다양한 논평을 썼는데, 이 책은 그 주요 사상을 대중화하고 학문 전통의 의미론적 현상에 대한 성찰에 영감을 주었습니다.^[143] 피터 아벨라르 (1079–1142)의 의미론의 혁신은 많은 전임자들이 개별 단어의 의미에 초점을 맞춘 것과 대조적으로 명제 또는 문장의 의미에 대한 그의 관심이었습니다. 그는 더 나아가 어떤 실체도 언급하지 않는 정신적 추상성에 의해 발생하는 일반적인 이름의 단순한 의미론적 현상으로 이해하는 보편성의 본질을 탐구했습니다.^[144] 아랍 전통에서 이븐 파리스(920–1004)는 화자의 의도로 의미를 파악한 반면, 아부 만수르 알 아자리(895–980)는 의미가 직접적으로 말에 있으며 해석을 통해 추출할 필요가 있다고 여겼습니다.^[145]

중세 말의 중요한 주제는 범주론적 용어와 동기론적 용어의 구별이었습니다. 범주론적 용어는 독립적인 의미를 가지며 말이나 소크라테스처럼 현실의 일부를 나타냅니다. 동기화 용어는 독립적인 의미가 부족하고 일부 단어가 아닌 단어와 같이 다른 표현의 의미를 수정하거나 정량화하는 것과 같은 다른 의미 기능을 수행합니다.^[146] 인과적 의미 이론의 초기 버전은 로저 베이컨(Roger Bacon, 1219/20 – 1292)에 의해 제안되었는데, 그는 사물들이 일종의 초기 세례를 통해 사람들이 이름을 얻는 것과 유사한 이름을 얻는다고 주장했습니다.^[147] 그의 아이디어는 모든 언어에서 발견되는 특정한 보편적인 구조가 있다고 제안한 사변 문법가들의 전통에 영감을 주었습니다. 그들은 언어의 수준에 대한 의미화의 방식, 마음의 수준에 대한 이해의 방식, 현실의 수준에 대한 존재의 방식을 유추함으로써 이러한 결론에 도달했습니다.^[148]

근대 초기에 토마스 홉스 (1588–1679)는 사람들이 자신의 생각을 떠올리기 위해 사적으로 사용하는 기호와 자신의 생각을 다른 사람들에게 전달하기 위해 공적으로 사용하는 기호를 구분했습니다.^[149] 앙투안 아르놀트 (1612–1694)와 피에르 니콜 (1625–1695)은 그들의 '포트-로얄 논리'에서 의도와 확장 사이의 구별의 초기 전조를 발전시켰습니다.^[150] 존 로크(1632–1704)의 "인간 이해에 관한 에세이"는 어떤 단어가 생각을 상징하고 사람들이 한 마음에서 다른 마음으로 생각을 전달함으로써 의사소통을 돕는다는 이념적 의미 이론의 영향력 있는 버전을 제시했습니다.^[151] 고트프리트 빌헬름 라이프니츠 (1646–1716)는 언어를 생각의 거울로 이해하고 과학적이고 철학적인 진리를 표현하기 위해 보편적인 형식 언어의 윤곽을 구상하려고 노력했습니다. 이 시도는 이론가 크리스티안 볼프 (1679–1754), 게오르크 베른하르트 빌핑거 (1693–1750), 요한 하인리히 람베르트 (1728–1777)에게 영감을 주어 기호 체계의 일반적인 과학 개념을 개발했습니다.^[152] 에티엔 보노 드 콘딜락(Etienne Bonnot de Condillac, 1715–1780)은 사유의 언어적 본질에 대한 라이프니츠의 생각을 받아들이고 더욱 발전시켰습니다. 로크에 대항하여 그는 언어가 아이디어를 창조하는 데 관여하며 그것들을 전달하는 단순한 매개체가 아니라고 생각했습니다.^[153]

19세기에는 의미론이 독립적인 탐구의 장으로 등장하고 굳어졌습니다. 크리스티안 카를 레이식 (1792–1829)은 의미론의 개념과 범위를 명확히 하는 동시에 주요 아이디어에 다양한 기여를 했기 때문에 의미론의 아버지로 여겨집니다.^[154] 미셸 브레알(Michel Bréal, 1832–1915)은 그를 따라 분야에 대한 광범위한 개념을 제공했으며, 이를 위해 프랑스어 의미론이라는 용어를 만들었습니다.^[155] 존 스튜어트 밀 (1806–1873)은 사물을 나타내는 이름의 역할을 매우 중요하게 여겼습니다. 그는 이름의 함축과 표기를 구분하고, 이름이 합쳐져 명제가 형성된다고 여겼습니다.^[156] 찰스 샌더스 피어스(Charles Sanders Peirce, 1839–1914)는 기호학을 여러 하위 학문을 가진 일반적인 기호 이론으로 구상했으며, 이는 나중에 찰스 W. 모리스(Charles W. Morris, 1901–1979)에 의해 구문론, 의미론 및 실용주의로 확인되었습니다. 피어스는 의미론에 대한 실용주의적 접근법에서 개념의 의미가 그들의 실질적인 결과 전체로 구성된다고 주장했습니다.^[157] 고틀롭 프레게(Gottlob Frege, 1848–1925)의 철학은 다양한 수준의 의미론에 기여했습니다. 프레게는 감각과 참조의 구별을 처음 도입했고, 그의 술어 논리와 구성 원리의 발전은 형식적 의미론에서 많은 후속 발전의 기초를 형성했습니다.^[158] 에드먼드 후설(Edmund Husserl, 1859–1938)은 표현에 의미를 부여하는 정신적 행위를 고려하여 현상학적 관점에서 의미를 탐구했습니다. 그는 의미는 항상 대상에 대한 언급을 의미하며 녹색이 의미가 없거나 의미가 없다고 생각했습니다.^[159]

20세기에 알프레드 타르스키(1901–1983)는 도널드 데이비슨(1917–2003)에 의해 진리 조건부 의미론의 발전에 영향을 미친 진리에 대한 의미론을 통해 공식 언어로 진리를 정의했습니다.^[160] 타르스키(Tarski)의 제자인 리차드 몬태규(Richard Montague, 1930–1971)는 영어의 의미론에 대한 복잡한 형식적 틀을 공식화했으며, 이는 형식적 의미론을 연구의 주요 영역으로 확립하는 데 책임이 있었습니다.^[161] 페르디난트 드 소쉬르(Ferdinand de Saussure, 1857–1913)의 구조주의 철학에서 영감을 받은 ^[j]구조적 의미론에 따르면, 언어는 구조적 관계의 복잡한 네트워크이며 단어의 의미는 개별적으로 고정되지 않고 이 네트워크 내에서 그들의 위치에 따라 달라집니다.^[163] 일반 의미론은 알프레드 코르집스키(Alfred Korzybski, 1879–1950)에 의해 언어가 어떻게 현실을 나타내고 인간의 사고에 영향을 미치는지에 대한 탐구로서 개발되었습니다.^[164] 조지 라코프(George Lakoff, 1941–현재)와 로널드 랭커(Ronald Langacker, 1942–현재)의 공헌은 인지 의미론의 기초를 제공했습니다.^[165] Charles J. Fillmore(1929–2014)는 이 분야의 주요 접근법으로 프레임 의미론을 개발했습니다.^[166] Ray Jackendoff (1945–현재)는 밀접하게 관련된 개념 의미론 분야를 시작했습니다.^[167]

다양한 분야에서

논리

논리학자들은 올바른 추론을 연구하고 종종 논증을 표현하고 그 정확성을 평가하기 위해 공식 언어를 개발합니다.^[168] 이 프로세스의 한 부분은 공식 언어가 용어의 의미를 정확하게 정의하는 의미론을 제공하는 것입니다. 형식 언어의 의미론은 일반적으로 수학적 함수로 표현되는 일련의 규칙으로 형식 언어 표현에 의미를 할당합니다.^[169] 예를 들어, 1차 논리의 언어는 개별 상수의 경우 소문자를 사용하고 술어의 경우 대문자를 사용합니다. "Bertie is a dog"라는 문장을 표현하기 위해 수식 $D{\displaystyle (b)}$ ${\displaystyle D(b)}$를 사용할$$ 수 있으며, 여기서 $b{\displaystyle }$ ${\displaystyle b}$는 Bertie의 개별 상수이고 D ${\displaystyle D}$는 dog의 술어입니다. 고전적인 모델 이론적 의미론은 개별 상수를 특정 개체에 매핑하고 개체 또는 튜플 집합에 술어를 지정하는 해석 함수를 정의함으로써 이러한 용어에 의미를 할당합니다. 함수는 $b{\displaystyle }$ ${\displaystyle$ b$}$를 Bertie에 매핑하고 $D{\displaystyle }$ ${\displaystyle D}$를 모든 개 집합에 매핑합니다. 이렇게 하면 문장의 참값을 계산할 수 있습니다. 버티가 개 집합의 구성원이라면 참이고 그렇지 않으면 거짓입니다.^[170]

형식논리는 논증이 연역적으로 유효한지, 즉 전제가 결론을 수반하는지를 판단하는 것을 목표로 합니다.^[171] 수반은 구문 측면 또는 의미론 측면에서 정의될 수 있습니다. $기호$⊢ ${\displaystyle$vdash}로 표현되는 구문 수반은 추론 규칙에 의존하며, 이는 전제를 변환하고 결론에 도달하는 절차로 이해될 수 있습니다. 이러한 절차는 구문 수준에서 전제의 논리적 형식만 고려하고 표현하는 의미는 무시합니다. $기호$⊨ ${\displaystyle$vDash}로 표현된 시맨틱 수반은 전제의 의미, 특히 진리 값을 살펴봅니다. 전제의 진리가 결론의 진리를 보장하는 경우, 즉 전제를 참으로 할당하는 의미론적 해석 함수가 결론을 참으로 할당하는 경우, 일련의 전제로부터 의미론적으로 결론이 뒤따릅니다.^[172]

컴퓨터 과학

컴퓨터 과학에서 프로그램의 의미론은 컴퓨터가 프로그램을 실행할 때 프로그램이 어떻게 작동하는지입니다. 의미론은 명령어가 표현되는 특정 형태인 구문과 대조됩니다. 일반적으로 동일한 동작을 다른 형태의 구문으로 설명할 수 있습니다. 자바스크립트에서는 명령어의 경우에 해당합니다. i += 1 그리고. i = i + 1, 변수 i의 값을 1씩 증가시키기 위해 구문적으로 다른 표현입니다. 이러한 차이는 서로 다른 구문에 의존하지만 일반적으로 의미 수준에서 동일한 동작을 가진 프로그램을 만드는 데 사용할 수 있기 때문에 서로 다른 프로그래밍 언어에도 반영됩니다.^[173]

정적 의미론은 프로그램의 컴파일에 영향을 미치는 의미론적 측면에 중점을 둡니다. 특히 작업이 호환되지 않는 데이터 유형을 수신할 때 발생하는 유형 오류와 같이 구문적으로 올바른 프로그램의 오류를 탐지하는 것과 관련이 있습니다. 예를 들어, 숫자 계산을 수행하는 함수에 인수로 숫자 대신 문자열이 주어지면 이에 해당합니다.^[174] 동적 의미론은 프로그램의 실행 시간 동작, 즉 명령어 실행 중에 발생하는 일에 초점을 맞춥니다.^[175] 동적 의미론에 대한 주요 접근 방식은 표현적, 공리적, 운영적 의미론입니다. 표시 의미론은 코드의 각 요소의 효과를 설명하기 위해 수학적 형식주의에 의존합니다. 공리적 의미론은 연역적 논리를 사용하여 프로그램 실행 전후에 어떤 조건이 있어야 하는지 분석합니다. 운영 의미론은 프로그램의 실행을 한 상태에서 다른 상태로 전환하는 일련의 단계로 해석합니다.^[176]

심리학

심리적 의미론은 의미의 심리적 측면을 조사합니다. 언어를 이해하고 생산하는 데 있어서 의미가 인지적 차원에서 어떻게 표현되고 어떤 정신적 과정이 관여하는지에 관한 것입니다. 또한 언어와 지각 경험 사이의 관계와 같은 다른 정신적 과정과 의미가 어떻게 상호 작용하는지 조사합니다.^[177][k] 다른 문제는 사람들이 새로운 단어를 배우고 친숙한 것과 개념과 연관시키는 방법, 처음 듣는 복합 표현의 의미를 추론하는 방법, 모호한 표현을 해결하는 방법, 의미론적 환상이 문장을 잘못 해석하는 방법 등입니다.^[179]

한 가지 핵심 주제는 언어, 개념 및 사실에 대한 지식을 포함하는 의미에 대한 일반적인 지식의 한 형태인 의미 기억입니다. 한 사람이 살면서 겪은 사건을 기록하는 에피소드 기억과 대조됩니다. 언어의 이해는 의미 기억과 단어 의미에 대한 정보에 의존합니다.^[180] 일반적인 견해에 따르면 단어 의미는 의미론적 특징과 관련하여 저장되고 처리됩니다. 특징 비교 모델은 로빈이라는 단어의 의미적 특징과 새라는 단어의 의미적 특징을 비교함으로써 "로빈은 새"와 같은 문장을 심리적인 수준에서 평가한다고 말합니다. 의미론적 특징이 유사한 경우, 예를 들어 일반 범주의 프로토타입인 경우, 평가 프로세스가 빠릅니다. 전형적인 예를 들어, "펭귄은 새입니다"라는 문장처럼 의미론적 특징의 중복이 적고 심리적 과정이 현저히 느립니다.^[181]

참고 항목

• 시맨틱 기술 – 기계의 데이터 이해를 돕는 기술

참고문헌

메모들

인용문

원천

외부 링크