½ÇÁú ÇÔÃà, Çü½ÄÀû ÇÔÃà, ¾ö¹Ð ÇÔÃà

 


1. ½ÇÁúÀû ÇÔÃà(Material Implication)

(1) Àü°ÇÀÌ ÂüÀÌ°í ÈÄ°ÇÀÌ °ÅÁþÀÎ °æ¿ì¸¦ Á¦¿ÜÇÏ°í´Â Ç×»ó ÂüÀÌ´Ù.
(2) ·¯¼¿Àº óÀ½¿¡´Â °áÈ¥ÀÌ µÎ »ç¶÷ »çÀÌÀÇ °ü°èÀÎ °Í°ú ¶È°°Àº Àǹ̷Î, ½ÇÁúÀû ÇÔÃàÀº "¸íÁ¦µé"À̶ó´Â ´ë»óµé »çÀÌÀÇ °ü°è¶ó°í ¹Ï¾ú´Ù. ±×·¯³ª ±×´Â ÀÌ·± °üÁ¡À» ¹ö¸®°í, ¸¶Ä¡ ÁýÇÕµéó·³ ¸íÁ¦µéÀ» "³í¸®Àû ±¸Á¶µé"(logical constructions)·Î °£ÁÖÇÏ¿´´Ù.

2. Çü½ÄÀû ÇÔÃà(Formal Implication)

(1) (·¯¼¿ÀÇ "½ÇÀçÀû" ¾ð¾î("realistic language)¸¦ »ç¿ëÇÏÀÚ¸é) Çü½ÄÀû ÇÔÃàÀº ¸íÁ¦µé »çÀÌÀÇ °ü°è°¡ ¾Æ´Ï¶ó ±×°¡ "¸íÁ¦Àû ÇÔ¼öµé(propositional functions)"¶ó°í ºÎ¸£´Â °Íµé »çÀÌÀÇ °ü°èÀÌ´Ù.
(2) ´ëÃæ ¸»ÇÏÀÚ¸é, Çü½ÄÀû ÇÔÃàÀ̶õ ¼Ó¼ºµé(properties) »çÀÌÀÇ °ü°è¶ó°í ¸»ÇÒ ¼ö ÀÖ´Ù. ÀÌ ¶§ ÇϳªÀÇ ¼Ó¼ºÀÌ Çü½ÄÀûÀ¸·Î ´Ù¸¥ °ÍÀ» ÇÔÃàÇϴµ¥ ÈÄÀÚ ¾øÀÌ´Â ÀüÀÚ°¡ °áÄÚ Á¸ÀçÇÒ ¼ö ¾ø´Ù; ¿¹¸¦ µéÀÚ¸é Àΰ£ÀÎ °ÍÀº Çü½ÄÀûÀ¸·Î Á×´Â °Í(mortal)À» ÇÔÃàÇÑ´Ù.

(3) Çü½ÄÀû ÇÔÃàÀº ÁýÇÕÀÇ Æ÷ÇÔÀ̶ó´Â °³³ä°ú ±íÀº °ü·ÃÀÌ ÀÖ´Ù. - ¸¸¾à AÀÇ ¿ø¼ÒÀÎ °ÍÀÌ BÀÇ ¿ø¼ÒÀÎ °ÍÀ» Çü½ÄÀûÀ¸·Î ÇÔÃàÇÑ´Ù¸é A´Â B¿¡ Æ÷ÇԵȴÙ.

3. ¾ö¹Ð ÇÔÃà(Strict Implication)

(1) 'Àü°ÇÀÌ ÂüÀÌ°í ÈÄ°ÇÀÌ °ÅÁþ'ÀÎ °ÍÀÌ ºÒ°¡´ÉÇÑ °Í.
(2) ÈÄ°ÇÀÌ Àü°ÇÀ¸·ÎºÎÅÍ ¿¬¿ª°¡´ÉÇÒ ¶§ ÂüÀÌ´Ù.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

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

 

 

 

 

 


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