Gottlob  Frege

  

(µ¶ÀÏ ³í¸®ÇÐÀÚ·¼öÇÐÀڷöÇÐÀÚ 1848~1925) 

................. Çö´ë ³í¸®Çаú ¾ð¾î öÇÐÀÇ ¾Æ¹öÁö¶ó ÇÒ ¼ö ÀÖ´Â 19¼¼±â µ¶ÀÏ Ã¶ÇÐÀÚÀÎ Gottlob Frege´Â ÀÚ¿¬¾î (natural language) ¿¡ À־ ÀÇ¹Ì (meaning) ÀÇ ¹®Á¦¸¦ ü°èÀûÀ¸·Î ´Ù·ç±â ½ÃÀÛÇßÀ¸¸ç, ÀΰøÁö´ÉÀÇ ³í¸® ÇÁ·Î±×·¡¹ÖÀÇ ±âÃÊ°¡ µÇ´Â ¼ú¾î ³í¸® (predicate logic) ü°è¸¦ ÃÖÃÊ·Î °³¹ßÇß´Ù........

1848³â 11¿ù 8ÀÏ ¸ÞŬ·»ºÎ¸£Å©½´º£¸°¿¡¼­ Ãâ»ýÇÏ¿´´Ù. ¸íÁ¦³í¸®¿Í ¼ú¾î³í¸®¸¦ °ø¸®Ã¼°è·Î Çؼ­ Á¶Á÷È­ÇÏ¿© ±âÈ£³í¸®Çп¡ÀÇ ±æÀ» ¿­¾ú°í, 1879¡­1918³â ¿¹³ª´ëÇб³ ±³¼ö¸¦ Áö³Â´Ù. ³í¸®ÇÐÀ» ±âÃÊ·Î ÇÏ¿© ¼öÇÐÀÇ ±¸¼º·µµÃâÀ» ½Ãµµ, ³í¸®ÁÖÀǸ¦ óÀ½À¸·Î ÁÖâÇÏ¿´´Ù.

±×´Â ¶ÇÇÑ °³³ä¿¡ ´ëÇÑ ÀüÅëÀûÀÎ ¿Ü¿¬ (extension) °ú ³»Æ÷ (intention) ÀÇ ±¸º°À» ¸íÁ¦·Î±îÁö È®Àå, ÀüÀÚ¸¦ ¸íÁ¦ÀÇ Áø¸®Ä¡, ÈÄÀÚ¸¦ ±× Àǹ̶ó°í »ý°¢ÇÏ°í, ¶ÇÇÑ Ç¥Çö¿¡ ´ëÇÏ¿©´Â ¹®ÀåÀûÀÎ ±ÔÄ¢À¸·Î¼­ °áÁ¤µÇ´Â ±× ÀÇÀÇ¿Í ´ë»ó°úÀÇ Áö½Ã°ü°è¿¡¼­ÀÇ Àǹ̸¦ ±¸º°ÇÏ¿´´Ù. ±×¸®°í ÈÄÀÇ ¡®¾ð¾îÀÇ °èÃþÀÇ ±¸º°¡¯À» ÀÌ¹Ì È®ÀÎÇÏ°í ÀÖ¾ú´Ù. ÀÌ¿Í °°Àº ±×ÀÇ »ý°¢Àº ±× ƯÀÌÇÑ ±âȣǥ±â ¶§¹®¿¡ ±×´ÙÁö ÁÖ¸ñµÇÁö ¾Ê¾Ò´Âµ¥, J.·¯¼¿¿¡ ÀÇÇؼ­ ¹ß°ßµÈ ÀÌ·¡ Çö´ë³í¸®Çп¡ Å« ¿µÇâÀ» ³¢ÃÆ´Ù. ÁÖ¿äÀú¼­¿¡´Â ¡¶»ê¼úÀÇ ±âÃÊ¡·(1884) ¡¶»ê¼úÀÇ ¿ø¸®¡·(1893¡­1903) µîÀÌ ÀÖ´Ù.

