Ãʺ¸ÀÚ
  6 ¿µÈ­·Î öÇÐÇϱâ
  6 ºñÆÇÀû »ç°í
½Ã´ëº° ÀÚ·á
ºÐ¾ßº° ÀÚ·á
  1 ³í¸®ÇÐ
  2 À±¸®ÇÐ
  3 °úÇÐöÇÐ
  4 Èñ¶øöÇÐ
  5 ÀνķÐ
  6 »çȸöÇÐ
  7 ¿¹¼úöÇÐ
öÇÐ °­ÀÇ
  6 ³íºñ»ç
  6 ÇмúÀû ±Û¾²±â
³ªÀÇ »ý°¢µé
  6 öÇÐ ¿¡¼¼ÀÌ
°ü·Ã Á¤º¸
°øÀ¯ ÀÚ·á½Ç
µµ¿ò ¿äû
   

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 
 

 

Ÿ¸£½ºÅ°<1>: "The Semantic Concpetion of Truth"


¤² Ÿ¸£½ºÅ°ÀÇ Ã¶ÇлçÀû ÀÇÀÇ

 

The Semantic Conception of Truth

Alfred Tarski


Ÿ¸£½ºÅ°ÀÇ ÀÌ ³í¹®ÀÇ ÀÇÀÇ: Áø¸®¿¡ ´ëÇÑ ½ÇÁúÀû ÀûÇÕ¼º°ú Çü½ÄÀû ÀûÇÕ¼ºÀ» Á¦½ÃÇÔ. ½ÇÁúÀû ÀûÇÕ¼ºÀº ¾Æ¸®½ºÅäÅÚ·¹½º ÁÖÀǸ¦ ¼ö¿ëÇÏ´Â µ¥¿¡ ¸ñÀûÀÌ ÀÖ°í, Çü½ÄÀû ÀûÇÕ¼ºÀº °ÅÁþ¸»ÀïÀÌ ¿ª¼³À» ÇÇÇÏ´Â °Í¿¡ ¸ñÀûÀÌ ÀÖ´Ù. ÀÌ·¯ÇÑ ¸ñÀûÀº ·¯¼¿ÀÇ ¿ª¼³ µîÀ» ÅëÇؼ­ Çö´ë ³í¸®Çп¡ ´ëµÎµÈ ³­Á¦ÀÇ ¿ª»ç¸¦ ¾Ë¾Æ¾ß ÀÌÇØÇÒ ¼ö ÀÖ´Ù.


ÀÌ ±ÛÀº µÎ ºÎºÐÀ¸·Î ±¸¼º:

(1) ÇÊÀÚÀÇ Å½±¸ÀÇ Áß¿äÇÑ ºÎºÐÀ» ¼³¸íÇÏ´Â ºÎºÐ

(2) ÇÊÀÚÀÇ °ßÇØ¿¡ ´ëÇÑ ¿©·¯ °¡Áö ¹Ý´ëµé¿¡ ´ëÇÑ ³íÀǵé


Çϳª. ¼³¸í


1. ÁÖµÈ ¹®Á¦ - Áø¸®¿¡ ´ëÇÑ ¸¸Á·½º·¯¿î Á¤ÀÇ

ÁÖµÈ ¹®Á¦´Â Áø¸®¿¡ ´ëÇÑ ¸¸Á·½º·¯¿î Á¤ÀÇ(a satisfactory definition of truth), Áï ½ÇÁúÀûÀ¸·Î Àû¾ÐÇÏ°í(materially adequate) Çü½ÄÀûÀ¸·Î ¿Ã¹Ù¸¥(formally correct) Á¤ÀǸ¦ ³»¸®´Â °ÍÀÌ´Ù. ¿ì¸®´Â, ¸ðµç »ç¶÷ÀÌ ±× Á¤ÀÇ°¡ ½ÇÁ¦·Î ±× ½º½º·ÎÀÇ ¿ªÇÒÀ» ¼öÇàÇϴ°¡¸¦ ÃæºÐÈ÷ °áÁ¤ÇÒ ¼ö ÀÖµµ·Ï Á¤È®ÇÏ°Ô ±× Á¤ÀǸ¦ ±¸Ã¼È­ÇØ¾ß ÇÑ´Ù. ±×¸®°í ¶ÇÇÑ ¿ì¸®´Â, Áø¸® °³³äÀÇ Á¤ÀÇ¿¡ »ç¿ëµÇ´Â °³³äµéÀ» ±¸Ã¼È­ÇØ¾ß ÇÑ´Ù. Áï Á¤ÀÇ°¡ ÀÌ·ç¾îÁú ¾ð¾îÀÇ Çü½ÄÀû ±¸Á¶(formal structure)¸¦ ±â¼úÇØ¾ß ÇÑ´Ù.

2. ¡®Áø¸®(true)¡¯¶ó´Â ¿ë¾îÀÇ È®Àå

