문서 보기문서 편집수정 내역 의미론 (r0 버전으로 되돌리기) [include(틀:이론언어학)] [목차] [clearfix] == 개요 == {{{+1 [[意]][[味]][[論]] / Semantics}}} [[말]]의 '''[[의미]]'''에 대한 [[이론]]. 즉 [[통사론]], [[형태론]]을 위시한 [[언어학]]의 여러 분과 학문들이 말의 '''모양'''에 관한 연구라면, 그에 반하여 의미론은 그런 말이 무엇을 '''뜻하는지'''를 연구하는 것이다. 의미론은 [[한국어]], [[일본어]] 같은 '''자연어'''만이 아니라 [[논리학]], [[컴퓨터공학]]에서 다루는 '''형식 언어'''에 관해서도 연구된다. 오히려 [[1차 술어 논리]] 및 [[양상 논리]] 의미론에 착안하여 1960년대 리처드 몬태규가 [[영어]]의 의미론으로 제시한 몬태규 문법(Montague grammar)은 현대 형식 의미론의 시초가 되었다. 다만 [[놈 촘스키]]처럼 자연 언어에 대한 주류 형식 의미론에 관하여 비판적인 시각도 있다.[* 참조: Katz, Jerrold J., 1980, “Chomsky on meaning”, Language, 56(1): 1–41] 흔히 의미론은 '''[[화용론]]'''과 구분되어 쓰이기도 한다. 의미론이 문자 그대로의 의미를 연구한다면, 화용론은 말이 그 쓰임새나 상황에 따라 갖는 비문자적 의미를 연구하는 분야에 해당한다. == 자연어 의미론 주요 개념 == === 중의성 === ==== 어휘적 중의성 ==== lexical ambiguity ===== 동철이의어 ===== homonym. 읽는 법도, 쓰는 법도 같지만 의미가 완전히 다른 경우. e.g. bat (박쥐/야구방망이), pen (필기구/울타리) ====== 비교: 다의성 ====== polysemy. 이것도 쓰는 법과 읽는 법이 동일하지만 의미가 '약간' 차이나므로 homonym과 헷갈릴 수 있지만... e.g. ''The __ham sandwich__ is sitting at table 9'' vs ''The __ham sandwich__ is on the table'' 전자: 햄 샌드위치 '주문한 손님' 후자: 햄 샌드위치[* 가 담긴 접시를 지칭한다고 볼 수도 있으나 여기서는 그냥 샌드위치 그 자체를 가리킨다고 본다.] 즉 의미 간에 연관성이 존재한다. ===== 동철어 ===== homograph. 쓰는 법은 동일하지만 발음과 의미가 완전히 다른 경우. e.g. lead(동사로 쓰면 'ㅣ'로 읽고 '이끌다', 명사로 쓰면 'ㅔ'로 읽고 '납(금속)') ===== 동음어 ===== homophone. 발음은 같지만 철자와 의미가 다른 경우. e.g. air/heir ==== 작용역 중의성 ==== scope ambiguity. 이는 'scope', 즉 영역과 밀접한 관계가 있으며 대상은 every, a, not, one, some 등의 quantifier(양화사)가 된다. 각 양화사끼리의 영역이 누가 누구를 포함하느냐에 따라 의미가 달라지므로, 각각의 양화사를 차례대로 배열하는 경우의 수만큼 의미가 달라진다. 따라서 작용역 중의성의 개수=(양화사 개수)[[팩토리얼|!]][* 양화사가 셋 있으면 3!=6가지, 넷 있으면 4!=24... 즉 양화사 n개에 n!가지 중의성이 존재한다.] Every boy loves a girl. 이라는 문장을 보자. 여기에는 양화사가 every와 a로 둘 있으므로 2!=2 즉 두 경우의 중의성이 나타날 수 있다. scope의 표시는 큰 게 앞으로 가고, 작은 게 뾰족괄호 안에 들어간다. 1) a There is a [girl that every [boy likes]]. 2) every For every [boy, there is a [girl that he likes]]. ==== 구조적 중의성 ==== structural ambiguity. 구조적 중의성의 판단에는 통사론이 직접 개입한다. 처음 공부하는 사람은 [[통사론]]을 먼저 보고 오시길. 참고로 밑의 그림은 그림판 같은 걸로 때운 것 같지만 한번에 트리를 그릴 수 있는 프로그램이 있다. [[https://mshang.ca/syntree/|#]] 예를 들어 John saw the man with binoculars.라는 문장이 있다고 하자. 영어를 좀 하는 사람이라면 이 문장이 '존이 그 남자를 쌍안경으로 보았다'를 의미할 수도 있고, '존이 쌍안경 가진 남자를 보았다'를 의미할 수도 있음을 추측할 수 있을 것이다. 트리를 그려 보자면 (편의상 일부 구조 생략) '''1)'''[[파일:구조적 중의성 1.jpg|width=400]] '''2)'''[[파일:구조적 중의성 2.jpg|width=400]] 이렇게 된다. 즉 전치사구가 전자의 경우 동사를 수식하고, 후자의 경우 명사를 수식한다는 사실을 관찰할 수 있다. === 변칙 === anomaly === 논리적 관계 === logicosemantic relations ==== 모순 ==== contradiction e.g. ''John believes that the Earth is flat'' 은 ''John doubts that the Earth is flat'' 와 모순된다. ==== 함의[*중요] ==== entailment. 의미론에서 가장 중요한 영역. e.g. ''Marry ate pizza for lunch this afternoon'' entails ''Mary ate lunch this afternoon'' 그러니까 앞의 것이 뒤의 것의 '부분집합'이 되는 것이다. ==== 동의 ==== synonym === [[명제|문장의 의미]] === [[명제]] 참조 ==== [[진릿값]] ==== truth value. 특정 문장이 참이 되거나 거짓이 되는 상황을 판별하는 것이다. > 1 아니면 0의 값을 가질 수 있으며, 해당 문장이 해당 세계에서 참일 경우 1 거짓일 경우 0이다. > object language를 겹사각괄호 〚〛안에 집어넣고, 위 첨자에는 해당 문장의 참/거짓을 판별할 '세계'를 표시한다. e.g. [[파일:의미론 의미 예시.jpg|width=300]] 〚The circle is inside the square〛^^[w1]^^ = 1 ''but''〚The circle is inside the square〛^^[w2]^^ = 0 ==== 참조건 ==== truth condition. 특정 문장이 참이 되기 위한 조건을 의미한다. === 의미의 형성 === > 큰 단위의 의미는 작은 단위의 결과물이다. ||<-2> 용어 || 개념 || 예시 || ||<-2> argument || || || ||<-2> predicate || || || ||<|3> 》|| 1-place predicate || || || || 2-place predicate || || || || 3-place predicate || || || ==== be 동사와 부정관사 ==== ==== 포화와 구성 ==== saturation & composition ==== 불포화 전치사 ==== unsaturated prepositions (unsaturated property) ==== 관계절 ==== ==== 주제화 ==== === θ-역할 === * 참조: Kearns pp. 188-191; Parsons pp. 68-104 ||<-3> 용어와 개념[* recipient 등 여기에는 없지만 문헌에는 있는 용어는 당장 학부 수준에서는 신경쓰지 않아도 무관하다.] || || Agent ||<-2> 행위의 주체 || ||<|2> Theme ||<-2> 그 행위의 객체 || || Patient || 그 행위가 '가장 직접적으로' 이루어지는 객체로 Theme의 부분집합 || || Experiencer ||<-2> 감정이나 상태를 '겪는' 객체 || || Beneficiary[* Kearns는 'benefactive'라 표기한다.] ||<-2> 그 행위로 인해 득 보는 객체 || || Goal ||<-2> 객체의 목표 || || Location ||<-2> 그 행위가 이루어지는 장소 || || Source ||<-2> 객체의 출처 || ||<-3> e.g. || ||<-3>__John__(A) gave __the book__(P/T) to __Sue__(G/B). __The ball__(T[* A 아니다.]) rolled towards __John__(G). __John__(E[* A 아니다.]) loves __Mary__(T[* P 아니다.]). → Theme에는 속하지만 Patient가 아닌 경우. || 이는 [[통사론]]에서도 X-Bar 이론에 대한 제약으로 중요하게 작용한다. == 접근과 이론 == === 형식의미론 === === 개념의미론 === === 인지의미론 === === 전산의미론 === == 참고문헌 == 처음 공부하는 사람이라면 Kearns, Kreidler와 Portner를 추천한다. * Chierchia, G. and McConnell-Ginet, S. (2000) Meaning and Grammar An Introduction to Semantics. The MIT Press. 어렵다. * Dixon, R. M. W. (2005) A Semantic Approach to English Grammar. Oxford University Press. * Kearns, K. (2000) Semantics. Macmillan. 좀 쉽고 볼 만하다. * Kreidler, C. W. (2014) Introducing English Semantics. Routledge. * Parsons, T. (1990) Events in the Semantics of English. The MIT Press. * Portner, P. H. (2005) What is Meaning? Fundamentals of Formal Semantics. Blackwell Publishing. == 관련 문서 == * [[문법]] * [[언어철학]] * [[통사론]] * [[화용론]] [각주] [[분류:언어학의 하위 학문]]캡챠되돌리기