II-1.3. Ä«¸£³³ÀÇ ¾çÈ­ ¾ç»ó ³í¸® ü°è ÀÌÇØ


Ä«¸£³³ÀÇ ¾çÈ­¾ç»ó³í¸®Ã¼°è(CQML)´Â ±× ±âº» »ç°í¹æ½Ä(conception)¿¡¼­ CPML°ú °ÅÀÇ µ¿ÀÏÇÏ°Ô Á¢±ÙÇÒ ¼ö ÀÖ´Ù. ÇÏÁö¸¸ CQML¿¡¼­ Ä«¸£³³ÀÇ ÇÁ·¹°ÔÀû ÀüÅëÀÌ ºÎ°¢µÈ´Ù. Áï ¹®Àå¿¡ ´ëÇÑ Çؼ®ÀÌ ÀÚÀ¯º¯Ç׿¡ ÇÒ´çÇÏ´Â °ÍÀ» °³º° °³³äÀ̶ó°í ÀÌÇØÇÏ´Â °ÍÀÌ´Ù. µû¶ó¼­ CQML¿¡¼­ º¯Ç×µéÀÇ °ªÀº °³º° °³³äµéÀÌ´Ù.

Ä«¸£³³([1947], 183ÂÊ)Àº °³³äÀÌ “°³º° »óÇ×µéÀ» »çűâ¼úµé¿¡ ÇÒ´çÇÏ´Â °Í”(an assignment of individual constants to state-descriptions)À¸·Î ³ªÅ¸³»¾îÁø´Ù°í ¸»ÇÑ´Ù. ÀÌ Ç¥ÇöÀ» Á¤È®È÷ ÀÌÇØÇϱâ À§Çؼ­ ¿¡ ÇÒ´çµÇ´Â °³³äÀ» ¶ó ÇÏ°í, °³º° »óÇ×À» , »çűâ¼úÀ» ��¶ó ÇØ º¸ÀÚ. ÀÌ ¶§ Ä«¸£³³ÀÇ »ý°¢Àº ´ÙÀ½ÀÇ µÎ ¹æ½Ä Áß Çϳª·Î ÀÌÇØÇØ¾ß ÇÒ °ÍÀÌ´Ù. Áï (i) À̰ųª (ii) ÀÎ °ÍÀÌ´Ù.

(i)ÀÇ °æ¿ì ¿¡ °¡ ÇÒ´çµÈ´Ù. ±×·¸´Ù¸é ¿¡´Â ÃÖÁ¾ÀûÀ¸·Î »çűâ¼ú °¡ ÇÒ´çµÇ´Â ¼ÀÀÌ µÈ´Ù. ÀÌ°ÍÀº ¹Þ¾ÆµéÀ̱⠾î·Á¿ö º¸ÀδÙ. ±×·¸´Ù¸é Ä«¸£³³ÀÇ »ý°¢Àº (ii)¿Í °°ÀÌ ·Î ÀÌÇصǾî¾ß ÇÒ °ÍÀ¸·Î º¸ÀδÙ. ÀÌ·² °æ¿ì ¿¡ ÇÒ´çµÇ´Â °ÍÀº ÀÌ°í, ÀÌ°ÍÀº °ð »çűâ¼ú ¿¡¼­ ¿¡ ÇÒ´çµÇ´Â °ÍÀÌ °³º°»óÇ× ÀÎ °ÍÀ» ±â¼úÇÏ°Ô µÉ °ÍÀÌ´Ù. ÀÌ°ÍÀº ´ÙÀ½°ú °°Àº Ä«¸£³³([1947], 183ÂÊ)ÀÇ ¼³¸íÀ» º¼ ¶§ È®À뵃 ¼ö ÀÖ´Ù.


