·¯¼¿ÀÇ °íÀ¯ ¸í»ç¿Í Å©¸³Å°ÀÇ °íÁ¤ Áö½Ã¾î

 

 

·¯¼¿¿¡°Ô À¯ÀǹÌÇÑ °ÍÀº ³í¸®Àû °íÀ¯ ¸í»çÀÌ´Ù. ³í¸®Àû °íÀ¯ ¸í»ç´Â Áö½Ã´ë»óÀ» °¡Áö´Â ¸í»ç ȤÀº ¾î±¸·Î¼­, ±â¼ú±¸·Î ¹Ù²ã¾²±â¸¦ ÇÒ ¼ö ¾ø´Â À̸§ÀÌ´Ù. ·¯¼¿Àº ±â¼úÀû Áö½ÃÀÌ·ÐÀÇ ´ëÇ¥ÀûÀÎ ÇÐÀÚµé Áß ÇÑ ¸íÀÌ´Ù.

Å©¸³Å°´Â ÀÌ·¯ÇÑ ±â¼úÀû Áö½ÃÀÌ·ÐÀ» ¹è°ÝÇÑ´Ù. ±â¼ú·ÐÀÚµéÀº À̸§°ú Á¤°ü»ç ¾î±¸°¡ °°Àº ±¸Á¶¸¦ °®´Â °ÍÀ¸·Î »ý°¢Çß´Ù. 'ÇöóÅæÀÇ °¡Àå À¯´ÉÇÑ Á¦ÀÚ'¶ó´Â ±â¼ú¾î±¸´Â '¾Æ¸®½ºÅäÅÚ·¹½º'¿Í ¸¶Âù°¡Áö·Î ÇϳªÀÇ ´ë»ó¸¸À» ÀÌ ¼¼»ó¿¡¼­ ÁöĪÇÑ´Ù´Â °ÍÀÌ´Ù. ±×·¯³ª Å©¸³Å°´Â Á¤°ü»ç ¾î±¸°¡ ±â¼úµÈ ³»¿ëÀ» ÀÇ¹Ì·Î½á °®´Â ¹Ý¸é, °íÀ¯ ¸í»ç´Â ÁöĪü¸¸À» °¡Áø´Ù°í º¸¾Ò´ø ¹ÐÀÇ °ßÇظ¦ ºÎÈ°½ÃÄ×´Ù. ±×¸®°í ÀÌ·¯ÇÑ ¸Æ¶ô¿¡¼­ °íÁ¤ Áö½Ã¾î¸¦ µµÀÔÇÏ¿© ¾ç»ó ¸Æ¶ô°ú °ü·ÃµÈ ¿©·¯ ¹®Á¦µéÀ» ÇØ°áÇÏ°íÀÚ ÇÏ¿´´Ù.

