I-3. °¡´É¼¼°è Àǹ̷ÐÀÌ ´ëµÎµÇ´Â ¿ª»çÀû ¸Æ¶ô


°¡´É¼¼°è Àǹ̷Ð(PWS)ÀÇ ¹ßÀü»ç¿¡ ´ëÇؼ­ °íÂûÇϱâ Àü¿¡ ¸ÕÀú ¾ç»ó³í¸®¿¡ ´ëÇÑ PWS°¡ ³ªÅ¸³ª´Â ÀüÈÄ ¸Æ¶ôÀ» »ìÆ캸µµ·Ï ÇÏÀÚ.

¾ç»ó ³í¸® ¿ª»çÀÇ Ãâ¹ßÁ¡Àº “ÇÊ¿¬ÀûÀΔ°ú “°¡´ÉÇÑ”À̶ó´Â ¸»À» Æ÷ÇÔÇÏ´Â Áø¼úµé¿¡ ´ëÇÑ ¾Æ¸®½ºÅäÅÚ·¹½ºÀÇ ºÐ¼®ÀÌ´Ù.(Goldblatt[2003], 310ÂÊ) ¾ç»óÀû Áø¼ú¿¡ ´ëÇÑ ¾Æ¸®½ºÅäÅÚ·¹½ºÀÇ »ï´Ü ³í¹ý ¿¬±¸³ª ÇÁ¶óÀ̾î(A. Prior)ÀÇ ¿¬±¸¿¡ µ¿±â¸¦ Á¦°øÇÑ ¸Þ°¡¶ó ÇÐÆÄÀÇ ¾ç»ó³í¸® µî, ¼­¾ç °í´ë¿Í Áß¼¼ÀÇ ¾ç»ó³í¸®»ç´Â Èï¹Ì·Ó°ÚÁö¸¸1) Çö´ë ³í¸® ÀÌÀüÀÇ ´Ù¸¥ ¿¬±¸µé°ú ¸¶Âù°¡Áö·Î ±âȣü°è¸¦ »ç¿ëÇÏÁö ¾Ê¾Ò°í ±× Á¢±Ù¹ýÀÌ Ã¼°èÀû(systematic)ÀÌÁö ¾Ê¾Ò´Ù. µû¶ó¼­ ±âÈ£Àû(symbolic) ¾ç»ó ³í¸®ÀÇ PWS¿¡ ÃÊÁ¡À» ¸ÂÃß´Â ÀÌ ³í¹®ÀÇ °ü½É°úÀÇ °ü°è´Â ¸Å¿ì °£Á¢ÀûÀÌ´Ù.

Çö´ë ¾ç»ó ³í¸®ÀÇ ¿ª»ç´Â ÀϹÝÀûÀ¸·Î ·çÀ̽º(C. I. Lewis)ÀÇ ¾ö¹ÐÇÔÃà(strict implication)¿¡ ´ëÇÑ ³í¸®¿¡¼­ ½ÃÀ۵ȴÙ. ¾ö¹ÐÇÔÃà¿¡ ´ëÇÑ ³í¸®¿¡¼­ ·çÀ̽º´Â È­ÀÌÆ®Çìµå¿Í ·¯¼¿ÀÌ ¡º¼öÇпø¸®(Principia Matematica)¡»¿¡¼­ »ç¿ëÇÑ(±×¸®°í ½ÇÁ¦·Î ´ëºÎºÐÀÇ Ç¥ÁØÀûÀÎ ¸íÁ¦ ³í¸® ü°è¿¡¼­ »ç¿ëÇÏ´Â) ½ÇÁúÇÔÃà(material implication)ÀÇ °³³äÀ» ºñÆÇÇÏ¿´´Ù. È­ÀÌÆ®Çìµå¿Í ·¯¼¿Àº ÀڽŵéÀÇ ³í¸® ü°è¿¡ ´ëÇÑ ºñ°ø½ÄÀû ¾ð±Þ¿¡¼­ °¡ ¸¦ ‘½ÇÁúÀûÀ¸·Î ÇÔÃàÇÑ´Ù’¶ó´Â ±¸¹®À» ·Î Ç¥½ÃÇÏ¿´À¸¸ç,

 

     

 