a. °¡ ¿øÀÚ ½ÄÀ̶ó°í ÇÏÀÚ. ¿¡¼­ ³ªÅ¸³ª´Â °³º° º¯Ç׵鿡 ÁÖ¾îÁø °ª¿¡ ´ëÇؼ­ °¡ ¿¡¼­ ¼º¸³ÇÒ °æ¿ì ±× °æ¿ì¿¡¸¸, ¸ðµç ÀÚÀ¯º¯Ç׿¡ ´ëÇÏ¿© º¯Ç×ÀÇ °ªÀ¸·Î ¿¡ ÇÒ´çµÈ »óÇ×À» ´ëÄ¡ÇÔÀ¸·Î½á ·ÎºÎÅÍ Çü¼ºµÈ ¿øÀÚ ¹®ÀåÀ» °¡ Æ÷ÇÔÇÑ´Ù.


¿¹¸¦ µé¾î¼­ ¼³¸íÇÏÀÚ¸é ÀÎ °æ¿ì¸¦ »ý°¢ÇØ º¼ ¼ö ÀÖ´Ù. °³³ä ¿¡ ÀÇÇØ »çűâ¼ú ¿¡¼­ ¿¡ ´ëÇØ ÇÒ´çµÈ °³º°»óÇ×ÀÌ ÀÌ°í »çűâ¼ú ¿¡¼­ ¿¡ ÇÒ´çµÈ °³º°»óÇ×Àº ¶ó°í ÇÏÀÚ. ±×·¯¸é °¡ ¿¡¼­ ¼º¸³ÇÏ´Â °æ¿ì ±× °æ¿ì¿¡¸¸, ´Â S¿¡ ¼ÓÇÑ´Ù. ¶ÇÇÑ °¡ ¿¡¼­ ¼º¸³ÇÏ´Â °æ¿ì ±× °æ¿ì¿¡¸¸, ´Â ¿¡ ¼ÓÇÑ´Ù.

±×·¸´Ù¸é ´ÙÀ½¿¡ Á¦±âµÉ ¼ö ÀÖ´Â ¹®Á¦´Â °ú °°Àº ¼ú¾î¿¡´Â ¹«¾ùÀÌ ÇÒ´çµÇ´Â°¡ ÇÏ´Â °ÍÀÌ´Ù. ´ÉÇÑ ´ë¾ÈµéÀº ´ÙÀ½ÀÇ ³× ¹æ½Ä ÁßÀÇ ÇϳªÀÏ °ÍÀÌ´Ù. ¼ú¾î ¿¡´Â (i) ÇÔ¼ö µéÀÇ -ÁßüµéÀÇ ÁýÇÕÀÌ ÇÒ´çµÇ´Â °Í, (ii) °¢ »çűâ¼ú ¿¡¼­ÀÇ °³º°»óÇ×µéÀÇ ÁßüµéÀÇ ÁýÇÕÀÌ ÇÒ´çµÇ´Â °Í, (iii) »çűâ¼ú ¸¦ °³º°»óÇ×µéÀÇ ÁßüµéÀÇ ÁýÇÕ¿¡ ´ëÀÀ½ÃÅ°´Â ÇÔ¼ö °¡ ÇÒ´çµÇ´Â °Í, (iv) °¡´ÉÇÑ ¸ðµç °³º°»óÇ×µéÀÇ ÁýÇÕ¿¡ ´ëÇØ ±× ¿ø¼ÒµéÀÇ ÁßüµéÀÇ ÁýÇÕÀÌ ÇÒ´çµÇ´Â °ÍÀÌ °í·ÁµÉ ¼ö ÀÖ´Ù.

