¦^¨ì¤W¤@¼h


¡° [¥»¤åÂà¿ý¦Û religion ¬ÝªO]

§@ªÌ: Cibala (»¨­ô) ¬ÝªO: religion
¼ÐÃD: 11
®É¶¡: Fri May  1 18:24:34 1998



    Ãö©ó¤W«Ò¯à¤£¯à³y¥X¤@¶ô¥LÁ|¤£°_ªº¥ÛÀY.......

    ÅÞ¿è­ü¡IÅÞ¿è! ¦n§a¡I°Q½×¤W«Ò¯à¤£¯à§@¨º¥ó¨Æªº¥S§Ì­Ì¡A½ÐÅ¥¤p§Ìªº¤@µf¸Ü¦n¶Ü?
³oºØ¥y¤lTarski¦³°µ¹L¸Ô²Óªº¤ÀªR¡A¦pªG§A­n¬Ý³Ì²³æªº¡A¬O¦³¤@½g¦bSince American
¥sTruth and Proof¡A¬Oµ¹¤@¯ë¤j²³¬Ýªº©Ò¥H¬Û·í²M´·¡C°ò¥»¤W¨Ó»¡¡G³o­Ó°ÝÃD¬Û·í½Æ
Âø°Ú¡I

    ²{¦b¥Ñ¤p§Ì²³æ¤¶²Ð¤@¤U³o­Ó¤j®aª§½×¤£¥ðªº©Çª«¡C§Æ±æ´£¨Ñ¤@ÂI·LÁ¡ªº·N¨£°Ú¡I

    ²³æ¦a»¡¡G³o¬O¤@­Ó¦Û§Ú«ü¯Aªº»y¥y¡]self-referential statement)¤¤¤å¥iij
