³í¸®¶õ ¹«¾ùÀΰ¡?

  

°£´ÜÈ÷ ¸»Çؼ­ ³í¸®¶õ Ãß·Ð (Reasoning) ÀÌ´Ù. A±ºÀÌ "¼Ò³ª±â°¡ ½ñ¾ÆÁö°Ú´Âµ¥, ±×·¸°Ô µÇ¸é ¿À´ÃÀÇ ¾ß±¸½ÃÇÕÀº Ãë¼ÒµÇ°ÚÁö" ÇÑ´Ù. ÀÌ ¸»À» µè°í ÀÖ´ø B±ºÀÌ ¹®À» ¿­°í ¹ÛÀ» ³»´Ùº¸¸é¼­ "¼Ò³ª±â°¡ ´ÚÃÄ ¿À´Â °É" ÇÑ´Ù. A±ºÀº "±×·³ ¾ß±¸½ÃÇÕÀº Ãë¼ÒµÇ°Ú±º" ÇÑ´Ù ...... ÀÌ°ÍÀÌ Ãß·Ð ÀÌ´Ù. ³í¸®°¡ Ãß·ÐÀ̶ó°í ÇÏ¸é ±×°ÍÀº ¿ì¸®ÀÇ ÀÏ»ó »ýÈ° ¼Ó¿¡¼­ ´Ã ÇàÇÏ´Â »ç°íÀÇ ½ÇÁúÀû È°µ¿ÀÌ¿ä, ¶Ç ÇൿÀ» °áÁ¤ÇÏ´Â ÀÎÀÚÀ̱⵵ ÇÏ´Ù. ±×·¯³ª Ãß·ÐÀ̶ó°í Çؼ­ ´Ù Ÿ´çÇÑ °ÍÀº ¾Æ´Ï´Ù. ºñ·Ï ¿Ü¾çÀº Ãß·ÐÇü½ÄÀ» °®Ãß¾úÁö¸¸ Ÿ´çÇÏÁö ¸øÇÑ Ã߷еµ ¾ó¸¶µçÁö ÀÖ´Ù. ±×·¯±â¿¡ Ãß·ÐÀÇ Å¸´ç¼º ¿©ºÎ¸¦ °ËÅäÇØ¾ß ÇÑ´Ù. ±× Ãß·ÐÀÇ Å¸´ç¼º °ËÁõÀ» ±â´ÉÀûÀ¸·Î ¼öÇàÇϱâ À§ÇÏ¿© Ãß·ÐÀ» Çü½ÄÈ­ÇÏ°í, Á¤È®ÇÏ°í ¾ö°ÝÇÏ°Ô Çϱâ À§ÇÏ¿© ±âÈ£¸¦ »ç¿ëÇϱ⵵ ÇÑ´Ù. ±×¸®ÇÏ¿© ÀϹÝÀûÀ¸·Î ³í¸®´Â Çü½Ä³í¸®¶ó ºÒ¸®¿ì°í, ƯÈ÷ ±âÈ£¸¦ »ç¿ëÇÑ ³í¸®¸¦ ±âÈ£³í¸® (symbolic logic) ¶ó°í ÇÑ´Ù. ³í¸®¸¦ Ãß·ÐÀÇ Å¸´ç¼ºÀÇ °ËÁõÀ̶ó°í ÇÑ´Ù¸é ³í¸®´Â ÀÏÁ¾ÀÇ ±â¼ú(technique)ÀÏ ¼öµµ ÀÖ´Ù. ±×·¯³ª ³í¸®´Â ÇÑ°«µÈ ±â¼ú ÀÌ»óÀÇ °ÍÀÌ´Ù ............

Ãß·Ð (inference) ¿¡´Â ¿¬¿ªÃß·Ð (Deduction) °ú ±Í³³Ãß·Ð (Induction) ÀÌ ÀÖ´Ù. ¿¬¿ªÃß·ÐÀÌ ³í¸®Àû ÇÊ¿¬¼ºÀ» º¸ÁõÇϴµ¥ ¹ÝÇÏ¿© ±Í³³Ãß·ÐÀº °³¿¬¼ºÀ» º¸¿©ÁÙ »ÓÀÌ´Ù. Çö´ë¿¡ À־ ±Í³³Ãß·ÐÀº °ÅÀÇ È®·ü·Ð¿¡ ¼ö·ÅµÇ°í ÀÖ´Ù. ±×¸®ÇÏ¿© Çü½Ä³í¸® ƯÈ÷ ±âÈ£³í¸®´Â ³í¸®Àû ÇÊ¿¬¼ºÀ» ã¾Æ ¿¬¿ªÃß·ÐÀ» ÁÖµÈ ¿¬±¸´ë»óÀ¸·Î »ï°íÀÖ´Ù.

