¦^¨ì¤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§An¬Ý³Ì²³æªº¡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¥un©p°O±o, ¨Ò¦p¡G
"Snow is white" ¬°¯uªº±ø¥ó¬O³·¬O¥Õªº¡C
"!@#$#%%%^&*"¬°¯uªº±ø¥ó¬O³·¬O¥Õªº¡C
¤Ï¥¿ÀH«K§A°Õ¡I
²{¦bn¶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´yz©Êªº»y¥y¦ü¥G¤~¬O¥Î³o¼ËªºªF¦è¡C¦ý¬OTarski»¡¡G
¦³ºØ´yz©Êª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§ÚÌ«ez¹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§ÚÌ¥un§â³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