¿©·¯ °¡Áö ÀÌÀ¯µé ¶§¹®¿¡ ¡®Áø¸®¡¯¶ó´Â ¿ë¾î¸¦ ¹®Àå(¿©±â¼­ÀÇ ¡®¹®À塯Àº ¹®¹ý¿¡¼­ ÀϹÝÀûÀ¸·Î ¾ð±ÞµÇ´Â ¼­¼ú ¹®Àå(declarative sentence)À» ÀǹÌÇÑ´Ù)µé¿¡ Àû¿ëÇÏ´Â °ÍÀÌ °¡Àå Æí¸®ÇØ º¸ÀδÙ. ¿ì¸®´Â ÀÌ·¯ÇÑ ¹æ½ÄÀ» µû¸¦ °ÍÀÌ´Ù. (ÀÌ¿ÜÀÇ ¹æ½ÄÀÇ ´Ù¸¥ ´ë»óµé¿¡ ´ëÇÑ ¡®Áø¸®¡¯ °³³äÀÇ È®Àå °¡´É¼ºÀ» ºÎÀÎÇÏ´Â °ÍÀº ¾Æ´Ô.)

3. ¡®Áø¸®(true)¡¯¶ó´Â ¿ë¾îÀÇ ÀǹÌ

¾Æ¸®½ºÅäÅÚ·¹½ºÀû Á÷°ü: ¿ì¸®´Â Áø¸®¿¡ ´ëÇÑ ¿ì¸®ÀÇ Á¤ÀÇ°¡ °íÀüÀûÀÎ ¾Æ¸®½ºÅäÅÚ·¹½ºÀû Á¤ÀÇ ¼Ó¿¡ ³ªÅ¸³ª´Â Á÷°ü¿¡ ºÎÇÕÇϱ⸦ ¿øÇÔ. Áï ¾î¶² ¹®ÀåÀÌ Á¸ÀçÇÏ´Â »çÅÂ(an existing state of affairs)¸¦ Áö½ÃÇÏ´Â °æ¿ì¿¡ ÇÑÇØ Áø¸®ÀÌ´Ù.

ÀÌ·¯ÇÑ Çü½ÄÈ­ÀÇ ¹®Á¦Á¡: ¿©·¯ °¡Áö ¿ÀÇظ¦ ºÒ·¯ÀÏÀ¸Å´. ¡æ Á÷°üº¸´Ù Á¤È®ÇÑ Ç¥ÇöÀ» ã´Â °ÍÀÌ ÇØ¾ß ÇÒ ÀÏ.

4. Á¤ÀÇÀÇ ½ÇÁúÀû ÀûÇÕ¼ºÀ» À§ÇÑ

±¸Ã¼ÀûÀÎ ¿¹: ¡®´«Àº Èñ´Ù¡¯¶ó´Â ¹®ÀåÀ» °í·ÁÇØ º¸ÀÚ. ÀÌ ¹®ÀåÀÌ Âü ȤÀº °ÅÁþÀÌ µÇ´Â Á¶°ÇÀº ¹«¾ùÀΰ¡?

°íÀüÀûÀÎ °³³äÀ» ¹Þ¾ÆµéÀδٸé, ´«ÀÌ Èò °æ¿ì¿¡ ±× ¹®ÀåÀº ÂüÀÌ°í ±×·¸Áö ¾ÊÀº °æ¿ì ±× ¹®ÀåÀº °ÅÁþÀ̶ó°í ¸»ÇÒ °ÍÀÌ´Ù. ±×·¯¹Ç·Î Áø¸®¿¡ ´ëÇÑ Á¤ÀÇ°¡ ¿ì¸®ÀÇ °³³ä°ú ÀÏÄ¡ÇÑ´Ù¸é, ±×°ÍÀº ´ÙÀ½°ú °°Àº µ¿Ä¡Á¶°ÇÀ» ÇÔÃà.

¢¡ ¡°´«Àº Èñ´Ù¡±¶ó´Â ¹®ÀåÀº ´«ÀÌ Èò °æ¿ì¿¡ ±×¸®°í ¿ÀÁ÷ ±× °æ¿ì¿¡¸¸ ÂüÀÌ´Ù.(The sentence "snow is white" is true if and only if snow is white.)

¡æ ¹®ÀåÀÇ ¿À¸¥ Æí¿¡´Â ¹®Àå ±× ÀÚü°¡, ±×¸®°í ¿Þ Æí¿¡´Â ±× ¹®ÀåÀÇ À̸§ÀÌ ³õ¿© ÀÖ´Â ±¸Á¶. ¿ì¸®´Â ÀÌ ±¸Á¶¸¦ ´ÙÀ½°ú °°ÀÌ ÀϹÝÈ­½Ãų ¼ö ÀÖ´Ù.

X´Â pÀÎ °æ¿ì ±×¸®°í ¿ÀÁ÷ ±× °æ¿ì¿¡¸¸ ÂüÀÌ´Ù. (X is true if and only if p.)

¡æ (´Ü X´Â ¹®Àå pÀÇ À̸§ÀÌ´Ù.)