±×·±µ¥ (ii)ÀÇ °æ¿ì¿¡´Â ¼ú¾î ¿¡ °¢ »çűâ¼ú¿¡¼­ÀÇ °³º°»óÇ×µéÀÇ ÁßüµéÀÇ ÁýÇÕ Çϳª°¡ ÇÒ´çµÇ´Â °ÍÀÌ ¾Æ´Ï¶ó ¸ðµç »çűâ¼ú¿¡¼­ÀÇ °³º°»óÇ×µéÀÇ ÁßüµéÀÇ ÁýÇÕµé ¸ðµÎ°¡ ÇÒ´çµÇ¾î¾ß ÇÑ´Ù. ÀÌ °æ¿ì¿¡´Â Ç¥ÁØÀûÀÎ 1Â÷ ¼ú¾î ³í¸®¿¡¼­¿Í °°ÀÌ °³º°»óÇ×µéÀÇ Áßü°¡ ÀÇ ¿ø¼ÒÀÎ °æ¿ì¸¦ Áø¸®Á¶°ÇÀ¸·Î Á¤ÀÇÇÒ ¼ö°¡ ¾ø°Ô µÈ´Ù. ¿Ö³ÄÇϸé ÀÇ ¿ø¼Ò´Â °³º°»óÇ×µéÀÇ Áßü°¡ ¾Æ´Ï¶ó ±×°ÍµéÀÇ ÁýÇÕÀ̱⠶§¹®ÀÌ´Ù. ÇÑÆí (iii)ÀÇ °æ¿ìó·³ ¼ú¾î ¿¡ »çűâ¼ú ¸¦ °³º°»óÇ×µéÀÇ ÁßüµéÀÇ ÁýÇÕ¿¡ ´ëÀÀ½ÃÅ°´Â ÇÔ¼ö °¡ ÇÒ´çµÈ´Ù°í °¡Á¤ÇÑ´Ù¸é ¼ú¾î¿¡ µÚµû¸£´Â °³º°º¯Ç× ¿¡ ÇÔ¼ö ¸¦ ÇÒ´çÇÒ ÇÊ¿ä°¡ ¾ø¾îÁø´Ù. ±×·¯¹Ç·Î ÀÌ °¡Á¤ ¿ª½Ã ÀûÀýÇÏÁö ¸øÇÑ °ÍÀ¸·Î º¸ÀδÙ. ±×·¸´Ù¸é ³²´Â ´ë¾ÈÀº (i)°ú (iv)Àε¥, ÇÊÀÚ°¡ º¸±â¿¡´Â (iv)°¡ Ä«¸£³³ÀÇ ±Ùº» Àǵµ¸¦ ´õ Àß ¼³¸íÇÏ´Â °Í °°´Ù. À§¿¡¼­ ÀοëµÈ Ä«¸£³³ÀÇ ÁÖÀå([1947], 183ÂÊ)¿¡ µû¸£¸é (iv)°¡ Ä«¸£³³ÀÌ ¸»ÇÑ ¹Ù¿Í À¯»çÇÏ°í ¶ÇÇÑ ÀÌ°ÍÀº ´ëºÎºÐÀÇ ¿À´Ã³¯ÀÇ ¾çÈ­¾ç»ó³í¸®Ã¼°è°¡ ÅÃÇÏ´Â ¹æ½ÄÀÌ´Ù.

