¸ñ     Â÷


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

 

 

 
   

 

 

 

 

 


ÀÌ È¨ÆäÀÌÁöÀÇ ¸ðµç ³»¿ë¿¡ ´ëÇÑ ÀúÀÛ±ÇÀº Æıúºñ¿¡°Ô ÀÖÀ¸¸ç, °¢ °Ô½ÃÆÇÀÇ ³»¿ë¹°¿¡ ´ëÇÑ ÀúÀÛ±ÇÀº °¢ ÀúÀÚ¿¡°Ô ÀÖ½À´Ï´Ù.

 

 

 

 

 

 

 

 

 

 

 

q
<¿µÈ­·Î ÀдÂ
¼­¾çöÇлç
>