Syllogism
Àΰ£Àº µ¿¹°ÀÌ´Ù. (Charles Darwin)
µ¿¹°Àº ±â°èÀÌ´Ù. (René Descartes)
±×·¯¹Ç·Î, Àΰ£Àº ±â°èÀÌ´Ù. (La Mettrie) ...... (Philip N. Johnson-Laird 1988)
ÀüÅëÀû Çü½Ä³í¸®Çп¡¼ ´ëÇ¥ÀûÀÎ °£Á¢Ã߸®³í¹ý ......... Aristotle °¡ ¹ß¸í......
2°³ÀÇ ÀüÁ¦¿¡¼ ÇϳªÀÇ °á·ÐÀ» À̲ø¾î³»´Â ³í¸®Àû Ãß·Ð. °£Á¢ Ã߸®¸¦ Æ÷ÇÔÇÑ´Ù. £¼¸ðµç µ¿¹°Àº »ý¹°ÀÌ´Ù£¾ £¼¸ðµç Àΰ£Àº µ¿¹°ÀÌ´Ù£¾¶ó´Â 2°³ÀÇ ÀüÁ¦¿¡¼ £¼¸ðµç Àΰ£Àº »ý¹°ÀÌ´Ù£¾¶ó´Â °á·ÐÀ» ¾ò´Â Ãß·ÐÀº ÀüÇüÀûÀÎ »ï´Ü³í¹ýÀÌ´Ù. ¾Æ¸®½ºÅäÅÚ·¹½º½Ä »ï´Ü³í¹ý¿¡¼ Ç×°ú Ç×ÀÇ °áÇÕ¿¡´Â ÀüαàÁ¤ÆÇ´Ü, ÀüĪºÎÁ¤ÆÇ´Ü, ƯαàÁ¤ÆÇ´Ü, ƯĪºÎÁ¤ÆÇ´ÜÀÇ 4°¡Áö°¡ ÀÖ´Ù. À̰͵éÀ» ¼¾ç Áß¼¼ÀÇ ÀüÅë¿¡ µû¶ó AÆÇ´Ü, EÆÇ´Ü, IÆÇ´Ü, OÆÇ´ÜÀ̶ó ÇÑ´Ù. ±×¸®°í °¢°¢ £¼¸ðµç A´Â BÀÌ´Ù£¾ £¼¸ðµç A´Â B°¡ ¾Æ´Ï´Ù£¾ £¼¾î´À A´Â BÀÌ´Ù£¾ £¼¾î´À A´Â B°¡ ¾Æ´Ï´Ù£¾¶ó´Â ²Ã·Î Ç¥ÇöµÈ´Ù. ÀÌó·³ »ï´Ü³í¹ýÀº ±âº»ÀûÀ¸·Î ÀÚ¿¬¾ð¾îÀÇ ³í¸®ÀÌ´Ù. »ï´Ü³í¹ýÀº Áß°³³äÀÇ À§Ä¡¿¡ µû¶ó £¼S´Â PÀÌ´Ù£¾¸¦ £¼ S-P£¾·Î ±âÈ£ÈÇÏ¿© Á¦ 1 °ÝÀº £¼ M-P, S-M, ¡ÅS-P£¾, Á¦ 2 °ÝÀº £¼ P-M, S-M, ¡ÅS-P£¾, Á¦ 3 °ÝÀº £¼ M-P, M-S, ¡ÅS-P£¾, Á¦ 4 °ÝÀº £¼ P-M, M-S, ¡ÅS-P£¾ÀÇ 4°¡Áö °ÝÀ¸·Î ºÐ·ùµÈ´Ù. ¿©±â¼ P·M·S´Â °¢°¢ ´ë°³³ä·Áß°³³ä·¼Ò°³³äÀ» ³ªÅ¸³½´Ù. »ï´Ü³í¹ýÀ» ±¸¼ºÇÏ´Â 3°¡Áö ¸íÁ¦´Â ¾Õ¿¡¼ °Å·ÐÇÑ 4°¡ÁöÀÇ ÆÇ´Ü Áß ¾î´À °ÍÀÌ¶óµµ ÁÁÀ¸¹Ç·Î ¸ðµÎ 256°¡ÁöÀÇ »ï´Ü³í¹ýÀÌ °¡´ÉÇÏ´Ù. ±×·¯³ª ¾Æ¸®½ºÅäÅÚ·¹½º½Ä »ï´Ü³í¹ý¿¡¼´Â 24°¡Áö°¡ Ÿ´çÇÒ »ÓÀÌ´Ù. ¾Æ¸®½ºÅäÅÚ·¹½º ÀÌÈÄ À̽½¶÷ ¹®È±Ç°ú ¼¾ç Áß¼¼¸¦ ÅëÇØ »ï´Ü³í¹ý¿¡ °üÇØ¼´Â ¸¹Àº ¿¬±¸°¡ ÀÌ·ç¾îÁ³´Âµ¥, ±× ÈÄ 19¼¼±â ¸»¿¡ ³ªÅ¸³ ±Ù´ë ³í¸®ÇÐÀÇ ±×´Ã¿¡ °¡¸®¿öÁ®, »ï´Ü³í¹ýÀº Áö³³¯ÀÇ ¸Å·ÂÀ» ÀÒ¾ú´Ù. ±×·¯³ª ÃÖ±Ù¿¡´Â ±Ù´ë ³í¸®Çаú ¹ÐÁ¢ÇÑ °ü°è¸¦ °¡Áö°í »ï´Ü³í¹ý ¿¬±¸°¡ ´Ù½Ã Ȱ¹ßÇØÁö±â ½ÃÀÛÇÏ¿´´Ù. Àεµ¿¡¼µµ ¾Æ¸®½ºÅäÅÚ·¹½º½Ä »ï´Ü³í¹ý°ú´Â ´Ù¸¥ ÇüÅÂÀÇ »ï´Ü³í¹ýÀÌ ¿À´Ã³¯±îÁö 2000³â¿¡ °ÉÃÄ ¿¬±¸µÇ¾î ¿Ô´Ù. ............ (Yahoo ¹é°ú»çÀü : »ï´Ü³í¹ý)
Âü-°ÅÁþ ¸íÁ¦µéÀÇ ±âÃÊÀûÀÎ Á¶ÇÕ¿¡ ´ëÇÑ ±ÔÄ¢µéÀ» °ø½ÄÈÇÏ´Â ´ë½Å, ¾Æ¸®½ºÅäÅÚ·¹½º´Â ´ëºÎºÐÀÇ ½Ã°£À» <´ÜÀÚÀû ¼ºÁúµéÀÇ °è»ê (the calculus of monadic properties)> À̶ó ºÒ¸± ¼ö ÀÖ´Â °ÍÀ» ¿¬±¸ÇÏ´Â µ¥ º¸³Â´Ù. ´Ù½Ã ¸»ÇØ, ±×´Â °³º°ÀûÀÎ ´ë»óÀÌ °¡Á®¾ß¸¸ ÇÏ´Â ¼ºÁú¿¡ ´ëÇÑ ¸íÁ¦µé¿¡ °ü½ÉÀÌ ÀÖ¾ú´Ù.
ÀÌ·± ¼ºÁúÀ» °¡Áø °¡Àå °£´ÜÇÑ ¸íÁ¦µéÀº µÎ °³ÀÇ °³º°ÀûÀÎ ¼ºÁúÀ» ´Ù·é´Ù. ³ª´Â ¿©±â¿¡¼, <¸ðµç °³´Â ÅÐÀÌ ¸¹´Ù> ¿Í °°Àº ¸íÁ¦¸¦ »ý°¢Çϰí Àִµ¥, Á¶±Ý ´õ ºÎÀÚ¿¬½º·´°Ô ¸»ÇÏÀÚ¸é ÀÌ ¸íÁ¦´Â <¡¶°³ÀÌ´Ù¡·¶ó´Â ¼ºÁúÀ» °¡Áø ¸ðµç °ÍÀº ¶ÇÇÑ ¡¶ÅÐÀÌ ¸¹´Ù¡·¶ó´Â ¼ºÁúµµ °®´Â´Ù> ¸¦ ¶æÇÑ´Ù. ¸¸¾à ¼ºÁú S (ÁÖ¾î) °¡ <°³ÀÌ´Ù> ¸¦ ³ªÅ¸³»°í ¼ºÁú P (¼ú¾î) °¡ <ÅÐÀÌ ¸¹´Ù> ¸¦ ³ªÅ¸³½´Ù¸é, ¿ì¸®ÀÇ ¸íÁ¦´Â <¸ðµç S ´Â P ÀÌ´Ù> ¶ó´Â ÇüŸ¦ ¶ì°Ô µÈ´Ù.
ÀÌÁ¦, ¿ì¸®°¡ ¸ðµç S ¿¡ ´ëÇØ À̾߱âÇÏ´À³Ä ¾Æ´Ï¸é ´ÜÁö ¸î °³ÀÇ S ¿¡ ´ëÇØ¼¸¸ À̾߱âÇÏ´À³Ä¿¡ µû¶ó, ±×¸®°í ¿ì¸®°¡ P ÀÎ °Í¿¡ ´ëÇØ À̾߱âÇÏ´À³Ä ¾Æ´Ï¸é P °¡ ¾Æ´Ñ °Í¿¡ ´ëÇØ À̾߱âÇÏ´À³Ä¿¡ µû¶ó, ¿ì¸®´Â µÎ °¡ÁöÀÇ ¼ºÁú¿¡ ´ëÇÑ ³× °¡ÁöÀÇ ¸íÁ¦¸¦ ¾òÀ» ¼ö ÀÖ´Ù.
Çü |
¿¹ |
ÀϹÝÇü |
ÇüÅÂÀÇ À̸§ |
A |
¸ðµç °³´Â ÅÐÀÌ ¸¹´Ù. |
¸ðµç S ´Â P ÀÌ´Ù. |
º¸Æí ±àÁ¤ |
I |
¾î¶² °³´Â ÅÐÀÌ ¸¹´Ù. |
¾î¶² S ´Â P ÀÌ´Ù. |
Ư¼ö ±àÁ¤ |
E |
¸ðµç °³´Â ÅÐÀÌ ¸¹Áö ¾Ê´Ù. |
¸ðµç S ´Â P °¡ ¾Æ´Ï´Ù. |
º¸Æí ºÎÁ¤ |
O |
¾î¶² °³´Â ÅÐÀÌ ¸¹Áö ¾Ê´Ù. |
¾î¶² S ´Â P °¡ ¾Æ´Ï´Ù. |
Ư¼ö ºÎÁ¤ |
¾Æ¸®½ºÅäÅÚ·¹½ºÀÇ ÈǸ¢ÇÑ Á¦ÀÚµéÀ̾ú´ø Áß¼¼ÀÇ ³í¸®ÇÐÀÚµéÀº, ¸íÁ¦ÇüÀÇ À̸§À¸·Î¼ A, I, E, O ¸¦ »ç¿ëÇߴµ¥, ÀÌ À̸§µéÀº ¶óƾ ¾îÀÇ ³ª´Â ±àÁ¤ÇÑ´Ù (AffIrmo) ¿Í ³ª´Â ºÎÁ¤ÇÑ´Ù (nEgO) ·ÎºÎÅÍ ¿Â °ÍÀ̾ú´Ù .................. (Rudy Rucker 1988)
term :
³í¸®ÇÐ (Logic) ¿¬¿ª¹ý (Deduction) ±âÈ£³í¸®ÇÐ (Symbolic Logic) ¼ú¾î³í¸® (Predicate Logic) Prolog
paper :