°¡¾ð¸íÁ¦ (IF...THEN...) ¸¦ ÀüÁ¦·Î ÇÏ´Â »ï´Ü·Ð¹ýÀ» ÀüÅëÀûÀ¸·Î °¡¾ðÀû »ï´Ü·Ð¹ý(hypothetical syllogism)À̶ó ºÎ¸£°í Àü°¡¾ðÀû »ï´Ü·Ð¹ý(wholly hypothetical syllogism)°ú ¹Ý°¡¾ðÀû »ï´Ü·Ð¹ý(partly hypothetical syllogism)ÀÇ 2Á¾·ù·Î ±¸ºÐÇÏ¿© ¿Ô´Ù. ¹Ý°¡¾ðÀû »ï´Ü·Ð¹ýÀº ±àÁ¤½Ä (Modus Ponens)¿Í ºÎÁ¤½Ä (Modus Tollens) °¡ ÀÖ´Ù. ÀÌ·¯ÇÑ °ÍÀº Ãß·Ð ±ÔÄ¢ÀÇ ÀÏÁ¾ÀÌ´Ù. Ãß·Ð ±ÔÄ¢ (inference rule) À» ÀÌ¿ëÇÏ¿© »ý¼ºµÈ »õ·Î¿î ³í¸®½ÄÀ» Á¤¸® (Theorem) ¶ó°í Çϸç, Á¤¸®¸¦ »ý¼ºÇϱâ À§ÇØ Àû¿ëµÈ Ãß·Ð ±ÔÄ¢ÀÇ ¼ø¼­¸¦ Á¤¸®Áõ¸í (Theorem Proving) À̶ó°í ÇÑ´Ù. Ãß·ÐÀÇ Å¸´ç¼ºÀ» Áõ¸íÇÏ´Â ¹æ¹ý¿¡´Â Áø¸®Ç¥ (Truth Table) , Æ®¸® (Tree) , Çü½ÄÀû Áõ¸í (Formal Proof) ¹æ¹ýÀÌ ÀÖ´Ù.

µµÃâ¹ý (Resolution) Àº ¸íÁ¦°è»êÀ̳ª ¼ú¾î°è»ê (predicate calculus) ¿¡¼­ Á¤¸®¸¦ Áõ¸íÇϱâ À§ÇØ ÀÌ¿ëµÇ´Â Ãß·Ð ±ÔÄ¢ À¸·Î¼­, ³í¸®±¸(Literal)ÀÇ OR °áÇÕÀ¸·Î¸¸ ÀÌ·ç¾îÁø Àý(Clause)À̶ó°í Çϴ Ưº°ÇÑ ³í¸®½ÄÀÇ ÁýÇÕ¿¡ Àû¿ëµÈ´Ù. µµÃâ¹ý °úÁ¤Àº µÎ °³ÀÇ ºÎ¸ðÀý·ÎºÎÅÍ »õ·Î¿î ÀýÀ» »ý¼ºÇÏ´Â Ãß·Ð °úÁ¤ÀÌ´Ù. ÀνķР(Epistemology) À̳ª º¯Áõ¹ý (Dialectic) Àº Çü½Ä³í¸®Àû Àǹ̿¡¼­ ³í¸®ÇÐÀÏ ¼ö Àִ°¡? ±×°ÍÀº ½ÇÁ¦ ¼¼°èÀÇ º¯È­ÀÇ Ãø¸é¿¡ ´ëÇÑ ÀνÄÇàÀ§ ³»Áö ÀνİúÁ¤ÀÇ º¯È­¸¦ ¿¬±¸Çϸç, ÀÌ »óÈ£ÀÛ¿ë¿¡ À־ ÀǽÄÀÇ º¯È­¸¦ ÀÚ°¢À̶ó°í ÇÑ´Ù. ±×°ÍÀº Çü½Ä³í¸®¿Í´Â ¿ÏÀüÈ÷ ¹«°üÇϸç, ¿¬±¸´ë»óÀº ´Ù¸£³ª »ç°íÀÇ ¿ø¸®¸¦ Ž±¸ÇÑ´Ù´Â Á¡¿¡¼­´Â ÀÏÄ¡ÇÑ´Ù. ..... (¼Ò±¤Èñ 1985)