¾ç»ó ³í¸®(Modal Logic)¶õ ¹«¾ùÀΰ¡?

 

 


¾ç»ó ³í¸®(Modal Logic)À̶õ ¾ç»ó¿¡ °üÇÑ ³í¸®ÇÐÀÌ´Ù.

±×·³, ¾ç»ó(modality)¶õ ¹«¾ùÀΰ¡? ½±°Ô ´ë´äÇϱâ À§Çؼ­ ¿¹¸¦ ¸ÕÀú µé¸é, '°¡´É¼º', 'ÇÊ¿¬¼º', '´çÀ§¼º' µîÀÌ ¹Ù·Î ¾ç»óÀÇ ¿¹µéÀÌ´Ù. ±×·¡¼­ ¾ç»óÀ̶õ 'Á¸ÀçÀÇ ¾çŵé'À̶ó°í °£´ÜÈ÷ ¸»ÇÒ ¼ö ÀÖ´Ù.

'Á¸ÀçÀÇ ¾çŵé'À̶õ ¸»ÀÌ Àß ¾È ¿Í ´êÀ»Áö ¸ð¸¥´Ù. ´ç¿¬ÇÏ´Ù. ÀÌ ¸» ¾ç»ó(Modality)Àº ¹ø¿ª¾îÀÌ´Ù. ±×¸®°í Á¸ÀçÀÇ ¾çŵéÀ̶õ 'Á¸Àç'(being)¶õ ¿ë¾î¿Í °ü·ÃÀÌ µÇ´Âµ¥, ´Ù½Ã ÀÌ Á¸Àç¶õ ¸»Àº ¼­¾ç ¾ð¾îÀÇ be µ¿»çÀÇ Æ¯Â¡¿¡ ÀÇÁ¸ÇÑ´Ù. Áï ±× ¸»Àº 'ÀÖ´Ù' + 'ÀÌ´Ù'ÀÇ Àǹ̰¡ ÀÖ´Â °ÍÀÌ´Ù.

¾î·Æ´Ù¸é ½±°Ô ÀÌ·¸°Ô ÀÌÇØÇÏ¸é µÈ´Ù. ±×³É '°¡´É¼º', 'ÇÊ¿¬¼º', '´çÀ§¼º' µî¿¡ ´ëÇÑ ³í¸®ÇÐÀ̶ó°í ¸»ÀÌ´Ù.

¿Ö ¾ç»ó ³í¸®°¡ ±×³É ³í¸®¿Í ´Ù¸¥°¡? ¾î¶² Á¡¿¡¼­ Ưº°ÇÑ°¡?

³í¸®ÇÐÀº ¾î¶² ³íº¯ÀÌ Ç×»ó ÂüÀ̱â À§ÇÑ Á¶°Ç¿¡ ´ëÇؼ­ µûÁö´Â Çй®ÀÌ´Ù. 3´Ü ³í¹ýÀÌ ´ëÇ¥ÀûÀÌ´Ù. Áï "¸ðµç »ç¶÷ÀÌ Á״´Ù"¿Í "¼ÒÅ©¶óÅ×½º´Â »ç¶÷ÀÌ´Ù"°¡ ÂüÀ̸é "¼ÒÅ©¶óÅ×½º´Â Á״´Ù"´Â Ç×»ó ÂüÀÌ°Ô µÈ´Ù. ±×·±µ¥ ¿©±â¿¡ ¸ÂÁö ¾Ê´Â °æ¿ìµéÀÌ ÀÖ°í, ±× Áß¿¡¼­ Áß¿äÇÑ ºÎºÐÀÌ ¾ç»óÀû ¹®ÀåÀÌ´Ù. Áï '°¡´ÉÇÏ´Ù', 'ÇÊ¿¬ÀûÀÌ´Ù'¶ó´Â ¸»ÀÌ µé¾î ÀÖ´Â °æ¿ìµé ¸»ÀÌ´Ù. ´ÙÀ½ÀÇ °æ¿ì¸¦ º¸ÀÚ.

 

7Àº 9º¸´Ù ÇÊ¿¬ÀûÀ¸·Î ÀÛ´Ù.
žç°è Ç༺ÀÇ °¹¼ö´Â 9°³ÀÌ´Ù.
-------------------------------
±×·¯¹Ç·Î, 7Àº žç°è Ç༺ÀÇ °¹¼öº¸´Ù ÇÊ¿¬ÀûÀ¸·Î ÀÛ´Ù.