¿ì¸®´Â ÀÌ µ¿Ä¡¸¦ (T) µµ½ÄÀÇ µ¿Ä¡(equivalence of the form (T))¶ó°í ºÎ¸¦ °ÍÀÌ´Ù. ÀÌÁ¦ ¿ì¸®´Â µåµð¾î, ¡®Áø¸®¡¯ Á¤ÀÇÀÇ ½ÇÁúÀû ÀûÇÕ¼ºÀ» À§ÇÑ ±âÁØÀ» Á¦½ÃÇÒ ¼ö ÀÖ°Ô µÇ¾ú´Ù. ¿ì¸®´Â ÀÓÀÇÀÇ Áø¸®¿¡ ´ëÇÑ Á¤ÀǷκÎÅÍ ÀÌ·¯ÇÑ ¸ðµç µ¿Ä¡µéÀÌ µû¶ó ³ª¿À´Â °æ¿ì, ±× Áø¸®¿¡ ´ëÇÑ Á¤ÀǸ¦ ¡°ÀûÇÕÇÏ´Ù¡±¶ó°í ºÎ¸¦ °ÍÀÌ´Ù.


5. Àǹ̷ÐÀû °³³äÀ¸·Î¼­ÀÇ Áø¸®

Áö±Ý±îÁö °³ÁøµÈ Áø¸® °³³ä: ¡°Áø¸®¿¡ ´ëÇÑ Àǹ̷ÐÀû °³³ä¡±À̶ó°í À̸§ ºÙÀÌÀÚ. Àǹ̷ÐÀ̶õ ¹«¾ùÀΰ¡?

Àǹ̷Ð: Àº ¾ð¾îÀÇ Ç¥Çöµé°ú ±× Ç¥ÇöµéÀÌ Áö½ÃÇÏ´Â ´ë»óµé »çÀÌÀÇ °ü°è¸¦ ´Ù·ç´Â Çй®ÀÌ´Ù.

- Àǹ̷ÐÀÇ ´ëÇ¥ÀûÀÎ °³³äÀ¸·Î¼­ Áö½Ã(designation), ¸¸Á·(satisfaction), Á¤ÀÇ(definition) µîÀ» µé ¼ö ÀÖ´Ù.

ÀÌ·¯ÇÑ ´Ü¾îµéÀÌ °ü°è¸¦ Ç¥ÇöÇÏ´Â ¹Ý¸é, ¡°Áø¸®¡±¶ó´Â ´Ü¾î´Â ÀÓÀÇÀÇ Ç¥Çöµé, Áï ¹®ÀåµéÀÇ ¼Ó¼ºµéÀ» ³ªÅ¸³½´Ù. ±×·±µ¥, ¾Õ¼­ Áø¸® °³³äÀÇ ¼³¸íÀ» À§ÇØ µµÀԵǾú´ø ¸ðµç Çü½ÄÈ­µéÀº ¹®Àå ÀÚü »Ó ¾Æ´Ï¶ó, ±× ¹®ÀåµéÀÌ Áö½ÃÇÏ´Â ´ë»óµéÀ» µ¿½Ã¿¡ ¾ð±ÞÇÏ°í ÀÖ¾ú´Ù. ±×¸®°í Áø¸®¿¡ ´ëÇÑ Á¤È®ÇÑ Á¤ÀǸ¦ ¾ò´Â °¡Àå °£´ÜÇÏ°í ÀÚ¿¬½º·¯¿î ¹æ¹ýÀº ¸¸Á·À̶ó´Â Àǹ̷ÐÀû °³³äÀ» »ç¿ëÇÏ´Â °ÍÀ̶ó´Â Á¡ÀÌ Àá½Ã ÈÄ¿¡ µå·¯³¯ °ÍÀÌ´Ù.

¢¡ ±×·¡¼­ ¿ì¸®°¡ Áø¸® °³³äÀ» Àǹ̷ÐÀû °³³äµé¿¡ Æ÷ÇÔ½ÃÅ°°íÀÚ ÇÏ´Â °Í.


6. ±¸Ã¼È­µÈ ±¸Á¶¸¦ Áö´Ñ ¾ð¾îµé(languages with a specified structure)

Áø¸® °³³äÀÇ ¹®Á¦´Â, ±¸Ã¼È­µÈ ±¸Á¶¸¦ Áö´Ñ ¾ð¾î ÇÏ¿¡¼­¸¸ ¾ö¹ÐÇÑ ¹æ½ÄÀ¸·Î ÇØ°áµÉ ¼ö ÀÖ´Ù. ÀÚ¿¬¾ð¾î(´ëÇ¥ÀûÀÎ ¿¹)¿¡¼­´Â ¹®Á¦ÀÇ Àǹ̰¡ ´Ù¼Ò°£ ¾Ö¸ÅÇÏ°í ÇØ°áÀº ±Ù»çÀûÀÏ ¼ö¹Û¿¡ ¾ø´Ù.


7. °ÅÁþ¸»ÀïÀÌÀÇ ¿ª¼³(the antinomy of the liar)