ÀÚ¿¬¼ö·Ð(í»æÔâ¦Öå)ÀÇ ³í¸®ÇÐÀû ±âÃʷκÎÅÍ Ãâ¹ßÇÏ¿© ¸íÁ¦³í¸®Çаú ¼ú¾î³í¸®ÇÐÀÇ Á¤½ÄÈ­¿¡ ¼º°øÇÏ¿´´Ù. ±× ½Ã´ë¿¡´Â ¾Ë·ÁÁöÁö ¾Ê¾ÒÀ¸³ª B.A.W. ·¯¼¿¿¡ ÀÇÇØ ±× Áø°¡°¡ ÀÎÁ¤µÇ¾ú´Ù. A. Ÿ¸£½ºÅ°´Â £¼19¼¼±â ÃÖ´ëÀÇ ³í¸®ÇÐÀÚÀ̸ç, Àǹ̷Р¿¬±¸¿¡µµ ¸¹Àº ¾÷ÀûÀ» ³²°Ü ±Ù´ëÀû Àǹ̷ÐÀÇ Ã¢½ÃÀÚ£¾¶ó°í ÆòÇÏ¿´´Ù. Àú¼­·Î ¡¶»ê¼úÀÇ ±âÃÊ(1884)¡· ¡¶»ê¼úÀÇ ¿ø¸®(1893¡­1903)¡· µîÀÌ ÀÖ´Ù. .................. (Yahoo ¹é°ú»çÀü : ÇÁ·¹°Ô)

ÇÁ·¹°Ô (Gottlob Frege) ´Â 20¼¼±â ¿µ¹ÌöÇÐÀÇ ÁÖ·ù¸¦ ÀÌ·ç¾ú´ø ºÐ¼®Ã¶ÇÐÀÇ ¿øÁ¶´Ù. »ç½Ç ±×´Â ¼öÇÐÀÇ ±Ùº» ¿ø¸®¿¡ ´ëÇÑ ³í¸®ºÐ¼®¿¡ Ä¡ÁßÇ߱⠶§¹®¿¡ öÇа迡¼­ ¸í¼ºÀ» ¾ò°Ô µÈ °ÍÀº ·¯¼¿¿¡ ÀÇÇØ Àç¹ß°ßµÇ¸é¼­¶ó°í Çصµ °ú¾ðÀÌ ¾Æ´Ï´Ù. ±×°¡ Ãʱ⿡ ¹®Á¦ »ï¾Ò´ø °ÍÀº ¼ø¼ö¼öÇÐÀ» °¡´ÉÇÏ°Ô ÇÏ´Â ±âÃʷμ­ ¼ö °³³ä¿¡ ´ëÇÑ ÀÌÇØ¿´´Ù. ¼öÇÐÀÇ Àüü ü°è°¡ Á¤¼ö³ª ÀÚ¿¬¼ö¸¦ ±âÃÊ·Î ±¸¼ºµÈ´Ù°í ÇÒ ¶§, ¹Ù·Î ±× ¡®ÀÚ¿¬¼ö¡¯¶õ ¹«¾ùÀΰ¡´Â ¼öÇÐ ÀÚü·Î´Â ÇØ°áµÇÁö ¾Ê´Â °ÍÀ̾ú´Ù. Èʼ³ ¿ª½Ã °°Àº ¹®Á¦·Î °í¹ÎÇÏ´Ù°¡ ¼ö °³³äÀÇ ±Ù¿øÀ» ¹àÈ÷´Â °úÁ¤¿¡¼­ ½É¸®ÁÖÀÇ·Î È帣±âµµ Çß´Ù. ÀÌ·± Èʼ³¿¡ ´ëÇØ ÇÁ·¹°Ô´Â ³í¸®ºÐ¼®ÀÇ ¹æ¹ýÀ» Á¦½ÃÇϸç Åë·ÄÇÑ ºñÆÇÀ» °¡ÇÑ´Ù. ±×´Â ÁÖ¿ä Àú¼­ÀÎ <´ë¼öÀÇ ±âº»¹ýÄ¢>¿¡¼­ ±×ÀÇ ³í¸®ÁÖÀÇÀûÀÎ ±âȹ¿¡ ü°èÀûÀÎ ÇüŸ¦ ºÎ¿©Çß´Ù. ÀÌ°ÍÀÌ Èʳ¯ ·µ¼¿¿¡ ÀÇÇØ ¹ßÀüµÇ¸é¼­ ºÐ¼®Ã¶ÇÐÀ̶ó´Â »õ·Î¿î Çö´ëöÇÐÀÇ »çÁ¶°¡ Çü¼ºµÆ´Ù.