ÀÌ°ÍÀº 3´Ü ³í¹ýÀ» Àß µû¸£°í ÀÖÁö¸¸ ¿ÇÁö ¾ÊÀº ³íº¯ÀÌ´Ù. ±× ±î´ßÀº 'ÇÊ¿¬ÀûÀ¸·Î'¶ó´Â ¸» ¶§¹®ÀÌ´Ù.

¾ç»óµé¿¡ ´ëÇÑ ³í¸®ÇÐÀº ¾ç»ó¿¡ ´ëÇؼ­ Á¤È®ÇÏ°Ô ÀÌÇØÇÏ°í ¼³¸íÇϱâ À§Çؼ­ÀÌ´Ù. ¿Ö ±×·¡¾ß Çϴ°¡?

»ý°¢ÇØ º¸ÀÚ. "ºñ°¡ ¿Ã °¡´É¼ºÀÌ ÀÖ´Ù"¶ó´Â ¹®ÀåÀº ¾î¶² °æ¿ì¿¡ Âü¸»ÀÌ µÇ°í ¾î¶² °æ¿ì¿¡ °ÅÁþ¸»ÀÌ µÉ±î? ºñ°¡ ¿À°í ÀÖÀ» °æ¿ì¿¡? ¾Æ´Ï¸é ºñ°¡ ¿ÀÁö ¾ÊÀ» °æ¿ì¿¡? ¾î´À °æ¿ì¿¡µµ ºñ°¡ ¿Ã °¡´É¼ºÀÌ ÀÖ´Ù´Â ¸»Àº ¿ÇÀ» ¼ö ÀÖ´Ù. ±×·¯¸é ÀÌ ¹®ÀåÀº ¹Ýµå½Ã ¿ÇÀ» ¼ö¹Û¿¡ ¾ø´Â ¸»Àΰ¡? ¶Ç ±×·± °Íµµ ¾Æ´Ï´Ù. ±×·¸´Ù¸é "ºñ°¡ ¿Ã °¡´É¼ºÀÌ ÀÖ´Ù"¿Í °°Àº ¹®ÀåÀÌ ÂüÀÎÁö °ÅÁþÀÎÁö¸¦ °¡¸®±â À§Çؼ­´Â ¹«¾ùÀ» ¾Ë¾Æ¾ß Çϴ°¡?

ÀÌ¿Í À¯»çÇÑ ¹®Á¦°¡ ´çÀ§¿¡µµ °ü·ÃµÈ´Ù.

"±³Åë½ÅÈ£¸¦ ÁöÄÑ¾ß ÇÑ´Ù"¶ó´Â ¸»Àº ¿ÇÀº ¸»ÀÌÁö¸¸ "»ç¶÷À» Á׿©µµ µÈ´Ù"¶ó´Â ¸»Àº ¿ÇÁö ¾Ê´Ù. ÇÏÁö¸¸ µÎ ¹®ÀåÀÌ ¸ðµÎ ´çÀ§¿¡ °ü·ÃµÈ´Ù.