Áø¸®¿¡ ´ëÇÑ Á¤ÀÇ°¡ ÁÖ¾îÁö´Â ¾ð¾î°¡ ÃæÁ·½ÃÄÑ¾ß ÇÒ Á¶°ÇµéÀ» ¹ß°ßÇϱâ À§Çؼ­ °íÂûÇÊ¿ä.

¡°Æıúºñ »çÀÌÆ® Ÿ¸£½ºÅ°<1> ¹®¼­¿¡ ÀÖ´Â Çϳª»ÓÀÎ »¡°£»ö ¹®ÀåÀº ÂüÀÌ ¾Æ´Ï´Ù.¡±

ÀÌ ¹®ÀåÀ» ¡®s'¶ó°í ºÎ¸£ÀÚ. ¿ì¸®´Â ¾Õ¿¡¼­ Áø¸® °³³äÀÇ Á¤ÀÇ·Î Á¦½ÃÇÑ (T) µµ½Ä¿¡ µû¶ó ´ÙÀ½À» ÁÖÀåÇÒ ¼ö ÀÖ´Ù.


(1) Æıúºñ »çÀÌÆ® Ÿ¸£½ºÅ°<1> ¹®¼­¿¡ ÀÖ´Â Çϳª»ÓÀÎ »¡°£»ö ¹®ÀåÀÌ ÂüÀÌ ¾Æ´Ñ °æ¿ì, ±×¸®°í ±× °æ¿ì¿¡¸¸ ¡®s'´Â ÂüÀÌ´Ù. ±×¸®°í ¡¯s'ÀÇ Àǹ̿¡¸¸ ÁÖÀǸ¦ ±â¿ïÀÌ¸é ´ÙÀ½ÀÇ ¹®Àåµµ ÁÖÀåÇÒ ¼ö ÀÖ´Ù.

(2) ¡®s'´Â Æıúºñ »çÀÌÆ® Ÿ¸£½ºÅ°<1> ¹®¼­¿¡ ÀÖ´Â Çϳª»ÓÀÎ »¡°£»ö ¹®Àå°ú ¼­·Î °°´Ù.


(1)¹ø ¹®Àå ¡®Æıúºñ »çÀÌÆ® Ÿ¸£½ºÅ°<1> ¹®¼­¿¡ ÀÖ´Â Çϳª»ÓÀÎ »¡°£»ö ¹®À塯 ´ë½Å ¡®s¡¯¸¦ Áý¾î ³ÖÀ¸¸é, ¿ì¸®´Â ´ÙÀ½°ú °°Àº ¿ª¼³Àû »óȲ¿¡ Á÷¸éÇÏ°Ô µÈ´Ù.

: ¡®s¡¯´Â ¡®s¡¯°¡ ÂüÀÌ ¾Æ´Ñ °æ¿ì, ±×¸®°í ¿ÀÁ÷ ±× °æ¿ì¿¡¸¸ ÂüÀÌ´Ù.(¡®s¡¯ is true if and only if 's' is not true)


¿ì¸®°¡ ÇØ¾ß ÇÒ ÀÏÀº, ÀÌ·¯ÇÑ ¿ª¼³ÀÌ À̲ø¾îÁú ¼ö ÀÖ´Â ÀüÁ¦µéÀ» ºÐ¼®ÇÏ¿©, Àû¾îµµ ±× ÁßÀÇ Çϳª¸¦ °ÅºÎÇÔÀ¸·Î½á ÀÌ ¿ª¼³À» ÇØ°áÇÏ´Â ÀÏÀÌ´Ù.


8. Àǹ̷ÐÀûÀ¸·Î ´ÝÈù ¾ð¾îµéÀÇ ºñÀÏ°ü¼º

¿ì¸®´Â ´ÙÀ½°ú °°Àº ¼¼ °¡Áö ÀüÁ¦µéÀ» ¹ß°ßÇÒ ¼ö ÀÖ´Ù.

(i) ¿ì¸®´Â ÇϳªÀÇ ¾ð¾î°¡ Ç¥Çöµé »Ó ¾Æ´Ï¶ó ±× Ç¥ÇöµéÀÇ À̸§µé, ±×¸®°í ±× Ç¥Çöµé¿¡ Àû¿ëµÇ´Â ¡®Áø¸®¡¯¿Í °°Àº Àǹ̷ÐÀû ¿ë¾îµéµµ Æ÷ÇÔÇÑ´Ù°í °¡Á¤Çß´Ù. ±×¸®°í ±×·¯ÇÑ ¿ë¾îµéÀÇ ÀûÇÕÇÑ »ç¿ëÀ» °áÁ¤ÇÏ´Â ¸ðµç ¹®ÀåµéÀÌ ±× ¾ð¾î ÇÏ¿¡¼­ ÁÖÀåµÉ ¼ö ÀÖ´Ù°í °¡Á¤Çß´Ù. - ÀÌ·± ¾ð¾î: ¡°Àǹ̷ÐÀûÀ¸·Î ´ÝÈù ¾ð¾î¡±¶ó°í ºÎ¸§.