°¡ ÀǽÉÀÇ ¿©Áö¾øÀÌ Å¸´çÇÑ Ãß·Ð µµ½ÄÀÌ¶ó °¡Á¤ÇÏ°í Á¤´çÈ­ÇÏ·Á ÇÏ¿´´Ù. ÇÏÁö¸¸ ÀÌ¿Í °°Àº ½ÇÁúÇÔÃàÀº ´ÙÀ½°ú °°Àº ¿ª¼³ÀûÀÎ ÇÔÃàÀ» Æ÷ÇÔÇÑ´Ù. Áï, °ÅÁþÀÎ ¸íÁ¦´Â ¸ðµç ¸íÁ¦¸¦ ÇÔÃàÇϸç ÂüÀÎ ¸íÁ¦´Â ¸ðµç ¸íÁ¦¿¡ ÀÇÇؼ­ ÇÔÃàµÈ´Ù.

·çÀ̽º´Â ÀÌ·± ¿ª¼³ÀûÀÎ ½ÇÁúÇÔÃàÀ» ´ëüÇϱâ À§ÇØ ±×ÀÇ ¾ö¹ÐÇÔÃàÀ» ¹ßÀü½ÃÄ×´Ù. ¾ö¹ÐÇÔÃà¿¡¼­ °¡ ¸¦ ¾ö¹Ð ÇÔÃàÇÏ´Â °æ¿ì ±× °æ¿ì¿¡¸¸ °¡ ÂüÀÌ°í ´Â °ÅÁþÀÎ °ÍÀÌ ‘ºÒ°¡´É’ÇÏ´Ù. ·çÀ̽º´Â ÀÌ°ÍÀ» “¡ª3”¶ó°í Ç¥½ÃÇß´Ù.(Kneale & Kneale[1962], 548-549ÂÊ) ÃÊ±â ³í¹®µé¿¡¼­ ·çÀ̽º´Â ¶§·Î´Â ¾ö¹Ð ¼±¾ð(strict disjunction)À», ¶§·Î´Â ¾ö¹Ð ÇÔÃàÀ», ±×¸®°í ¶§·Î´Â ³í¸®Àû ºÒ°¡´É¼ºÀ» ¿øÃÊÀû ¿¬»êÀÚ·Î »ç¿ëÇÏ¿´´Ù. ÇÏÁö¸¸ 1932³â¿¡ ·©Æ÷µå(Langford)¿Í °øµ¿ Àú¼úÇÑ ¡º±âÈ£ ³í¸®(Symbolic Logic)¡»¿¡¼­ ¾ö¹Ð ÇÔÃàÀÇ Ã¼°è¿¡ ´ëÇÑ ÃÖÃÊÀÇ Æ÷°ýÀû(comprehensive) ¿¬±¸¸¦ Á¦½ÃÇϸ鼭 °¡´É¼º(possibility)À» ¿øÃÊÀû ¾ç»ó ¿¬»êÀÚ·Î ÅÃÇÏ¿´´Ù. ÀÌ Ã¥¿¡¼­ <S1>°ú <S2> ü°èµéÀÌ »ó¼¼ÇÏ°Ô Á¦½ÃµÇ¾ú°í, <S3>-<S5>´Â ºÎ·Ï¿¡ ½Ç·È´Ù.(Hughes & Cresswell[1996], 197-198ÂÊ) ±× ÈÄ¿¡ ÆÄÀ̽º(Feys[1937])°¡ <T>¶ó°í ºÒ·¶´ø ü°è, ±×¸®°í Æù¶óÀÌÆ®[1951]°¡ <M>À̶ó ºÒ·¶´ø ü°èµéÀÌ Á¦½ÃµÇ¾ú´Ù.

