`제11장 함의와 전제, 제12장 형식의미론` 부분 요약본입니다.

소개글

국어 의미론(2008).윤평현. 도서출판 역락.
`제11장 함의와 전제, 제12장 형식의미론` 부분 요약본입니다.

목차

제 11장 함의와 전제
1. 합의
2. 전제
3. 화용론적 전제

제 12장 형식의미론
1. 형식의미론의 도입
2. 진리조건
3. 명제논리
4. 술어논리
5. 양화논리

본문내용

제 12장 형식의미론

1. 형식의미론의 도입
- 기호언어와 같은 인공언어가 중심이 된 논리체계(형식논리체계)를 이용하여 자연언어(인간언어)의 문장 의미론을 전개시켜 나가는 이론 체계가 형식 의미론.
- 그것은 자연언어가 지닌 일체의 모호성과 중의성이 배제되고, 하나의 언어적 표현의 문법적 형식이 그것의 논리적 구조와 일치하는 완벽한, 이성적인 인공언어의 체계를 만들어 자연언어의 숨어있는 논리적 구조를 밝히고자 하는 것이다(박종갑1995).

□ 배경
- 타르스키(1944), 프레게(1975), 카르납(1943), 다우티(1979), 파티(1975) 등
- 몬태규(R.Montague): 형식의미론의 연구에서 가장 중요한 역할을 하였다. 형식의미론이 자연언어의 의미를 분석하는 데 이용될 수 있는 기틀을 마련했다.
- 세 가지 특징★
① 진리조건적 의미론: 진리조건을 바탕으로 해서 문장의 진리치를 논하는 의미론
② 모형이론적 의미론: 모형(model)을 설정, 모형 속에서 문장의 진리치를 밝히려는 의미론
③ 가능세계 의미론: 가능성과 같은 양상구조를 논하기 위해 가능세계의 개념을 이용하는
의미론

2. 진리조건
진리조건: 문장 하나하나가 어떤 상황에서 참이 되고 거짓이 되는지를 밝혀주는 조건
- `참`이란? ⇨ 실제(reality)와의 일치를 의미 [대응설의 입장]
타르스키의 진리치 공식: 대응설이 모든 문장의 진위를 설명하는 것이 불가능함. 이를 해결하기 위하여 도입된 공식으로, 의미론이 공허하고 비논리적이라는 평판을 벗어던지게 됨
- S is true if and only if p
S는 문장의 이름이고, p는 문장의 참을 보증하는 조건.
- 대상언어는 진위 판단이 되는 대상이 되는 언어이며, 상위언어는 대상언어를 분석할 때 사용되는 언어를 말함.

참고 자료

박종갑(1995), 토론식 강의를 위한 국어의미론, 도서출판 박이정
윤평현(2008), 국어의미론, 도서출판 역락
임지룡(1992), 국어의미론, 탑출판사