±³Åë ½ÅÈ£¸¦ ÁöÄÑ¾ß ÇÑ´Ù´Â ¸»ÀÌ ¿ÇÀºÁö ±×¸¥Áö¸¦ ¸ð¸£´Â »ç¶÷ÀÇ ÀÔÀå¿¡¼­ »ý°¢ÇØ º¸ÀÚ. ÀÌ »ç¶÷ÀÌ ±× ¸»ÀÌ ¿ÇÀºÁö ±×¸¥Áö¸¦ ¾Ë±â À§Çؼ­ ¹«¾ùÀ» º¸°Å³ª »ý°¢ÇØ¾ß ÇÒ±î? »ç¶÷µéÀÌ ±³Åë½ÅÈ£¸¦ ÁöÅ°´ÂÁö »ìÆìºÁ¾ß ÇÒ±î? ±×·¸Áö ¾Ê´Ù. ¸¹Àº »ç¶÷µéÀÌ ±³ÅëÁú¼­¸¦ ÁöÅ°Áö ¾Ê¾Æµµ ±³ÅëÁú¼­´Â ÁöÄÑ¾ß ÇÏ´Â °ÍÀÌ´Ù. ¹Ý´ë·Î ¸ðµç »ç¶óµéÀÌ ±³ÅëÁú¼­¸¦ ÁöÄѵµ ±³ÅëÁú¼­¸¦ ÁöÄÑ¾ß ÇÑ´Ù´Â ¸»Àº ¿ÇÀº °ÍÀÌ´Ù. ±×·¸´Ù¸é ±× ¸»ÀÌ ÂüÀÎÁö °ÅÁþÀÎÁö ¸ð¸£´Â »ç¶÷ ÀÔÀå¿¡¼­´Â ¹«¾ùÀ» º¸°Å³ª »ý°¢ÇØ¾ß ÇÒ±î? ¹ý·ü? ¾î¶² ¹ý·üÀÌ ¾Ç¹ýÀÎÁö ÁÁÀº ¹ýÀÎÁö¸¦ ¾Ë·Á¸é ¶Ç ¾î¶»°Ô ÇØ¾ß ÇÒ±î? ±×·¯¸é °°Àº Á¾·ùÀÇ ¹®Á¦ÀÌÁö¸¸, ¹ý·ü¿¡ ÀÇÇؼ­ ÀÌ¿Í °°Àº ´çÀ§¼ºÀÇ ¹®Á¦°¡ ÇØ°áµÇÁö´Â ¾Ê´Â´Ù´Â °ÍÀ» ¾Ë ¼ö°¡ ÀÖ´Ù. ±×¸®°í ÀÌ ¹®Á¦´Â ´Ù½Ã ¸ÞŸ À±¸®ÇÐÀÇ ÇÙ½É ¹®Á¦µé Áß Çϳª¿Í ¿¬°üµÈ´Ù.

¾ç»ó ³í¸®¿¡ °üÇÑ ³í¸®ÇÐÀº Çö´ë¿¡ ¸¹ÀÌ ¹ßÀüÇßÁö¸¸,

°³ÀÎÀûÀ¸·Î ±× ¹ßÀü ¹æÇâÀº óÀ½ºÎÅÍ À߸ø ¼³Á¤µÇ¾ú´Ù°í »ý°¢ÇÏ°í ÀÖ´Ù. ³»°¡ ¾ç»ó ³í¸®ÇÐÀ» Àü°øÇؼ­ ÇÏ°íÀÚ ÇÏ´Â ÀÏÀº »õ·Î¿î ¾ç»ó ³í¸®ÇÐÀÇ Ã¼°è¸¦ ±¸¼ºÇØ º¸´Â °ÍÀÌ´Ù.

2005³â ÇöÀç ´ë·« 7³â Á¤µµ ÀÌ ¹®Á¦¿¡ ´ëÇؼ­ »ý°¢ÇÑ ¼ÀÀε¥, °ÅÀÇ ÇØ´äÀ» ãÀº µíÀÌ º¸ÀδÙ. ÇÏÁö¸¸ ¾ÆÁ÷Àº Àß ¾Ë ¼ö ¾ø´Ù. ´ë·« 10³â Á¤µµ¸¦ ä¿ì¸é °á°ú°¡ ³ª¿ÀÁö ¾ÊÀ»±î...

 

 

 

 

 

 

 

 

 

 

 

 

<öÇÐ, Áö½ÄÀÌ ¾Æ´Ñ ÁöÇý>

 

 

 

 

 

 

  °øÁö »çÇ×
  Á¦°¡ Àι®ÇÐ °ø°³ °­Á¸¦ ÇÏ°Ô µÇ¾ú½À´Ï´Ù.^^
  ȨÇÇÀÇ °Ô½ÃÆǵéÀ» Á¤¸®ÇÕ´Ï´Ù.
  ÀÌ°Ç, °øÁö»çÇ×À̶ó±âº¸´Ù´Â ¼±ÀüÀε¥...^^
  °øºÎ ÀÚ·á½Ç
  ¾ð¾îºÐ¼®Ã¶ÇÐÀÇ ÇÑ°è¿Í ½ÇÆÐ
  ¾ð¾îºÐ¼®Ã¶ÇÐ: ¾ð¾î¿¡ ´ëÇÑ ±×¸²À̷п¡¼­ ±Ô¾àÀ¸·ÎÀÇ °ü...
  ¾ð¾îÀû Àý´ëÁÖÀÇ(linguistic absolutism): ³í...
   

 

 

 

 

 


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