¡C¦Ó¥B¬O¦b¦Û§Ú«ü¯A¤¤¡A·|²£¥Í®¯½×¡]Paradox¡^ªº¨º¤@ºØ¡C³oºØªF¦è¬Û·í¦a´Æ¤â¡A¬O
²Å¸¹¬ì¾Çùتº¤@´Ê©_¸´¡C

    §Ú¥ýÁ|TarskiªºÃö©ó»y·N¤W¡]semantically¡^ªº¨Ò¤l¡A´N¬O§Ú­Ì«D±`¼ô±xªº»¡ÁÀªÌ
®¯½×¡A¤]´N¬O¡G

    ³o½g¤å³¹¸Ì²Ä18¦æªº¥y¤l¬O°²ªº!

    §Ú­Ì°²³]¥H¤W»y¥y¬°S¡A¤]´N¬OS="³o½g¤å³¹¸Ì²ÄN¦æªº¥y¤l¬O°²ªº"¥u¬O±a­ÓÅܼƦӤw¡A
²{¦b§Ú­Ì¨Ó»¡¥¦ªº¯u­È±ø¥ó¡A¹ï©ó¤@¯ëªº»y¥y¡A§Ú­Ì­n»¡¥¦­Ìªº¯u­È±ø¥ó«Ü²³æ¡C¨Ò¦p:¡
S1="³·¬O¥Õªº"³o¥y¸Ü¦ó®É¬°¯u©O? ¦pªG¥~­±¤Uªº³·¬O¶Âªº¡A¨º³o¥y¸Ü´N¬O°²ªº¹À¡I©Ò¥H
§Ú­Ì·íµM»¡¡G¥u¦³¦b³·¬O¥Õªº®É­Ô³o¥y¸Ü¤~¬°¯u°Ú¡I¡]³o¦n¹³¼o¸Ü¡^©Ò¥H§Ú­Ì»¡¡G

    "³·¬O¥Õªº"¬°¯uªº±ø¥ó¬O³·¬O¥Õªº¡C
    S1 is true if and only if S1

    ¦U¦ì¤@©w³£Áo©úªº¥S¥x­Ì¡A¤@©w¥ß¨è¦³¥H¤U¤ÏÀ³¡G

    1. ³o¬O¼o¸Ü¡I¡]¨ä¹ê§Ú¤]³o¼Ëı±o¡^
    2. ³o¬O´`Àô½×ÃÒ¡I¡]³o¤j·§¬O¤ñ¸û¼ô±xÅÞ¿è¦r·Jªº¥S¥x¡^

    ¥i¬OTarski¥ß¨èÁn©ú¡G³o¤£¬O´`Àô½×ÃÒ¡C¦]¬°«e­±ªº"³·¬O¥Õªº"¬O¤@¦êµL·N¸q¦ý¥u¬O
¨Óªí¹Fªº²Å¸¹¡A¦Ó«á­±ªº³·¬O¥Õªº¬O¥@¬É¤¤ªº¤@­Ó¨Æ¥ó¡C·N«ä¬O»¡¡G«e­±ªº©p¥i¥H¥Î¨ä¥L
²Å¸¹¤]¨SÃö«Y¡A¥u­n©p°O±o, ¨Ò¦p¡G

    "Snow is white" ¬°¯uªº±ø¥ó¬O³·¬O¥Õªº¡C
    "!@#$#%%%^&*"¬°¯uªº±ø¥ó¬O³·¬O¥Õªº¡C

    ¤Ï¥¿ÀH«K§A°Õ¡I

    ²{¦b­n¶i¤J­«ÂI*..


    ³o¼ËªºªF¦è·íµM¤£¥i¯à¥Î¨ì¡A¨Ò¦p¡G©p¦n°Ú¡I©p¥hµ¹§Ú¨R°¨±í¡I³oºØ¥´©Û©I©ÎªÌ©R¥Oªº
¥y¤l¡A¦]¬°¥¦­Ì®Ú¥»¤£¥Î¯u°²­È¡C´y­z©Êªº»y¥y¦ü¥G¤~¬O¥Î³o¼ËªºªF¦è¡C¦ý¬OTarski»¡¡G
¦³ºØ´y­z©ÊªF¦è¤£¯à¥Î¡C´N¬O·íS³o­Ó³Q©w¸q¯u­Èªº»y¥y¤¤¡A¥]§t"¯u"³o­Ó¦rªº®É­Ô¡C

S=""³·¬O¥Õªº"¬°¯u"¬°¯uªº±ø¥ó¬O"³·¬O¥Õªº"¬°¯u¡C

    ³o­Ó¥y¤l´N¦³´`Àô°Õ¡I¦b"¬O"ªº¥ªÃ䦳¨â­Ó"¯u"¡A§Ú­Ì«e­z¹L""ªºªF¦è¤£·|´`Àô¡A°Ý
ÃD¬O¡G¬°¯uªº±ø¥ó¸ò¬°¯u¡A³o¨â­Ó¯u³£¬O«ü¥@¬É¤¤ªº¨Æ¥ó¡A©Ò¥H´`Àô¡C§A¥i¥H²M·¡¬Ý¨£¡I
§Ú­Ì­n±o¨ì®¯½×«D±`®e©ö°Õ¡I§Ú­Ì¥u­n§â³oºØ´`Àô¤¤ªº¯u§ï¦¨°²¡C¤]´N¬O¦bS ¤¤¥[¤J"°²"
³o­Ó¦r¦p¡G

    S3="³o­Ó¥y¤l¬°°²"

    "³o­Ó¥y¤l¬°°²"¬°¯uªº±ø¥ó´N¬O³o­Ó¥y¤l¬°°²¡C
    S3 is true if and only if S3 is false.

    «¢«¢¡I¬Ý¨ì¨S¡I³o´N¬O»¡ÁÀªÌ®¯½×ªº©Çª«¡I¦pªG¥L¬°¯u¡A«h¥L¬°°²¡C¦pªG¥L¬°°²¡A«h
¥L¬°¯u¡I¹ï¤£¹ï?
    OK!¤ÀªR¹L³oºØ¥y¤l«á¡A§Ú­Ì´N¨Ó¬Ý¬Ý¤W«Òªº¨Ò¤l¡]¹ï¤£°_¡I¥Î¤W«ÒÁ|¨Ò¡I¡^
    ·í§Ú¦b©w¸q¡G¤W«Ò¥þ¯à¡A¤]´N¬O§Ú­Ì°²³]¥i¥H¤@ª½±Æ¤U¥h........

    ¤W«Ò¯à¦p¦ó¦p¦óªº·N«ä¬O¦p¦ó¦p¦ó*.
    ¤W«Ò¯à¦p¦ó¦p¦óªº·N«ä¬O¦p¦ó¦p¦ó*.
    ..........
    °²³]¦³µL­­¦h²Õ¡A

    ¤W«Ò¯àµN¶ºªº·N«ä¬O¡A¤W«ÒµN¶º*.
    ¤W«Ò¯à¬~¦çªº·N«ä¬O¡A¤W«Ò¬~¦ç*
    ..........
    °²³]¦³µL­­¦h²Õ

    ©M¤W­±ªººc³y¤@¼Ë¡I§Ú­Ì©w¸q¯uªº®É­Ô¡A¥ªÃä¥X²{"¯u"©Î"¤£¯u¡]§Y°²¡^"ªº®É­Ô´N·|
²£¥Í´`Àô©ÎªÌ¬O®¯½×¡C²{¦b¤]¬O¤@¼Ëªº¡I§Ú­Ì¤£¯à¦b¥ªÃä©ñ¶i"¯à"©Î"¤£¯à"¡C¨Ò¦p¡G

    ¤W«Ò¯à"¯àµN¶º"ªº·N«ä¬O¡A¤W«Ò¯àµN¶º
    ¤W«Ò¯à"¤£¯àµN¶º"ªº·N«ä¬O¡A¤W«Ò¤£¯àµN¶º

    °w¹ï²Ä¤G­Ó¥y¤l¡A§A¦pªG§â¤W«Ò¥þ¯àªº·N«ä­q¬°¡G

   ¤W«Ò¥þ¯àµ¥©ó¡G§Ú­Ì¥i¥H¦b¤W«Ò¯àS¡AS¤¤¶ñ¶i¥ô¦ó»y¥y¡C¶ñ¤U¥h´N·|±o¨ì­Ó¥Ù¬Þ¡I´N¦
¦n¹³§A»¡¡A¤W«Ò¦pªG¯àµN¶ºªº¸Ü¡C¨º¤W«Ò¤@©w¤£¯à¤£¯àµN¶º¡A¨º¤W«Ò¤£¯à¤£¯àµN¶º¡A¥L´N
¦³¤@¶µ¤£¯à°µªº¨Æ¡A§Y"¤£¯àµN¶º"¡I³o¼Ë§A¥i¥H²£¥ÍµL­­¦h­Ó¤W«Ò¤£¯à§@ªº¨Æ¡I

    ¤W«Ò¯à³y"¥L¤£¯à"Á|°_ªº¥ÛÀY¡A¥u¬O³oºØ¥y¤lªºÅܧΡA¤£¸m©óÅý§A¤@¤U¬Ýªº¥X¨Ó¡C
    ¦U¦ì¥S¥x¦nª±§a¡I
    ³o¬O¤HÃþ²Å¸¹¥v¤W¤@¥ó¤j¨Æ¡A¦pªG§Aª¾¹DGodel*s the incompleteness of
arthimetic§A´Nª¾¹D³oºØªF¦èªº±þ¶Ë¤O¦³¦h¤j°Õ¡I¤£¹L©Z¥Õ»¡¡G³oºØªF¦è¹ï¤H³oºØ¦³­­ª«
¬OµL¥i§JªAªº¡A¦ý¡A§Ú¬Ý¤£¥X¨Ó¥L¹ï¤W«Ò¦³¥ô¦óªº±þ¶Ë¤O¡C

    ¯S§O¬O½×ÃÒ¡A¤@ª½¨ì¤µ¤Ñ¡A§Ú­ÌÁÙ¦bª§a argument form or the argument form?
³o­Ó¦³®Ä½×ÃÒ¤£¦ý«e´£«Ü¥i¯à¬°°²¡]§Ú¬Oı±o¤W«Òªº¥þ¯à¤£¬OÅÞ¿è¹CÀ¸°Õ¡I¡^¡A§Y¨Ï¦³®Ä
¡A§Ú¥i¥H§ä¥t¤@­Ó¨S¦³®Äªºargument formµ¹§A¬Ý¡G¦n§a¡I²{¦b§ä¡GP,©Ò¥HQ§¹¥þ¨S»¡¬°¤°
»ò¤£¥i¥H³o¼Ë§ä¡A¤£¬O¶Ü?

    ¤p§Ì¯uªº¥´¦n¤[°Õ¡I¦U¦ì¤j­ô¤]¬Ý²Ö°Õ¡I¥ý´N¦¹¥´¦í§a¡I

                                                            ¸ô¤H¥Ò


¦^¨ì¤W¤@¼h