ÀÌ·± ¿¬±¸ÀÇ °ü½É»ç´Â ÁÖ·Î ¸íÁ¦Àû ¾ç»ó ³í¸® ü°èµé¿¡ ÁÖ·Î ÁýÁߵǾú´Âµ¥, ÀÌ¿¡ ´ëÇÑ ÁÖ¸ñÇÒ¸¸ÇÑ ¿¹¿ÜÀû ¿¬±¸°¡ ¸¶¸£Äí½º(R. Barcan Marcus)¿¡ ÀÇÇØ ÀÌ·ç¾îÁ³´Ù. ¸¶¸£Äí½º´Â Ä«¸£³³(Rudolf Carnap)°ú ÇÔ²² ¾çÈ­ ¾ç»ó ³í¸®(QML)ÀÇ Áõ¸íÀÌ·ÐÀû ¿¬±¸ ¹× °ø¸®Ã¼°è¸¦ Çü½ÄÈ­ÇÑ ÃÖÃÊÀÇ ¿¬±¸ÀÚÀÌ´Ù.(Lindström[1998]) ÇÏÁö¸¸ ¾ç»ó ³í¸®¿¡ ´ëÇØ Çü½ÄÈ­µÈ Àǹ̷ÐÀû ¿¬±¸¸¦ ÇÑ »ç¶÷Àº Ä«¸£³³ÀÌ ÃÖÃÊ¿´´Ù. ºÒ°ú ¼¼Àú¹ö±×(Bull & Segerberg[1989])´Â ¾ç»ó³í¸® ÀüüÀÇ ¹ßÀü»ç¸¦ ±¸¹®·ÐÀû Á¢±Ù¹ý, ´ë¼öÀû Á¢±Ù¹ý, ±×¸®°í Àǹ̷ÐÀû Á¢±Ù¹ýÀÇ ¼¼ ¸Æ¶ôÀ¸·Î ±¸ºÐÇϴµ¥, ÀÌ·± °üÁ¡¿¡¼­ ·çÀ̽º¿¡¼­ ¸¶¸£Äí½º¿¡ À̸£´Â ¿¬±¸µéÀº ±¸¹®·ÐÀû Á¢±Ù¹ý¿¡ ¼ÓÇÑ´Ù.

´ë¼öÀû Á¢±Ù¹ý¿¡ µû¸¥ ¾ç»ó³í¸®ÀÇ ¿¬±¸¿¡´Â ·çÄ«Ä¡ºñÃ÷(Jan Lukasiewics)°¡ ´ÙÄ¡ ³í¸®Ã¼°è·Î ¿¬±¸ÇÑ °Í°ú ¸ÆŲÁö(McKinsey)ÀÇ ¿¬±¸µé, ±×¸®°í Á¸½¼°ú Ÿ¸£½ºÅ°(Jónsson and Tarski[1951])ÀÇ “¿¬»êÀÚµéÀÌ ÀÖ´Â ºÒ ´ë¼ö”¿¡ ´ëÇÑ ¿¬±¸µéÀÌ ÀÖ´Ù. ÀÌ Áß¿¡¼­ Á¸½¼°ú Ÿ¸£½ºÅ°[1951]´Â, ¸¹Àº »ç¶÷µéÀÌ ÀÌ ³í¹®À» Àоú´õ¶ó¸é ¾ç»ó ³í¸®ÀÇ ¿ª»ç°¡ ´Þ¶úÀ»Áöµµ ¸ð¸¥´Ù°í Æò°¡µÉ(Bull & Segerberg[1989]) Á¤µµ·Î, ƯÈ÷ Å©¸³Å°Àû °¡´É¼¼°è Àǹ̷Ð(PWS)°ú °ü·ÃµÈ ¼±±¸ÀûÀÎ ¿¬±¸ ³»¿ëÀ» ´ã°í ÀÖ´Ù. ±×·¯³ª Á¸½¼°ú Ÿ¸£½ºÅ° ³í¹®Àº ¾ç»ó ³í¸®¿¡ ´ëÇؼ­ ÀüÇô ¾ð±ÞÀ» ÇÏÁö ¾Ê´Â´Ù. ÀÌ ³í¹®°ú ¾ç»ó ³í¸®ÀÇ ¿¬°ü¼ºÀ» °¡Àå ¸ÕÀú ÁöÀûÇÑ »ç¶÷Àº Ä»¾î(Kanger)ÀÌ¸ç ³ªÁß¿¡ Å©¸³Å° ¿ª½Ã Á¸½¼°ú Ÿ¸£½ºÅ°ÀÇ ¿¬±¸ÀÇ Á߿伺À» °£ÆÄÇÏ¿´´Ù.(Copeland[2002], 130-131ÂÊ)2)

