µn¤J
¡U
µù¥U
¡U
·|û¤¤¤ß
¡U
µ²±b
¡U
°ö°V½Òµ{
Å]ªk§Ì¤l
¡U
¦Û¸ê¥Xª©
¡U
¹q¤l®Ñ
¡U
«ÈªA¤¤¤ß
¡U
´¼¼z«¬¥ßÊ^·|û
®Ñ¦W
¥Xª©ªÀ
§@ªÌ
isbn
½s¸¹
5050Å]ªk²³Äw
|
NG®Ñ«°
|
°ê»Ú¯Å«~µP½Òµ{
|
Àu´f³qª¾
|
ÅRÆE^¶¯µ¼Öºë¿ï
|
ì¨Ó §õ±ÎÄF¤F§A
¡D
ÅÞ¿è¾Ç¤Q¤Á¿
¤å¾Ç¤p»¡
¤å¾Ç
¡U
¤p»¡
°ÓºÞ³Ð§ë
°]¸g§ë¸ê
¡U
¦æ¾P¥øºÞ
¤H¤åÃÀ§{
©v±Ð¡Bõ¾Ç
ªÀ·|¡B¤H¤å¡B¥v¦a
ÃÀ³N¡B¬ü¾Ç
¡U
¹q¼vÀ¸¼@
Ày§Ó¾i¥Í
ÂåÀø¡B«O°·
®Æ²z¡B¥Í¬¡¦Ê¬ì
±Ð¨|¡B¤ß²z¡BÀy§Ó
¶i׾Dzß
¹q¸£»Pºô¸ô
¡U
»y¨¥¤u¨ã
Âø»x¡B´Á¥Z
¡U
x¬F¡Bªk«ß
°Ñ¦Ò¡B¦Ò¸Õ¡B±Ð¬ì¥Î®Ñ
¬ì¾Ç¤uµ{
¬ì¾Ç¡B¦ÛµM
¡U
¤u·~¡B¤uµ{
®a®x¿Ë¤l
®a®x¡B¿Ë¤l¡B¤H»Ú
«C¤Ö¦~¡Bµ£®Ñ
ª±¼Ö¤Ñ¦a
®È¹C¡B¦a¹Ï
¡U
¥ð¶¢®T¼Ö
º©µe¡B´¡¹Ï
¡U
¨î¯Å
ÅÞ¿èõ¾Ç¬ã¨s
§@ªÌ¡G
³¯波
¤ÀÃþ¡G
õ¾Ç¡E©v±Ð
¡þ
õ¾ÇÁ`½×
ÂO®Ñ¨t¦C¡Gð¤s½×ÂO55
¥Xª©ªÀ¡G
ð¤s
¥Xª©¤é´Á¡G2004/11/11
ISBN¡G9867748379
®ÑÄy½s¸¹¡Gkk0107873
¶¼Æ¡G596
©w»ù¡G
480
¤¸
Àu´f»ù¡G
82
§é
394
¤¸
®Ñ»ùY¦³²§°Ê¡A¥H¥Xª©ªÀ¹ê»Ú©w»ù¬°·Ç
¼È°±³c°â
¼ÈµL¨ÑÀ³°Ó¡G´M§ä¨Ñ³f°Ó¤¤(¤]¦³¥i¯à¥Xª©ªÀ¤wµ²§ô)¡C
¹ÎÁʼƳ̧C¬° 20 ¥»¥H¤W
µû»ù¼Æ¡G
(½Ð±N·Æ¹«²¾¦Ü¬P¬P³B¶i¦æµû»ù)
¥Ø«e¥§¡µû»ù¡G
¤å¦r³sµ²
½Æ»s»yªk
ÅÞ¿èõ¾Ç¬ã¨s
¹Ï¤ù³sµ²
½Æ»s»yªk
¤À
¨É
¤º®e²¤¶
¦PÃþ±ÀÂË
內容簡介
ÅÞ¿è學有一段漫ªø¦Ó光榮的歷史¡A¦Ü少可以°l溯到亞¨½士多德¡C不¹L¡A¡u現代ÅÞ¿è¡v¡Ð由統一的命ÃD和¿×µü演算構成的形式演繹ÅÞ¿è¡Ð是相對年»´的¡A°_源於布爾¡B弗¹p格¡B皮爾士¡B羅素以及19世紀和23世紀早期其他人的工作¡C¦Û從³o一引人注目的復¿³以來¡A在形式ÅÞ¿è中已經取得了Ãø以p數的¶i展¡A其中包括ÃöÅÞ¿è系統的一P性¡B完全性¡B可¾a性和可判定性的元ÅÞ¿è結果ÃÒ明¡F對於標準的命ÃD和¿×µü演算的模態的¡A¹D義的擴充¡F對於³o些標準系統的直ı主義的¡B多值的¡B基於相干的¡B次協½Õ的等等修正¡F以及把形式化的益³B擴展到歸納推理的努力¡C¡]皮爾士已經¹w示¹L其中某些發展¡A他¸ÕÅç¹L模態的並且是三值或¡u三價¡v的ÅÞ¿è¡A並把科學方法劇畫為包含三種Ãþ型的推理¡G溯因推理¡B演繹推理¡B歸納推理¡C¡^ 新的數理ÅÞ¿è已經取得了如此的成功¡A以P¡uÅÞ¿è¡v一µü¡A一度簡單地指¡uÃö於一切好的推理方式的理½×¡v¡A現在則³Q經常地用在更狹窄的意義上¡A指形式上的數的ÅÞ¿è¡F並且¡u經典ÅÞ¿è¡v現在³q常是指弗¹p格¡Ð皮爾斯¡Ð羅素的系統¡C於是¡A在當代的哲學¸Ü»y中¡A¡uÅÞ¿è哲學¡v³Q用來指涉Ãö於ÅÞ¿è的哲學基礎和眾多分支的探究¡A其中包括對確定和勾勒ÅÞ¿è的範圍的不同方式的探°Q¡FÃö於ÅÞ¿è的基礎的½×ÃÒ¡A包括它»P形¦Ó上學¡B意義理½×和推理的心理學的Ãö係¡F對於像推理¡B¶q化¡B意義¡B真理¡B有效性¡BÅÞ¿è後承¡BÅÞ¿è真理¡BÄ涵等等³o樣一些概念的分析¡F以及¸Ñ決由»¡ÁÀªÌ悖½×家族構成的»y義悖½×的努力¡C 弗¹p格ÅÞ¿è創新的一個主n動力來¦Û他的ÅÞ¿è主義¡A即數學的基礎在於ÅÞ¿è的ijÃD¡F並且從一¶}始¡A³o樣一些人就一直對現代ÅÞ¿è感¿³½ì¡A他們是直ı主義ªÌ¡B形式主義ªÌ和ÅÞ¿è主義ªÌ¡AÃö注µÛ數學中的基礎問ÃD¡C在哲學»â域¡A現代ÅÞ¿è有同樣的影ÅT力¡C確實¡A對於分析哲學¡Ð更確切地»¡¡A是對於分析哲學的³o樣一個分支¡A它«ÂIÃö注的不是日常»y¨¥¡A¦Ó是以卡爾納普和ãÇ因的方式Ãö注形式»y¨¥¡Ð來»¡¡AÅÞ¿è已經是一個½è性的工具¡G例如¡A在ãÇ因所提出本Åé½×承¿Õ標準¡]¡u存在就是成為約束Åܶµ的值¡v¡^中¡A或ªÌ在戴維森網»â中¡A後ªÌ是一種¾A於¦Û然»y¨¥的意義理½×¡A但以塔斯基Ãö於形式»y¨¥的真理½×為基礎¡C並且已經ÃÒ明¡A現代ÅÞ¿è和ÅÞ¿è哲學不僅對哲學家和數家有益³B¡A¦Ó且對³\多其他»â域的專家也有益³B¡A³o些學科»â域包括¡G»y¨¥學¡B心理學¡A法律推理的理½×¡A以及¡Ð再一次如皮爾士所¹w¨¥的¡Ðp算機科學¡C 在¡mÅÞ¿è哲學¡n一書中¡A我審µø了ÅÞ¿è哲學的中心½×ÃD和概念¡]如¸Ó書的標ÃD所ªí明的¡e¡uÅÞ¿è¡v一µü用½Æ數“Logics”¡ÐĶ注¡f¡A我在其中強½Õ的是多值的¡B模態的以及其他的ÅÞ¿è系統多元性¡^¡C既然我不¯à¾\Ū中文¡A我沒有¾\Ū¹L³¯教授³o本書的原文¡C毫無疑問¡A我們在某些問ÃD上不一P¡A例如¡AÃö於形式的歸納ÅÞ¿è的前景¡A我懷疑³¯教授持有比我更為樂Æ[的看法¡C但是¡A從他的書的¡]^文¡^目¿ýªí中¡A我可以看出¡AÃö於ÅÞ¿è事業的基礎結構和眾多分支的哲學探°Q的範圍和«n性¡A³¯教授»P我享有同樣的感ı¡C
¦º¤`»P¦~¦Ñõ¾Ç
§Æ±æªºõ¾Ç
¥i¯à¤º®e¤£¹ê¡G¦b¡u«á
¥Í©Rªº²Ä¤@ì²z¡G³Ì«á
¥@¬É·|¶dt§A¡A¬ü¹¤£
¤i¶§¦è¤U´X®É¦^¡X¡Xµ¹
Study Note
§Û¼g°ê¾Çª÷¥yªº©_ÂÝ¡G
§Î»P¤ß¤§¶¡¡Gº~¦r»P¡m
õ¾Ç¬ÃÄ_Âd¡GÃö©ó¥Í¬¡
¬°¤F«O»Ù±zªºÅv¯q¡A·sµ·¸ôºô¸ô®Ñ©±©ÒÁʶRªº°Ó«~§¡¨É¦³¨ì³f¤C¤ÑªºÅ²½à´Á¡]§t¨Ò°²¤é¡^¡C°h¦^¤§°Ó«~¥²¶·©óŲ½à´Á¤º±H¦^¡]¥H¶lÂW©Î¦¬°õÁp¬°¾Ì¡^¡A¥B°Ó«~¥²¶·¬O¥þ·sª¬ºA»P§¹¾ã¥]¸Ë(°Ó«~¡Bªþ¥ó¡B¤º¥~¥]¸Ë¡BÀH³f¤å¥ó¡BÃØ«~µ¥)¡A§_«h®¤¤£±µ¨ü°h³f¡C