분야
ppt의미에 관한 언어학 배경
문장처리
1. 의미에 관한 언어학 배경
1) 형식의미론적 배경
2) 화용론적인 측면
3) 의미역
2. 문장 처리
명제
부정
형용사와 명사의 결합
의미역 중심의 동사 정보
문장의 화용론적 처리
◇ 리차드 몬태규( Richard Montague)
- 형식언어의 의미해석에 사용되는 형식이론을 영어 문장 의미분석에도 적용할 수 있다고 주장했다.
□ 몬태규 이론의 가정
1. 진리조건적(truth-conditional)의미론
2. 모형이론적(model-theoretic)의미론
3. 가능세계(possible worlds)의미론
형식의미론적 배경
초기
언어의 의미가 철학과 논리학을 배경으로 하는 형식의미론연구
의미분석 단어와 문장의 수준 시도됨
근래
담화(談話) 수준에서 의미분석도 시도됨
분석 수준
의미가 서계와의 관계에서 분석
문장의 의미가 세상의 사태(state of affairs)에 비추어 사실 여부를 판단하는 수준
결과
문장은 세계의 사태를 지시하는 분석의 기본단위로 받아들여지고 복합 문장은 단순문장들과 연결사들 ( not, and, or ,if등)이 순화적으로 ( recursively) 결합하여 형성된다.
문장 또는 명제(命題) 논리에서 한 문장이 사실을 지시하면 참인 문장으로 해석되고 otherwise 거짓 문장으로 해석됨
Iff 명제 = 참, 일 때 한 문장 = 참
복합문장
단순문장의 해석과 연결사의 해석에 의해 결정된다.
연결사
Not
문장(true) (false)
And
두 문장 ( 모두 true) (true)
Or
두 문장 중 ( 한 문장이 true) (true)
If
후건(consequent;결과)이 false 아니면 true므로 참으로 해석됨.
진리함수
연결사들은 단순 문장들의 진위가 주어지면 진위값을 산출하는 진리함수로 분석된다.
의미 분석을 시작하는 논리의 분석수준의 비약성
예,. 두 전제
“철수가 영수보다 크다” , “영수가 민수보다 크다”
결론
“ 철수가 민수보다 크다” - 자연스러운 결론 도출
그러나, 문장논리로는 이런 추리를 기술할 수 없다.
양화사(qualified word)를 포함하는 문장들의 분석이 어렵다.
집합론
언어의 의미가 세상의 사물들 간의 성질이나 관계에 기초를 하여 분석되면, 이름, 형용사, 동사 등등의 표현들은 세상의 사물, 사물의 성질, 사물들 간의 관계 등을 지시하는 것으로 분석
이런 분석이 20초에 집합론을 기초로 하여 이루어진 술어 논리의 근간이다.
술어 논리에서 대상의 성질을 기술하는 술어는 대상의 집합을 지시한다고 분석함.
예,. “학생” 말하는 대상들 중에서 학생인 사람들의 집합을 지시된다고 분석함.
두 존재들의 관계를 나타내는 술어는 대상들의 순서쌍들의 집합으로 지시한다고 정의함.
예,. “사랑한다” 사랑한다( 주체 , 대상)
주체와 대상들의 순서쌍들의 집합으로 지시함
원자식
대상을 지시하는 항(term)들과 대상의 성질이나 관계를 나타내는 술어의 결합
원자식 (atomic formula)
오로지 상수(constant)를 논항으로 삼는 식
문 장
관계나 성질을 나타내는데, 변인(variable)을 논항으로 취함
명제 함수 (propositional function)
By Clark & Clark, 1977 ; Enderton, 1972)
예
(1) a. 걷다(철수)
b. 걷다(x)
(a)는 논항으로 사람을 지시하는 이름 “철수”를 취함 문장을 나타냄
(b)는 “X”라는 변인을 논항으로 취한 명제 함수
원자식들과 연산자(operator)가 결합하여 복합식들을 만듬.
양화사 (qualified word)
보편 양화사(all)→ all, everyone
존재 양화사(some)→ some, few
연산자들이 순환적으로 적용되어 무한하게 많은 논리 표현식들이 생성됨.