ÇÁ·¹°Ô°¡ ¼ö °³³äÀÇ ±Ù¿øÀ» ¹àÈ÷±â À§ÇØ »ç¿ëÇÑ °ÍÀº ³í¸®¾ð¾îÇÐÀû ºÐ¼® ¹æ¹ýÀ̾ú´Ù. ±×´Â ¼öÇÐÀû ÀνÄÀÇ ³í¸®ÀûÀÎ ¿¬°ü°ü°è¿Í ±¸Á¶¸¦ ºÐ¼®ÇÏ´Â °ÍÀÌ Ã¶ÇÐÀÇ ±Ùº» ¹®Á¦¸¦ Ž¹®ÇÏ´Â °ÍÀ¸·Î À̾îÁø´Ù°í º¸¾Ò´Ù. ¿©±â¼­ Àü´ë¹Ì¹®ÀÇ Çö´ë ¼ö¸®³í¸®ÇÐÀÌ Åº»ýÇÑ´Ù. ±×´Â ³í¸®Çп¡ ¾çÈ­»ç (¡®¸ðµç¡¯°ú ¡®¾î¶²¡¯) ¿Í º¯¼ö¶ó´Â »õ·Î¿î °³³äÀ» µµÀÔÇß´Ù. ÀÏ»ó ¾ð¾î¿¡¼­ º¸Æí¼º¿¡ ÇØ´çÇÏ¸é ¡®¸ðµç¡¯, Ư¼ö¼º¿¡ ÇØ´çÇÏ¸é ¡®¾î¶²¡¯À̶ó´Â °³³äÀ» »ç¿ëÇÑ °ÍÀÌ´Ù. ¶Ç ƯÁ¤ °³³äÀÇ À§Ä¡¿¡ x, y ¿Í °°ÀÌ ´ëüµÉ ¼ö ÀÖ´Â º¯¼ö¸¦ µµÀÔÇß´Ù. ¿¹¸¦ µé¾î ¡®Àΰ£Àº À̼ºÀûÀÌ´Ù¡¯ ¶ó´Â Á¾·¡ÀÇ Ã¶ÇÐÀû ¹®ÀåÀ» ¼ö¸®³í¸®ÀûÀ¸·Î Ç¥ÇöÇÏ¸é ¡®¸ðµç x ´Â y ´Ù¡¯ ¶ó´Â ½ÄÀ¸·Î ÁøÀ§ °è»êÀÌ °¡´ÉÇÑ ¼öÇÐ °ø½ÄÀ¸·Î ¸¸µé ¼ö ÀÖ´Ù. ÇÁ·¹°Ô´Â ¼öÇÐÀÇ ¾ö°ÝÇÑ ¿¬¿ªÀû ±¸Á¶¿Í Ãß·Ð °úÁ¤ÀÌ ±× ÀÚü·Î¼­ ¿Ï°áµÈ ±âÃÊ ÀüÁ¦·Î ÀÛ¿ëÇÑ´Ù°í ºÃ´Ù. ¸¶Âù°¡Áö·Î ¾ð¾îÀÇ Àǹ̿¡µµ ÀÌ·± Çü½ÄÀû ¹ýÄ¢ÀÌ Àû¿ëµÉ ¼ö ÀÖ°í, À̸¦ ÅëÇØ ¾î¶² ÇüÀÌ»óÇеµ ¹èÁ¦ÇÑ ³í¸®ºÐ¼®Ã¶ÇÐÀÌ ¼º¸³ÇÒ ¼ö ÀÖ´Ù´Â °ÍÀÌ´Ù. ±×´Â ³í¸®ºÐ¼®ÀÇ ¹æ¹ýÀÌ È®ÀåµÇ¸é ÀüÅëöÇÐÀÌ ´Ù·ç¾ú´ø ÇüÀÌ»óÇÐÀû Á¸Àç·ÐÀÇ ¿µ¿ªÀÌ »õ·Î¿î ³í¸®Àû Á¸Àç·ÐÀ¸·Î ´ëüµÉ ¼ö ÀÖ´Ù°í º¸¾Ò´Ù. ÀÌ·± ¶æ¿¡¼­ ±×´Â ¡°¸ðµç ÈǸ¢ÇÑ Ã¶ÇÐÀÚ´Â ÃÖ¼ÒÇÑ ¹ÝÂëÀº ¼öÇÐÀÚ¿©¾ß ÇÏ°í, ¹Ý´ë·Î ¸ðµç ÈǸ¢ÇÑ ¼öÇÐÀÚ ¿ª½Ã ¹ÝÂëÀº öÇÐÀÚ¿©¾ß ÇÑ´Ù¡±°í ¸»Çß´Ù................ (ÇÁ·¹°Ô, öÇÐÀ» ¡®°è»ê¡¯ ÇÏ´Ù)

term :

¾îÀÇ·Ð (Semantics)   ¼ú¾î³í¸® (Predicate Logic)   ³í¸®ÇÐ (Logic)   ¼öÇÐ (Mathematics)   Ã¶ÇÐ (Philosophy)

site :

Wikipedia : Gottlob Frege

Gottlob Frege : University of St Andrews

paper :

Begriffsschrift, a Formula Language Modelled upon That of Arithmetic, for Pure Thought, (1879), in van Heijenoort,~J. (ed.), From Frege to G"{o}del: A Source Book in Mathematical Logic, Cambridge, MA: Harvard University Press, 1967