(ii) ¿ì¸®´Â ÀÌ ¾ð¾î ÇÏ¿¡¼­ ÀÏ»óÀûÀÎ ³í¸®¹ýÄ¢ÀÌ ¼º¸³µÈ´Ù°í °¡Á¤Çß´Ù.

(iii) ¿ì¸®´Â (2)¹ø°ú °°Àº °æÇèÀû ÀüÁ¦(¡®s'´Â Æıúºñ »çÀÌÆ® Ÿ¸£½ºÅ°<1> ¹®¼­¿¡ ÀÖ´Â Çϳª»ÓÀÎ »¡°£»ö ¹®Àå°ú ¼­·Î °°´Ù.)¸¦ ¿ì¸®ÀÇ ¾ð¾î ÇÏ¿¡¼­ Çü¼ºÇÏ°í ÁÖÀåÇÒ ¼ö ÀÖ´Ù°í °¡Á¤Çß´Ù.


ÀüÁ¦ °ËÅä

(iii)Àº ¿ª¼³ Çü¼º¿¡ À־ ±Ù¿øÀûÀÌÁö ¾Ê´Ù. ±×·¯¹Ç·Î ÀÌ ÀüÁ¦¸¦ °ÅºÎÇÔÀ¸·Î½á ¿ª¼³Çü¼ºÀ» ¸·À» ¼ö ¾ø´Ù.

±×·¯¹Ç·Î, (i)³ª (ii) Áß Çϳª¸¦ °ÅºÎÇϰųª µÑ ´Ù °ÅºÎÇÏ´Â ¼öµµ ÀÖÀ» °ÍÀÌ´Ù.

ÇÏÁö¸¸ µÎ ¹ø° °Í, Áï (ii)¸¦ °ÅºÎ(³í¸®¹ýÄ¢À» °ÅºÎ)ÇÏ´Â °ÍÀº ºÒ°¡´ÉÇÏ´Ù.

±×·¯¹Ç·Î ù ¹ø° °¡Á¤ÀÇ °ÅºÎ¸¦ °í·ÁÇØ¾ß ÇÑ´Ù. ¢¡ Àǹ̷ÐÀûÀ¸·Î ´ÝÈù ¾ð¾î¸¦ »ç¿ëÇؼ­´Â ¾ÈµÈ´Ù.


9. ´ë»ó ¾ð¾î¿Í ¸ÞŸ ¾ð¾î

Àǹ̷ÐÀûÀ¸·Î ´ÝÈù ¾ð¾î¸¦ »ç¿ëÇÏÁö ¾Ê±â·Î ÇÏ¿´À¸¹Ç·Î ¡æ µÎ °³ÀÇ ¼­·Î ´Ù¸¥ ¾ð¾î¸¦ »ç¿ëÇØ¾ß ÇÔ.

ù ¹ø° ¾ð¾î: Áø¸®ÀÇ Á¤ÀÇ°¡ Àû¿ëµÇ´Â ¿µ¿ªÀÇ ¾ð¾î, (´ë»ó ¾ð¾î)

µÎ ¹ø° ¾ð¾î: Áø¸®ÀÇ Á¤ÀÇ ±× ÀÚü°¡ ÀÌ·ç¾îÁö´Â ¿µ¿ªÀÇ ¾ð¾î. (¸ÞŸ ¾ð¾î)


10. ÁÖµÈ ¹®Á¦ ÇØ°áÀ» À§ÇÑ Á¶°Çµé

¿ì¸®°¡ ¾òÀº °Í: Áø¸®ÀÇ Á¤ÀÇ°¡ ¸¸Á·½ÃÄÑ¾ß ÇÒ ½ÇÁúÀû ÀûÇÕ¼º°ú, ±×·¯ÇÑ Á¤ÀÇ°¡ ÀÌ·ç¾îÁ®¾ß ÇÏ´Â ¾ð¾îÀÇ Çü½ÄÀû ±¸Á¶¿¡ ´ëÇÑ ºÐ¸íÇÑ ÀÌÇØ.

¹®Á¦ÀÇ ÇØ°á: ´ë»ó ¾ð¾î¿Í ¸ÞŸ ¾ð¾î »çÀÌÀÇ °ü°è¿¡ ÀÇÁ¸ÇÑ´Ù.

- Á» ´õ Á¤È®È÷ ¸»ÇÏÀÚ¸é, ¸ÞŸ ¾ð¾î°¡ ±× ³í¸®Àû ºÎºÐ¿¡ À־ ´ë»ó ¾ð¾îº¸´Ù ¡°º»ÁúÀûÀ¸·Î ´õ dzºÎÇÑ(essentially richer) °æ¿ì¡± ¹®Á¦°¡ ÇØ°áµÉ ¼ö ÀÖ´Ù.

±×·¸Áö ¸øÇÑ °æ¿ì: ´ë»ó ¾ð¾îÀÇ Àß °áÁ¤µÈ ¿ë¾îµéÀÌ ¸ÞŸ ¾ð¾îµé°ú »óÈ£ ¿¬°üµÉ ¼ö ÀÖ°Ô µÇ°í, °á±¹Àº ¸ÞŸ ¾ð¾î¿¡¼­ ÁÖÀåµÉ ¼ö ÀÖ´Â ¹®ÀåµéÀÌ ´ë»ó ¾ð¾î¿¡¼­ ÁÖÀåµÉ ¼ö ÀÖ´Â ¹®Àåµé°ú »ó°ü¼ºÀ» °®°Ô µÈ´Ù. ¡æ ´Ù½Ã °ÅÁþ¸»ÀïÀÌ ¿ª¼³ÀÌ À籸¼ºµÉ ¼ö ÀÖ´Ù.


11. Á¤ÀÇÀÇ ±¸¼º

Áø¸®ÀÇ Á¤ÀÇ´Â ¸¸Á·À̶ó´Â Àǹ̷ÐÀû °³³äÀ» ÅëÇØ ½±°Ô ¾òÀ» ¼ö ÀÖ´Ù.

¸¸Á·À̶õ? : ÀÓÀÇÀÇ ´ë»ó°ú ¡°¹®ÀåÇÔ¼ö¡±¶ó°í ºÒ¸®´Â Ç¥Çöµé »çÀÌÀÇ °ü°èÀÌ´Ù. ¿¹¸¦ µé¾î, ¡®´«¡¯Àº ¡®x´Â Èñ´Ù¡¯¶ó´Â ¹®Àå ÇÔ¼ö¸¦ ¸¸Á·½ÃŲ´Ù. ÀÌ·¯ÇÑ ¸¸Á· °³³äÀ» ÀÌ¿ëÇÏ¿© Áø¸®´Â ´ÙÀ½°ú °°ÀÌ Á¤ÀǵȴÙ.

¡Û ¾î¶² ¹®ÀåÀº, ±× ¹®ÀåÀÌ ¸¸Á·µÇ´Â °æ¿ì ÂüÀÌ°í ±×·¸Áö ¸øÇÑ °æ¿ì °ÅÁþÀÌ´Ù.(a sentence is true if it is satisfied by all objects, and false otherwise.)


12. Á¤ÀÇÀÇ ±Í°áµé

À§¿¡¼­ Á¤ÀÇÇÑ Áø¸®ÀÇ °³³äÀº ¿©·¯ °¡Áö ±Í°áµéÀ» °®´Â´Ù.

´ëÇ¥ÀûÀÎ ±Í°á: Áø¸®¿¡ ´ëÇÑ Á¤ÀÇ´Â Çü½ÄÀûÀ¸·Î ¿Ã¹Ù¸¦ »Ó ¾Æ´Ï¶ó, ½ÇÁúÀûÀ¸·Îµµ ÀûÇÕÇÏ°í, µû¶ó¼­ Áø¸®ÀÇ Á¤ÀÇ´Â (T) µµ½ÄÀÇ ¸ðµç µ¿Ä¡µéÀ» ÇÔÃàÇÑ´Ù. - ½ÇÁúÀûÀ¸·Î ÀûÇÕÇÑ, Áø¸®¿¡ ´ëÇÑ Á¤ÀÇ´Â ÇÊ¿¬ÀûÀ¸·Î ½ÇÁ¦·Î ±¸¼ºµÈ °Í(that actually constructed)°ú µ¿µîÇÏ´Ù.


13. °á°úÀÇ, ´Ù¸¥ Àǹ̷ÐÀû °³³äµé·ÎÀÇ È®Àå

Áø¸®¿¡ ´ëÇÑ ¿ì¸®ÀÇ ³íÀÇ¿¡¼­ ¾ò¾îÁø °á°úµéÀº ´Ù¸¥ Àǹ̷ÐÀû °³³äµé¿¡µµ È®ÀåÀÌ °¡´É.

Áï, Áø¸®¿¡ ´ëÇÑ ºÐ¼®°ú µ¿ÀÏÇÑ ¹æ½ÄÀ¸·Î ´Ù¸¥ Àǹ̷ÐÀû °³³äµéÀ» ºÐ¼®ÇÒ ¼ö ÀÖ´Ù.


µÑ, ³íÀïÀû Ç¥Çöµé


14. Áø¸®ÀÇ Àǹ̷ÐÀû °³³äÀÌ ¡®¿Ã¹Ù¸¥¡¯ °ÍÀΰ¡?

³ª´Â, ³ªÀÇ °³³äÀÌ ¿Ç´Ù°Å³ª À¯ÀÏÇÏ°Ô °¡´ÉÇÑ °ÍÀ̶ó°í ÀÌÇصÇÁö ¾Ê±â ¹Ù¶õ´Ù. ÇÊÀÚ(Ÿ¸£½ºÅ°)ÀÇ Àǹ̷ÐÀû Áø¸® °³³ä¿¡ ´ëÇÑ °áÁ¤Àû ¹Ý¹ÚÀÌ ¹Ì·¡¿¡ Á¦±âµÉ °¡´É¼º ÀÎÁ¤.


15. Á¦¾ÈµÈ Áø¸® °³³äÀÇ Çü½ÄÀû ¿Ã¹Ù¸§

¾î¶² »ç¶÷µéÀÇ ¹Ý·Ð: Áø¸®¿¡ ´ëÇÑ Á¤ÀÇ ¼ÓÀÇ ¹®Àå ¿¬°á»çµéÀÌ Âü, °ÅÁþÀ» ÅëÇØ ¼³¸íµÉ ¼ö ÀÖ´Â °ÍÀÌ°í, µû¶ó¼­ Áöµ¶ÇÑ ¼øȯ¿¡ ºüÁö´Â °ÍÀÌ ¾Æ´Ñ°¡?

¡æ ´ë´ä: ÇÊÀÚ°¡ ¹®Àå ¿¬°á»ç¸¦ ÅëÇØ °ü½ÉÀ» °®°í ÀÖ´Â °Í: Âü °ÅÁþÀÇ ¿©ºÎ°¡ ¾Æ´Ï¶ó Áõ¸í°¡´É¼º(provability)ÀÇ ¿©ºÎÀÏ »Ó. ¹®À忬°á»çµéÀº Á¤ÀǵÇÁö ¾ÊÀº ¿ë¾îµé, ȤÀº ´Ù¸¥ ¹®Àå ¿¬°á»çµé¿¡ ÀÇÇØ Á¤ÀǵǴ °ÍÀ¸·Î ÀÌÇØ.

¶Ç ´Ù¸¥ ºñÆÇ: (T) µµ½ÄÀÌ Áö³ªÄ¡°Ô °£·«È­µÇ¾ú´Ù´Â °Í. ºñÆÇÀÚµéÀÇ Á¦¾È

X´Â p°¡ ÂüÀÎ °æ¿ì¿¡¸¸, ±×¸®°í ¿ÀÁ÷ ±× °æ¿ì¿¡¸¸ ÂüÀÌ´Ù.(X is true if and only if p is true.)

¡æ ´ë´ä: ÀÌ·± ¹Ý´ë´Â ¹®Àå ¿¬°á»ç¸¦ Á¦´ë·Î ÀÌÇØÇÏÁö ¸øÇϱ⠶§¹®¿¡ ¹ß»ý. Áï ¹®Àåµé°ú ±× ¹®ÀåµéÀÇ À̸§À» ¼­·Î È¥µ¿. ¡®p¡¯¿¡ ¹®Àå ´ë½Å ¹®Àå À̸§À» ´ëüÇÑ´Ù¸é (T) µµ½ÄÀº ¹«ÀǹÌÇØÁø´Ù.


16. Àǹ̷ÐÀû ¿ë¾îÀÇ À׿©¼º(redundancy) - Á¦°Å °¡´É¼º: Ÿ¸£½ºÅ°¿¡ ´ëÇÑ ¹Ý·Ð

¹Ý·Ð: Áø¸®¿¡ ´ëÇÑ Àǹ̷ÐÀû °³³äÀº ±Ùº»ÀûÀ¸·Î ¡®X°¡ ÂüÀÌ´Ù¡¯¶ó´Â ¹®ÀåÀ» X°¡ Áö½ÃÇÏ´Â ´ë»ó°ú µ¿ÀÏÇÑ °ÍÀ¸·Î Ãë±ÞÇÏ´Â °Í. ¡Å ¡®ÂüÀÌ´Ù¡¯¶ó´Â Àǹ̷ÐÀû ¿ë¾î´Â ½±°Ô Á¦°ÅµÉ ¼ö ÀÖ°í, ¸ÞŸ ¾ð¾î ¼Ó¿¡ Æ÷ÇԵǴ ±× ¹®Àå ÀÚü(X)¸¦ ´ë»ó ¾ð¾î ¼ÓÀÇ ¹®Àå(p)À¸·Î ´ëüÇÒ ¼ö ÀÖ´Ù. µû¶ó¼­ Àǹ̷ÐÀû Áø¸® °³³äÀº ¾µ¸ð¾ø¾îÁø´Ù.

´ë´ä: ¹®Á¦°¡ ´Ü¼øÇÏÁö ¾Ê´Ù. ¹®ÀåÀÇ À̸§ÀÌ ±× ÀÚü·Î¼­ ¹®Àå ±× ÀÚü¸¦ À籸¼ºÇØ ÁÙ ¼ö ÀÖ´Â °æ¿ì¿¡¸¸ ±×·¯ÇÑ Á¦°Å°¡ °¡´É.


17. Áø¸®¿¡ ´ëÇÑ Àǹ̷ÐÀû °³³ä°ú öÇÐÀû »ó½ÄÀû »ç¿ë »çÀÌÀÇ ÀÏÄ¡¼º

Áø¸®¿¡ ´ëÇÑ ÀǹÌl·ÐÀû °³³äÀÌ Á¤¸»·Î ÀÌ °³³ä¿¡ ´ëÇÑ °íÀüÀû ÀÌÇØ¿Í ÀÏÄ¡Çϴ°¡? - ÇÊÀÚ´Â ±×·¸´Ù°í ¹ÏÀ½.

¡æ ÀÌ ¹®Á¦´Â Åë°èÀûÀÎ ¹æ¹ýÀ» ÅëÇØ È®À뵃 ¼ö ÀÖ´Â °Í °°´Ù.


18. Á¤ÀÇ¿Í, Áø¸®¿¡ °üÇÑ Ã¶ÇÐÀû ÀνķÐÀû °ü½Éµé°úÀÇ °ü°è

ºñÆÇ: Áø¸®¿¡ ´ëÇÑ Çü½ÄÀû Á¤ÀÇ°¡ Áø¸®¿¡ ´ëÇÑ Ã¶ÇÐÀû ¹°À½µé°ú °ü°è¾øÁö ¾Ê´Â°¡?

´ë´ä: ¾î´À ´©±¸µµ ÀÌ ¹®Á¦¸¦ ÀÌÇØÇÒ ¼ö ÀÖ´Â ¹æ½ÄÀ¸·Î Á¦±âÇØ ÁØ »ç¶÷Àº ¾ø¾ú´Ù. ¡®Áø¸®ÀÇ Ã¶ÇÐÀû ¹®Á¦¡¯¿Í °°Àº °ÍÀº ¾ø´Ù°í ¹ÏÀ½. Áø¸® °³³ä¿¡ ´ëÇÑ ÁöÀûÀÌ°í Èï¹ÌÀÖ´Â ¹®Á¦µéÀÌ Á¸ÀçÇÏÁö¸¸ ÀÌ ¹®Á¦µéÀº ÀÌ °³³ä¿¡ ´ëÇÑ Á¤ÀÇ À§¿¡¼­¸¸ ÇØ°áµÉ ¼ö ÀÖ´Ù.


19. Àǹ̷Р¼ÓÀÇ ÇüÀÌ»óÇÐÀû ¿ä¼Òµé

ºñÆÇ: Áø¸®¿¡ ´ëÇÑ Àǹ̷ÐÀû °³³äÀº, ÇüÀÌ»óÇÐÀû ¿ä¼Ò¸¦ Æ÷ÇÔÇÏ°í ÀÖ´Ù.

´ë´ä: ¡®ÇüÀÌ»óÇÐÀû¡¯À̶ó´Â ¿ë¾î¸¦ ¡®°æÇèÀû¡¯ ±×¸®°í ¡®¿¬¿ªÀû¡¯À̶ó´Â ¿ë¾î¿¡ ¹Ý´ëµÇ´Â Àǹ̷ΠÀÌÇØÇÑ´Ù¸é Àǹ̷ÐÀû Áø¸® °³³ä¿¡´Â ÇüÀÌ»óÇÐÀû ¿ä¼Ò°¡ Æ÷ÇÔµÇÁö ¾Ê¾Ò´Ù.


20, 21, 22. Ư¼ö °æÇè °úÇÐ, °æÇè °úÇÐÀÇ ¹æ¹ý·Ð, ¿¬¿ªÀû °úÇÐÀ¸·ÎÀÇ Àû¿ë °¡´É¼º

ÇÊÀÚ´Â ÀÌ ¼¼°¡Áö ¸ðµÎÀÇ °¡´É¼ºÀÌ ³«°üÀûÀ̸ç, ¶ÇÇÑ ¾î´À Á¤µµ ±Ù°ÅÀÖ´Â ³«°üÀ̶ó°í ¹ÏÀ½.


23. ¸¶Áö¸· ¾ð±Þ

ÇÊÀÚÀÇ ¸¶¹«¸®: °úÇÐÀû ¼ºÃ븦 ±×°ÍÀÇ Àû¿ë¿¡ ÀÇÇØ Æò°¡ÇÏ°íÀÚ ÇÏ´Â Á¡À» ¾ð±Þ.

ÇÑ »ç¶÷ÀÇ ÀÛ¾÷ÀÌ °®´Â °¡Ä¡°¡ ´Ù¸¥ ¿¬±¸µé ¹× ½ÇÁ¦ÀûÀÎ È°¿ë¿¡ µµ¿òÀÌ µÇ´Â °æ¿ì Áõ°¡µÉ ¼ö ÀÖÁö¸¸, ±×·¯ÇÑ À¯¿ë¼º°ú Àû¿ë¼º¿¡ ÀÇÇؼ­¸¸ ¹èŸÀûÀ¸·Î Æò°¡ÇÏ´Â °ÍÀº °úÇÐÀÇ Áøº¸¿¡ À¯ÇØÇÒ °ÍÀÌ´Ù.



 

 

 

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

 

 

 

 

 

 

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

 

 

 

 

 


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