목     차

I. 서론                                                       1

I-1. 논문의 과제와 목적                                   1

I-2. 일러두기                                                3

I-3. 가능세계 의미론이 대두되는 역사적 맥락          5

II. 가능세계 의미론의 맹아들                        8

II-1. 카르납의 양상 의미론                               8

    II-1.1. 카르납의 양상 의미론에 대한 다른 철학자들의 영향    8

    II-1.2. 카르납의 양상논리의 이해와 형식적 재구성            10

    II-1.3. 카르납의 양화 양상논리체계 이해                     14

    II-1.4. 카르납의 양상논리 의미론에 대한 평가                18

II-2. 폰라이트와 메르디쓰                                20

    II-2.1. 포괄 양상 체계와 폰라이트와 프라이어의 시도         20

    II-2.2. 2항 관계와 메르디쓰와 프라이어의 시도               24

II-3. 프라이어의 양상 논리                               27

    II-3.1. 프라이어의 시제 논리 체계들                         27

    II-3.2. 프라이어의 양상 논리 체계들                         32

    II-3.3. 양화 시제 논리와 계량 시제 논리                     34

    II-3.4. 폰라이트와 메르디쓰, 프라이어의 가능세계 의미론에 대한 평가                                                                 41

III. 가능세계 의미론의 성숙기                       46

III-1. 캥어, 몬태규, 힌티카, 그리고 크립키             46

    III-1.1. 캥어(Kanger)의 KQML 의미론                       46

    III-1.2. 몬태규(Montague)의 MQML 의미론                  52

    III-1.3. 힌티카(Hintikka)의 HQML 의미론                    56

    III-1.4. 크립키(Kripke)의 KrQML 의미론                    62

III-2. 네 학자의 QML의 재형식화와 비교이해         66

    III-2.1. 캥어의 KQML 의미론의 재구성                      66

    III-2.2. 힌티카의 HQML의 재구성                           69

    III-2.3. 크립키 의미론의 변화와 그 의미                     72

    III-2.4. 캥어, 몬태규, 힌티카, 크립키에 대한 평가             74

IV. 양상 이해와 그 형식화에 대한 비교 고찰  78

IV-1. PWS 발전사에서의 양상 이해 비판              78

    IV-1.1. PWS 발전사의 요약                                78

    IV-1.2. 논리적 양상에 대한 의미론적 이해들                 82

    IV-1.3. 형이상학적 양상에 대한 의미론적 이해들             87

    IV-1.4. 크립키 PWS의 양상 이해에 대한 현대적 쟁점        95

 IV-2. QML 체계들의 의미론 비교                     102

    IV-2.1. 캥어와 몬태규의 QML 의미론 비교                  102

    IV-2.2. 카르납과 힌티카의 QML 의미론 비교                104

    IV-2.3. 힌티카와 크립키의 QML 의미론 비교                107

    IV-2.4. 어떤 의미론이 가능세계 의미론인가?                 108

 IV-3. QML 체계들의 함축 내용 비교                 114

    IV-3.1. 고정지시어와 세계 상대적 논의영역                  114

    IV-3.2. 각 QML의 자유논리적 속성과 바르칸 식 해석        120

    IV-3.3. 각 QML의 특징과 의미론 정의 방식                 126

    IV-3.4. ��-모형에 의한 QML 의미론들의 비교               130

V. 결론                                                   137

참고문헌                                                  139

Abstract                                                 144

표   목   차

[표 1: 포괄 양상의 체계]                                   22

[표 2: 캥어와 몬태규의 의미론 비교]                      85

[표 3: 모든 논의영역들에 상대적으로 기호들에 외연을 할당할 수 있는 경우들]            119