±×·³ Å©¸³Å°ÀÇ °íÁ¤ Áö½Ã¾î¶õ ¹«¾ùÀΰ¡? ¿ì¸®´Â °íÁ¤ Áö½Ã¾î¿Í ÇÔ²² ºñ°íÁ¤ Áö½Ã¾î¸¦ ±¸ºÐÇÒ ¼ö ÀÖ´Ù. ÀϹÝÀûÀ¸·Î ¿ì¸®°¡ °íÀ¯ ¸í»ç¶ó ºÎ¸£´Â °ÍÀº °íÁ¤ Áö½Ã¾îÀÌ´Ù. ¾î¶² Ç¥ÇöÀÌ ¸ðµç °¡´É ¼¼°è¿¡¼­ µ¿ÀÏÇÑ ´ë»óÀ» Áö½ÃÇÑ´Ù¸é °íÁ¤ Áö½Ã¾îÀÌ°í, ±×·¸Áö ¾ÊÀº °æ¿ì¿¡´Â ºñ°íÁ¤ Áö½Ã¾îÀÌ´Ù. ¿¹¸¦ µé¾î¼­ Áö½Ã ´ë»óÀÌ ÀÖ´õ¶óµµ ±â¼ú ¾î±¸´Â ºñ°íÁ¤ Áö½Ã¾îÀÌ´Ù. ÀÌ·¯ÇÑ ±¸ºÐÀº ¾ç»ó ¸Æ¶ô¿¡¼­ Àß µå·¯³­´Ù. '¾Æ¸®½ºÅäÅÚ·¹½º'¶ó´Â À̸§ÀÌ ÀÏ´Ü ¸í¸íµÇ¸é, ¾î¶°ÇÑ °¡´É ¼¼°è¿¡¼­µµ °íÁ¤µÇ¾î ¾Æ¸®½ºÅäÅÚ·¹½º¸¦ Áö½ÃÇÑ´Ù. ±×·¯³ª ±â¼ú ¾î±¸´Â ¹«¾ùÀ» °íÁ¤ÇÏ¿© Áö½ÃÇÏÁö ¾Ê±â ¶§¹®¿¡, ¾ðÁ¦³ª ±× Áö½Ã ´ë»óÀÌ ´Ù¸¥ °ÍÀÏ °¡´É ¼¼°è°Ô¸¦ »ý°¢ÇÒ ¼ö ÀÖ´Â °ÍÀÌ´Ù. »õº®º°°ú Àú³áº°ÀÇ ¹®Á¦¿¡¼­µµ ·¯¼¿Àº µÑÀ» ±â¼ú ¾î±¸¶ó º¸°í ÀÖÁö¸¸, Å©¸³Å°ÀÇ ÀÔÀå¿¡¼­´Â µÑ ´Ù °íÁ¤ Áö½Ã¾îÀÌ´Ù. (º¸´Ù ÀÚ¼¼ÇÑ °ÍÀº Å©¸³Å°ÀÇ Áö½Ã ÀÌ·Ð ÂüÁ¶)

±×·¯¸é ·¯¼¿Àº ±â¼úÀû ÁöĪ·ÐÀÚÀΰ¡? Å©¸³Å°´Â ÇÁ·¹°Ô¿Í ´õºÒ¾î ·¯¼¿À» ÀüÇüÀûÀÎ ±â¼ú·ÐÀÚ·Î º¸°í °ø°ÝÇß´Ù. ·¯¼¿ÀÇ ±â¼úÀ̷п¡ µû¸£¸é ´ëºÎºÐÀÇ °íÀ¯¸í»ç´Â ±â¼ú¾î±¸·Î ºÐ¼®µÉ ¼ö ÀÖ´Ù. ±â¼ú¾î±¸·Î ºÐ¼®µÉ ¼ö ÀÖ´Â ÀÏ»óÀû °íÀ¯ ¸í»çµµ Å©¸³Å°¿¡ µû¸£¸é °íÁ¤ Áö½Ã¾î°¡ µÈ´Ù.

±×·¯³ª ·¯¼¿ÀÇ ±â¼ú ÀÌ·ÐÀÇ ÇÙ½ÉÀº ¸ðµç ±â¼ú ¾î±¸µéÀÌ ¹«ÀǹÌÇÑ °ÍÀ̹ǷÎ, ³í¸®Àû ºÐ¼®À» ÅëÇØ À¯ÀǹÌÇÑ °ÍÀ¸·Î ¹Ù²Ü ¼ö ÀÖ´Ù´Â °ÍÀÌ´Ù. ·¯¼¿Àº, ÇÁ·¹°Ô¿Í´Â ´Þ¸® 'ÀǹÌ'°°Àº ¾ð¾î¿Í ´ë»óÀ» ¸Å°³ÇÏ´Â 3ÀÚ¸¦ ¼³Á¤ÇÔ ¾øÀÌ, Àǹ̴ ¹Ù·Î Áö½Ãü ÀÚüÀ̸ç, ³í¸®Àû °íÀ¯ ¸í»ç´Â »óȲÀ̳ª ¹®¸Æ¿¡ »ó°ü¾øÀÌ °íÁ¤ÀûÀÎ Áö½Ãü¸¦ °®´Â´Ù´Â °ÍÀ» º¸¿©ÁÖ¾ú´Ù.