ÇÏÁö¸¸ (i)À» ±àÁ¤ÀûÀ¸·Î °í·ÁÇÒ ¼ö ÀÖ´Â Áß¿äÇÑ ÀÌÀ¯°¡ Çϳª ÀÖ´Ù. ±×°ÍÀº Ä«¸£³³ÀÌ ¾î¶² »çűâ¼ú¿¡¼­ ¿¡ ÇÒ´çµÇ´Â °³º°»óÇ×ÀÌ Á¸ÀçÇÏÁö ¾Ê´Â °æ¿ì¿¡ ´ëÇؼ­ °í¹ÎÇÏÁö ¾Ê¾Ò´Ù´Â Á¡ ¶§¹®ÀÌ´Ù. ±×·± °æ¿ì¸¦ °í·ÁÇÑ´Ù¸é ¾çÈ­¾ç»ó³í¸® ü°è¸¦ °í·ÁÇÒ ¶§ Á÷¸éÇÏ°Ô µÇ´Â ÀϹÝÀûÀÎ ¹®Á¦µé ÁßÀÇ ÇϳªÀÎ ÀÚÀ¯³í¸®(free logic)ÀûÀÎ Ãø¸éÀÌ ¿¬°üµÈ´Ù.(Garson[1989]) ÇÏÁö¸¸ Ä«¸£³³[1947]Àº º¯Ç׿¡ ÇÒ´çµÈ °³º°»óÇ×ÀÌ ±× »çűâ¼ú¿¡ Á¸ÀçÇÏÁö ¾Ê´Â °æ¿ì, ȤÀº ÀÌ¿Í °ü·ÃÇؼ­ ¹®ÀåÀÌ Áø¸®°ªÀ» °®Áö ¾Ê´Â °æ¿ì¿¡ ´ëÇÑ °í·Á¸¦ ÀüÇô ÇÏÁö ¾ÊÀº °ÍÀ¸·Î º¸ÀδÙ. Áï Ä«¸£³³Àº ¸ðµç »çűâ¼ú¿¡¼­ º¯Ç׿¡ Ç×»ó ¾î¶² °³º°»óÇ×ÀÌ ÇÒ´çµÇ°í ¶ÇÇÑ ¸ðµç ¹®ÀåµéÀº Áø¸®°ªÀ» °®´Â´Ù°í ÀüÁ¦ÇÑ °ÍÀ¸·Î º¸ÀδÙ. ±×·¯³ª (iv)ÀÇ °æ¿ì¿¡µµ, ´Ù¼Ò ºÎÀÚ¿¬½º·´±â´Â ÇÏÁö¸¸, ´ÜÁö Àǹ̷ÐÀû ¸ðÇüÀ» ¼³Á¤Çϸ鼭 ¸ðµç °³º°»óÇ×µéÀÌ °¢°¢ÀÇ »çűâ¼ú¿¡ Á¸ÀçÇÑ´Ù´Â ´Ü¼­¸¦ Ãß°¡ÇÔÀ¸·Î½á ÇØ°áÇÒ ¼öµµ ÀÖ´Ù.

ÀÌ»óÀÇ ³»¿ëÀ» Åä´ë·Î CQMLÀÇ ±¸¹®·Ð°ú Àǹ̷ÐÀ» Á¤¸®ÇÏÀÚ¸é ´ÙÀ½°ú °°ÀÌ µÉ °ÍÀÌ¸ç ±× ¼¼ºÎ ³»¿ëÀº ±âºê·±°ú ¸ð½ºÅäÇÁ½ºÅ°(Gheerbrant & Mostowski[2006], 87-88ÂÊ)°¡ Á¤¸®ÇÑ ¹Ù¿Í °°´Ù.


<CQML ±¸¹®·Ð>

CQML¿¡¼­ °¡ ¼ø¼öÇÏ°Ô °ü°èÀû ¾îÈÖµéÀÌ°í, ��¸¦ ¸ðµç 1Â÷ º¯Ç×µéÀÇ ÁýÇÕÀ̶ó°í ÇÏÀÚ.

[Á¤ÀÇ 2.1] ¿ì¼± ¿ì¸®´Â ¾îÈÖ ÀÇ ¿øÀÚ ½ÄµéÀÇ ÁýÇÕ ¸¦ Á¤ÀÇÇÑ´Ù.


{}{, ´Â ¿¡¼­ÀÇ Ç× ¼ú¾îÀÌ´Ù.}


´Â ÃÖ¼Ò ÁýÇÕ Àε¥ ´Â ¸¦ Æ÷ÇÔÇÏ°í, ´ÙÀ½ÀÇ Á¶°ÇÀ» ¸¸Á·½ÃŲ´Ù. Áï, ¸¸¾à À̸é,

1. ,

2. ,

3. ,

4. °¢°¢ÀÇ ¿¡ ´ëÇؼ­, ÀÌ´Ù.