ÇÏÁö¸¸ ´ë¼öÀû Á¢±Ù¹ý°ú ¸ðÇüÀÌ·ÐÀû Á¢±Ù¹ý °£¿¡´Â ºÐ¸íÇÑ Â÷ÀÌ°¡ ÀÖ´Ù. ¸ÅŲŸÀ̾î(Angus Macintyre[1981])´Â “¸ðÇüÀÌ·ÐÀÌ ¼öÇп¡¼­ ±¸Á¶¹°(constructions)À» °¡Á® ¿Í¼­ ±×°ÍµéÀ» ÀϹÝÈ­ÇÏ°í, ±×¸®°í´Â ÀÀ¿ë¹ý(application)µéÀ» µ¹·ÁÁÖ´Â °Í”À̶ó´Â ÀÔÀåÀ» °¡Áö°í Àִµ¥ ±×¿¡ µû¸£¸é ¼öÇÐÀû ´ë¼ö(algebra), Áï º¸Æí´ë¼ö´Â ¿¹¸¦ µé¾î¼­ º¸Æí µ¿Àϼº, °ü°è ±âÈ£µéÀÌ ¾ø´Â ½Äµé°ú °°Àº ÇÑÁ¤µÈ ½ÄµéÀÇ ÁýÇÕ¸¸À» ´Ù·é´Ù´Â Á¡¿¡¼­ ¸ðÇüÀ̷аú´Â ±¸ºÐµÈ´Ù.(Angus Macintyre[1981], 45-46ÂÊ)

¾ç»ó³í¸®¿¡ ´ëÇÑ ¸ðÇüÀÌ·ÐÀû Á¢±Ù¹ýÀÌ ¹Ù·Î ÀÌ ³í¹®¿¡¼­ »ó¼¼È÷ ¿ª»çÀûÀ¸·Î °íÂûÇÏ°íÀÚ ÇÏ´Â °¡´É¼¼°è Àǹ̷Ð(PWS)ÀÌ¸ç ±×°ÍÀº ´ë·«ÀûÀ¸·Î Ä«¸£³³(R. Carnap)¿¡¼­ ½ÃÀÛÇؼ­ Å©¸³Å°(S. Kripke)¿¡¼­ ¿Ï¼ºµÈ´Ù. Å©¸³Å°°¡ PWS¸¦ ¿Ï¼ºÇÔ¿¡ µû¶ó¼­ ¼ú¾î ³í¸®¸¦ Áß½ÉÀ¸·Î ÇÏ´Â °íÀü³í¸®Ã¼°è¿Í ¸¶Âù°¡Áö·Î ±¸¹®·ÐÀûÀ¸·Î ¹ßÀüµÇ¾î ¿Â ¿©·¯ ¾ç»ó ³í¸® ü°èµéÀÌ ±¸¹®·Ð°ú Àǹ̷ÐÀÇ 2¿øÀû ü°è¸¦ °®Ãâ ¼ö ÀÖ°Ô µÇ¾ú´Ù. ¶ÇÇÑ ±× ÀÌÀü¿¡ ¸ÆŲÁö³ª Á¸½¼°ú Ÿ¸£½ºÅ°°¡ Á¦½ÃÇß´ø ´ë¼öÀû ¿¬±¸¿Í ¾ç»ó ³í¸®¿ÍÀÇ ¿¬°ü¼ºÀÌ ÇظíµÇ¾ú´Ù.

 

 
   

 

 

 

 

 


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

 

 

 

 

 

 

 

 

 

 

 

q
<¿µÈ­·Î ÀдÂ
¼­¾çöÇлç
>