±×·¸´Ù¸é ³í¸®Àû °íÀ¯ ¸í»ç¿Í °íÁ¤ Áö½Ã¾î°¡ µ¿ÀÏÇÏ´Ù´Â Çؼ®µµ °¡´ÉÇÏ´Ù. ƯÈ÷ ·¯¼¿ÀÌ "Description" ¸¶Áö¸·¿¡¼­ ±â¼ú ¾î±¸ÀÇ ÀÏÂ÷Àû »ç¿ë°ú ÀÌÂ÷Àû »ç¿ëÀ» ±¸ºÐÇÑ °ÍÀº ÀÌ·¯ÇÑ Á¡À» ½Ã»çÇÑ´Ù.

(¤¡) ÇÁ¶û½ºÀÇ ÇöÀç ¿ÕÀº ´ë¸Ó¸®ÀÌ´Ù. (Ex)(Fx & (y)(Fy-->(y=x)) & Bx)

¶ó´Â ¹®ÀåÀ» ºÎÁ¤ÇÒ °æ¿ì(Áï, ÇÁ¶û½ºÀÇ ÇöÀç ¿ÕÀº ´ë¸Ó¸®°¡ ¾Æ´Ï´Ù), ±× ºÎÁ¤('´ë¸Ó¸®°¡ ¾Æ´Ñ ÇÁ¶û½ºÀÇ ÇöÀç ¿ÕÀÌ ÀÖ´Ù'¶ó°í Çؼ®ÇÒ °æ¿ì)°ú (¤¡) ¸ðµÎ Áø¸®Ä¡°¡ °ÅÁþÀÌ µÇ¾î ¹èÁß·ü¿¡ À§¹èµÇ´Â °á°ú°¡ µµÃâµÈ´Ù. ±×·¯³ª ¿ì¸® ¸»¿¡¼­µµ '¾Æ´Ï´Ù'°¡ ¹®Àå Àüü¿Í '´ë¸Ó¸®ÀÌ´Ù'¿¡ °É¸®´Â °æ¿ì¸¦ ±¸ºÐÇÒ ¼ö ÀÖµíÀÌ, µÎ °æ¿ì¸¦ ±¸ºÐÇØ º¼ ¼ö ÀÖ´Ù.

±×·¸´Ù¸é - (Ex)(Fx & (y)(Fy-->(y=x)) & Bx)¿Í (Ex)(Fx & (y)(Fy-->(y=x)) & - Bx)¸¦ ±¸ºÐÇÒ ¼ö Àְڴµ¥, ù °æ¿ì´Â (¤¡)°ú ¹Ý´ë Áø¸®Ä¡¸¦ °®°í ÀÖÀ¸¹Ç·Î ¹èÁß·üÀÌ ÁöÄÑÁö¸ç, ÈÄÀÚ´Â (¤¡)ÀÇ ºÎÁ¤ÀÌ ¾Æ´Ï¹Ç·Î »ó°üÀÌ ¾ø´Ù. ÈÄÀÚÀÇ Çؼ®À» ·¯¼¿Àº ÀÏÂ÷Àû Çؼ®, Àü¶ó¸¦ ÀÌÂ÷Àû Çؼ®À̶ó°í ºÒ·¶´Âµ¥, ÀÌ·¯ÇÑ Çؼ®ÀÇ ±¸ºÐÀº ÀΰúÀû ÁöĪÀÇ °¡´É¼ºÀ» ½Ã»çÇÏ°í ÀÖ´Ù.

 

 

 

 

 

 

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

 

 

 

 

 

 

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

 

 

 

 

 


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