ÀÌ»óÀÇ ±¸¹®·ÐÀû Á¤ÀÇ¿¡¼­ ¿øÀڽĵéÀÇ ÁýÇÕ ¿¡ ¸íÁ¦¹®ÀÚ °¡ ¼ÓÇÏÁö ¾Ê´Â´Ù´Â °ÍÀº »ç¼ÒÇÏÁö¸¸ Ư¡ÀûÀÌ´Ù. À§¿¡¼­ ÀÌ¹Ì ¾ð±ÞÇÑ ¹Ù¿Í °°ÀÌ È®½ÇÈ÷ Ä«¸£³³([1947], 5ÂÊ)Àº ÂüÀÇ ±ÔÄ¢À» Á¤ÀÇÇϸ鼭 PLÀÇ ¿øÀÚ½ÄÀ¸·Î¼­ “°³º° »óÇ×ÀÌ µÚµû¸£´Â ¼ú¾î”¿¡ ´ëÇؼ­¸¸ ¾ð±ÞÇÑ´Ù.


<CQML Àǹ̷Ð>

ÇÑÆí CQMLÀÇ Çü½ÄÀû Àǹ̷ÐÀº ´ÙÀ½°ú °°ÀÌ Á¤ÀÇµÉ ¼ö ÀÖ°Ú´Ù.

[Á¤ÀÇ 2.2] À» -¸ðÇüÀ̶ó ÇÏÀÚ. ÀÓÀÇÀÇ ÇÔ¼ö ��À» “¿¡¼­ÀÇ °ªºÎ¿©(valuation)”À̶ó ÇÑ´Ù. ¿ì¸®´Â “°ªºÎ¿© ÇÏ¿¡¼­ÀÇ ¸ðÇü ¿¡¼­ÀÇ ½Ä ÀÇ ¸¸Á· °ü°è”¸¦ ´ÙÀ½°ú °°ÀÌ Á¤ÀÇÇÑ´Ù.

1. ¿¡ ´ëÇؼ­, ´Â 1Â÷ ³í¸®ÀÇ °æ¿ì¿Í µ¿ÀÏÇÑ ¹æ½ÄÀ¸·Î Á¤ÀǵȴÙ.

2. ÀÓÀÇÀÇ ¿¡ ´ëÇÏ¿©, ´ÙÀ½ÀÌ ¼º¸³ÇÑ´Ù.

(i) ÀÌ´Ù.

(ii) ¸¸¾à À̸é ÀÌ´Ù.

(iii) ¸ðµç ¿¡ ´ëÇؼ­ ÀÌ´Ù.

(iv) ÀÎ ¸ðµç -¸ðÇü ¿¡ ´ëÇؼ­ ÀÌ´Ù.


Á¦ÀÏ ¸¶Áö¸· ±¸ÀýÀÎ [Á¤ÀÇ 2.2]ÀÇ 2ÀÇ (iv)¿¡¼­ ÀÎ ±î´ßÀº ¾Õ¿¡¼­ ³íÀÇÇß´ø ¹Ù¿Í °°ÀÌ °¢ »çűâ¼ú¿¡ Á¸ÀçÇÏ´Â °³º°»óÇ×µéÀÇ ÁýÇÕÀÌ ¸ðµÎ µ¿ÀÏÇÏ´Ù´Â °ÍÀ» ÀǹÌÇÑ´Ù. ÇÑÆí ¸°µå½ºÆ®·Ý(Lindström[1998])Àº Ä«¸£³³ÀÇ ¾ç»ó³í¸®Ã¼°è¸¦ ¸íÁ¦¾ç»ó³í¸®Ã¼°è(CPML)¿Í ¾çÈ­¾ç»ó³í¸®Ã¼°è(CQML)ÀÇ ±¸ºÐ¾øÀÌ ÇѲ¨¹ø¿¡ Çü½ÄÈ­Çϸ鼭 ÀÌ Á¡À» ºü¶ß¸®°í ÀÖ´Â °ÍÀ¸·Î º¸ÀδÙ.



 
   

 

 

 

 

 


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

 

 

 

 

 

 

 

 

 

 

 

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