八十年代以來(lái)國(guó)外哥德?tīng)栄芯烤C述

1、八十年代以來(lái)國(guó)外哥德?tīng)栄芯烤C述哥德?tīng)杒urtgdel，19061978在20世紀(jì)上半葉短短十年間(1929-1939)就使數(shù)理邏輯發(fā)生了根本性變革，他的思想對(duì)邏輯學(xué)、數(shù)學(xué)、計(jì)算機(jī)科學(xué)、算法信息論、哲學(xué)和認(rèn)知科學(xué)都產(chǎn)生了深遠(yuǎn)影響。王浩(angha)曾將他的工作同弗洛依德的心理學(xué)、愛(ài)因斯坦的相對(duì)論、玻爾的互補(bǔ)性原理、海森堡的測(cè)不準(zhǔn)原理、凱恩斯的經(jīng)濟(jì)學(xué)和dna雙螺旋構(gòu)造理論并稱(chēng)20世紀(jì)人類(lèi)思想史上的奠基性奉獻(xiàn)。1979年一部美國(guó)暢銷(xiāo)書(shū)?哥德?tīng)?艾舍爾-巴赫?gdel,esher,bah:aneternalgldenbraid使邏輯領(lǐng)域之外的人也對(duì)哥德?tīng)柊l(fā)生了空前的興趣，一時(shí)間，“不完全性、“悖論、“

2、怪圈竟成了一大批科普讀物和文學(xué)作品中的時(shí)髦語(yǔ)匯。人們向往理解哥德?tīng)?、更深化地理解哥德?tīng)柕乃枷?，開(kāi)掘哥德?tīng)査枷胫袧撛诘目茖W(xué)價(jià)值。但不完全性定理的數(shù)學(xué)外衣令大多數(shù)人望而卻步，哥德?tīng)柕膫€(gè)性更覆蓋著層層神秘色彩，而且哥德?tīng)栆簧錾跎?，大多?shù)思想記錄在手稿、通信和私人談話(huà)中，因此，長(zhǎng)期以來(lái)，即使對(duì)大多數(shù)邏輯界人士來(lái)講哥德?tīng)栆彩且粋€(gè)難解的謎。直到1981年哥德?tīng)柸ナ廊旰?，他的妻子將其遺稿全部捐贈(zèng)美國(guó)普林斯頓研究院，哥德?tīng)柺指逯械囊徊糠謨?nèi)容才開(kāi)始陸續(xù)公布，哥德?tīng)査枷牒甏蟊降囊唤遣砰_(kāi)始漸漸顯露，世人才有可能逐漸更全面地理解哥德?tīng)柕纳詈凸ぷ?。于?0年代后西方學(xué)界重新對(duì)哥德?tīng)杻A注熱情，一大批數(shù)學(xué)家、邏輯

3、學(xué)和哲學(xué)家紛紛加盟研究行列，目前，哥德?tīng)栄芯恳呀?jīng)成為具有極大挑戰(zhàn)性和誘惑力的課題。從已公布的資料中我們理解到，哥德?tīng)柕倪z稿包括未發(fā)表的論文手稿、演講稿、授課講義、各類(lèi)札記和哥德?tīng)栕约壕幪?hào)的100多本筆記其中包括16本數(shù)學(xué)筆記、14本哲學(xué)筆記、2本神學(xué)筆記，內(nèi)容涉及數(shù)學(xué)、物理學(xué)、邏輯、哲學(xué)、歷史和神學(xué)眾多領(lǐng)域，所有文字或以德文、英文、或以一種老式德文速記法寫(xiě)成，大多數(shù)文字還有待進(jìn)一步破譯。美國(guó)數(shù)學(xué)家約翰道森jhn.dasn,jr.率先獲準(zhǔn)進(jìn)入哥德?tīng)栠z稿并于1982年完成了大批遺稿的編目。1979年國(guó)際符號(hào)邏輯學(xué)會(huì)理事會(huì)研究決定出版?哥德?tīng)栁募?kurtgdel:lletedrks1986，遂由菲

4、夫曼s.feferan等一流邏輯學(xué)家組成編輯委員會(huì)施行出版方案，1986、1990、1995年分別出版了文集的iiii卷。第一、二卷為所有已發(fā)表的文字的結(jié)集，大約有80篇。其中有33篇述評(píng)和書(shū)評(píng)類(lèi)文章，近10篇是對(duì)曾發(fā)表文章的修訂，其余有3篇關(guān)于邏輯完全性的，5篇關(guān)于數(shù)學(xué)不完全性的，4篇關(guān)于集合論一致性結(jié)果的，2篇關(guān)于斷定問(wèn)題的，1篇關(guān)于證明長(zhǎng)度的，3篇關(guān)于命題演算的，5篇關(guān)于直覺(jué)主義及泛函解釋的，4篇關(guān)于數(shù)學(xué)哲學(xué)的，3篇關(guān)于相對(duì)論和時(shí)間哲學(xué)的，5篇關(guān)于幾何的，1篇關(guān)于數(shù)理經(jīng)濟(jì)學(xué)的，1篇關(guān)于非標(biāo)準(zhǔn)分析的。第三卷包括部分未發(fā)表的論文手稿、演講稿和專(zhuān)題講座講稿，大部分涉及到哲學(xué)。三卷文集每篇文章前

5、均由專(zhuān)家撰寫(xiě)導(dǎo)讀文章，介紹論文產(chǎn)生的背景、主要內(nèi)容以及相關(guān)領(lǐng)域的最新研究成果。目前?哥德?tīng)栁募?其他各卷還在陸續(xù)編目出版，哥德?tīng)査枷爰捌錆撛诘恼軐W(xué)和科學(xué)價(jià)值正日益受到學(xué)界的關(guān)注。事實(shí)上，自1931年不完全性定理問(wèn)世以來(lái)，國(guó)外哥德?tīng)栄芯烤痛笾卵刂膫€(gè)方向展開(kāi)了：1對(duì)哥德?tīng)柕倪壿嫼蛿?shù)學(xué)成果的研究以及建立在此根底上的后續(xù)研究；2對(duì)哥德?tīng)栒軐W(xué)思想的討論；3哥德?tīng)査枷雽?duì)其他領(lǐng)域的影響；4關(guān)于哥德?tīng)柕膫饔浭窖芯俊哪壳耙压嫉奈墨I(xiàn)看，第一個(gè)方向的研究較為深化，且大多數(shù)已成為數(shù)理邏輯學(xué)家的專(zhuān)門(mén)技術(shù)性領(lǐng)域，第三個(gè)方向的研究較為零散，而第二個(gè)方向真正的系統(tǒng)研究從80年代后期才剛剛起步。王浩?對(duì)哥德?tīng)柕姆此?re

6、fletinsnkurtgdel1987和?邏輯之旅：從哥德?tīng)柕秸軐W(xué)?algijurney:frgdeltphilsphy1996顯然在這方面作了創(chuàng)始性工作，其中對(duì)哥德?tīng)査枷氲年U述主要根據(jù)作者七十年代與哥德?tīng)柕挠H身接觸和屢次單獨(dú)交談所獲得的資料，特別對(duì)哥德?tīng)柕囊恍r為人知的哲學(xué)思想及其在他的邏輯和數(shù)學(xué)工作中所起的決定性助探作用作了精辟闡述，是目前為止最為豐富的哥德?tīng)査枷胙芯砍晒?，具有很高的學(xué)術(shù)價(jià)值。克萊索爾gergkreisel的?庫(kù)爾特哥德?tīng)?kurtgdel：1906-19781980、卡爾門(mén)格爾karlenger的?追憶哥德?tīng)?eyiesfkurtgdel1982以及辛迪卡jaakkhi

7、ntikka和約翰道森的兩部新作?哥德?tīng)?ngdel(1999)和?邏輯兩難：哥德?tīng)柕囊簧?lgialdileas-thelifeandrkfkurtgdel1997是風(fēng)格不同的幾部評(píng)傳，前三者學(xué)院味較濃，側(cè)重哥德?tīng)柕倪壿嫼蛿?shù)學(xué)成就和深化的哲思；后者更側(cè)重哥德?tīng)柕纳罟ぷ鹘?jīng)歷和個(gè)性特征，分別從不同角度為世.人理解哥德?tīng)柕乃枷胩峁┝丝煽康谋尘靶畔?。特別是道森的著作，以翔實(shí)的史料向世人展示了哥德?tīng)柧哂袀髌嫔实囊簧?，?duì)哥德?tīng)柕目茖W(xué)理性和個(gè)性的極端不穩(wěn)定性之間的張力作了獨(dú)到分析。辛迪卡的書(shū)那么更多地著墨于哥德?tīng)査枷氘a(chǎn)生的理論背景極其對(duì)人類(lèi)思想史的重大影響。此外，沙克爾s.g.shanker編輯的?哥

8、德?tīng)柖ɡ砭劢?gdelsthereinfus1988、羅格斯-孔塞格拉f.a.rdriguez-nsuegra編輯的?哥德?tīng)柕恼軐W(xué)手稿?kurtgdel,unpublishedphilsphialessays1995等幾部論文集也提供了哥德?tīng)栄芯康呢S富原始資料。?哥德?tīng)柖ɡ砭劢?集中討論了哥德?tīng)柖ɡ懋a(chǎn)生的背景及其意義，收錄的多為名家名篇。例如，道森的“透視哥德?tīng)柡汀案绲聽(tīng)柌煌耆远ɡ淼慕蛹{過(guò)程、克利尼s.kleene的“哥德?tīng)柹健⑸晨藸柕摹熬S特根斯坦論哥德?tīng)柖ɡ淼囊饬x等。?哥德?tīng)柕恼軐W(xué)手稿?由美國(guó)當(dāng)代最有影響的哲學(xué)家蒯因.v.quine撰寫(xiě)序言，羅格斯孔塞格拉加寫(xiě)了長(zhǎng)篇引言，對(duì)哥德?tīng)柕臄?shù)學(xué)哲

9、學(xué)思想從本體論、認(rèn)識(shí)論和語(yǔ)義學(xué)三個(gè)角度作了概括，并將不曾收入?哥德?tīng)栁募?第三卷的?數(shù)學(xué)是語(yǔ)言的語(yǔ)法嗎？?論文手稿的第四、第六稿編入選集。另有其他散見(jiàn)各學(xué)術(shù)中的文獻(xiàn)也在哥德?tīng)栄芯恐姓紦?jù)一席之地。例如，邁迪p.addy發(fā)表在?符號(hào)邏輯雜志?上的?當(dāng)代柏拉圖主義的根?thertsfntepraryplatnis1989、載于?符號(hào)邏輯通報(bào)?上的查爾斯帕爾森.d.parsns的?哥德?tīng)査枷胫械陌乩瓐D主義和數(shù)學(xué)直覺(jué)?platnisandatheatialintuitininkurtgdelsthught1995創(chuàng)刊號(hào)和他的?蒯因和哥德?tīng)栒摲治鲂?quineandgdelnanalytiity1995、

10、克勒e.k*hler的?哥德?tīng)柵c維也納學(xué)派：柏拉圖主義反對(duì)形式主義?kurtgdelandviennairle：platnisagainstfralis1991等文章，對(duì)哥德?tīng)栘S富而深化的哲學(xué)思想均提出了一些獨(dú)到的分析,極具啟發(fā)意義。最為國(guó)人熟知的恐怕是霍夫斯塔特duglashfstadter的?哥德?tīng)柊釥柊秃眨阂粭l永久的金帶?以及彭羅斯r.penrse的?皇帝新腦?theeperrsneindnerningputers,inds,andthelafphysis1990兩部著作，其中作者頗j具匠心地試圖以極大的視覺(jué)沖擊和通俗幽默的筆調(diào)，以不完全性定理為主線(xiàn)將哥德?tīng)柶D深的思想向?qū)W院門(mén)墻外的群眾

11、傳播，曾在許多讀者中產(chǎn)生宏大的轟動(dòng)效應(yīng)，但同時(shí)也引起了一些批評(píng)，被稱(chēng)作“哥德?tīng)柖ɡ砹钊顺泽@的強(qiáng)應(yīng)用。另外一個(gè)一直引起人們關(guān)注的方向是一批具有數(shù)理背景的哲學(xué)家和科學(xué)家所熱衷的自30年代以來(lái)即開(kāi)始的心-腦-計(jì)算機(jī)-哥德?tīng)柖ɡ韱?wèn)題的大討論：其中斯萊扎克p.slezak的“哥德?tīng)柖ɡ砗托膅delsthereandind1982魯卡斯j.r.luas的“心，機(jī)器和哥德?tīng)杋nd，ahinesandgdel1996、菲夫曼的“彭羅斯的哥德?tīng)栒撟Cpenrsesgdelianarguent1996、愛(ài)迪斯t.edis的“哥德?tīng)柖ɡ砣绾螢槿斯ぶ悄芴峁┲С?？hgdelstheresupprtsthepssibili

12、tyfahineintelligene?1998、麥克馬爾all的“圖靈機(jī)能知道哥德?tīng)栒Z(yǔ)句是真的嗎？anaturingahineknthatthegdelsenteneistrue?1999等，分別站在不同的角度利用哥德?tīng)柖ɡ砘蛘邽槿斯ぶ悄芴峁├碚摳鶕?jù)，或者反對(duì)強(qiáng)人工智能觀點(diǎn)，雖然誰(shuí)也說(shuō)服不了誰(shuí)，卻也因此成為國(guó)外哥德?tīng)栄芯恐械囊坏廓?dú)特風(fēng)景。在這個(gè)方向上，王浩的“論物理主義和算法主義：機(jī)器能思維嗎nphysialisandalgritheis:anahinesthink?1993引用哥德?tīng)柋救说慕忉專(zhuān)敱M討論了直接應(yīng)用哥德?tīng)柌煌耆远ɡ硎欠窨梢酝瞥觥叭诵膭龠^(guò)計(jì)算機(jī)的結(jié)論這個(gè)哥德?tīng)柋救艘哺信d趣的問(wèn)

13、題。進(jìn)入80年代以來(lái)，哥德?tīng)柤o(jì)念活動(dòng)紛紛在各地舉行。1986年一部電影劇本?庫(kù)爾特哥德?tīng)枺阂粋€(gè)數(shù)學(xué)神話(huà)?kurtgdel:aatheatialyth問(wèn)世，同年在維也納等地召開(kāi)了三個(gè)緬懷哥德?tīng)柕募瘯?huì)。1987年“哥德?tīng)枌W(xué)會(huì)在奧地利正式成立。1992年在巴黎舉辦了部分歐洲學(xué)者參加的哥德?tīng)柖ɡ韺?zhuān)題會(huì)議并出版了由沃考夫斯基z.lkski主編的?第一屆哥德?tīng)柖ɡ韺?zhuān)題會(huì)議論文集?firstinternatinalsypsiungdelsthere1992。1993年在哥德?tīng)柤亦l(xiāng)布魯諾舉行了第三屆紀(jì)念哥德?tīng)枌W(xué)術(shù)討論會(huì)，會(huì)后出版了論文集?可證性邏輯和證明論?putatinallgiandprfthery:th

14、irdkurtgdelllpquiu1993、1995年英美著名邏輯學(xué)家在波士頓召開(kāi)哥德?tīng)栒軐W(xué)專(zhuān)題討論會(huì)，大會(huì)報(bào)告中有王浩的“哥德?tīng)柕恼軐W(xué)觀、戈德法布.gldfarb的“論哥德?tīng)柕囊话阏軐W(xué)觀、辛迪卡的“哥德?tīng)柵c集合論基幢、道森的“哥德?tīng)柕姆瞰I(xiàn)、韋布(j.ebb)的“哥德?tīng)栐庥鰩缀螌W(xué)、集合論和物理學(xué)中的直覺(jué)等。1996年在布魯諾舉行紀(jì)念哥德?tīng)栒Q辰90周年學(xué)術(shù)討論會(huì)，會(huì)后出版了論文集?數(shù)學(xué)計(jì)算機(jī)物理學(xué)的邏輯根底：哥德?tīng)柕倪z產(chǎn)?gdel96lgialfundatinsfatheatis,putersieneandphysis-kurtgdelslegay1996。哥德?tīng)柕囊簧菍?zhuān)注于根底理論研究的一

15、生，是執(zhí)著于理性主義哲學(xué)傳統(tǒng)的哲人科學(xué)家的一生。從各種文獻(xiàn)中我們完全可以斷言，哥德?tīng)柌粌H以其精湛?jī)?yōu)雅的科學(xué)工作對(duì)整個(gè)人類(lèi)作出了宏大奉獻(xiàn)，同時(shí)也以其超越時(shí)代的深化思想為后人留下了一筆豐厚的哲學(xué)遺產(chǎn)。他畢生工作的領(lǐng)域?yàn)檫壿?、?shù)學(xué)、理論物理和哲學(xué)。1906年哥德?tīng)柹趭W地利的布魯諾，1924年入維也納大學(xué)學(xué)習(xí)，最初主修理論物理，后轉(zhuǎn)修數(shù)學(xué)，1928年受維也納學(xué)派影響對(duì)數(shù)理邏輯發(fā)生興趣。1929年1939年間相繼作出數(shù)理邏輯領(lǐng)域中幾大奉獻(xiàn)：一階謂詞邏輯的完全性、數(shù)學(xué)形式系統(tǒng)的不完全性、連續(xù)統(tǒng)假設(shè)相對(duì)集合論公理的一致性以及不大為人所知的關(guān)于直覺(jué)主義及其泛函解釋的結(jié)果。1940年起哥德?tīng)栍删S也納移居美國(guó)，

16、直到1978年逝世一直在普林斯頓研究院工作。這期間除了一直未連續(xù)集合論問(wèn)題的考慮，并有五年時(shí)間熱衷于廣義相對(duì)論研究外，大部分精力致力于哲學(xué)研究。根據(jù)現(xiàn)有國(guó)外哥德?tīng)栄芯课墨I(xiàn)看，他的哲學(xué)大致劃分為兩大部分：一部分是未予系統(tǒng)化闡述的一般哲學(xué)觀，另一部分是闡述較為集中且內(nèi)涵豐富而深化的數(shù)學(xué)哲學(xué)。他曾有過(guò)不曾實(shí)現(xiàn)的建構(gòu)“作為嚴(yán)格科學(xué)的哲學(xué)的大規(guī)劃，他的哲學(xué)試圖追隨萊布尼茲，借鑒胡塞爾現(xiàn)象學(xué)方法，利用現(xiàn)代邏輯工具建立一種公理化的取單子論形式的形而上學(xué)。哥德?tīng)柾砟陮?duì)自己的一般哲學(xué)觀所作的概括是“唯心主義的、理性主義的、樂(lè)觀主義的和神學(xué)的，而將自己1925年以來(lái)的數(shù)學(xué)哲學(xué)立場(chǎng)概括為“數(shù)學(xué)實(shí)在論或“概念實(shí)在論。

17、他曾花費(fèi)一部分精力考慮關(guān)于時(shí)間和空間的物理學(xué)哲學(xué)，也曾發(fā)表過(guò)關(guān)于相對(duì)論和時(shí)間哲學(xué)的論文，但他戲稱(chēng)這些討論不過(guò)是一些“題外話(huà)。關(guān)于哥德?tīng)柕奈锢韺W(xué)哲學(xué)可參看palleyurgrau的?時(shí)間的消逝：哥德?tīng)柡退奈ㄐ闹髁x哲學(xué)傳統(tǒng)?thedisppearaneftie:kurtgdelandtheidealistitraditininphylsphy1991。哥德?tīng)栆簧簧薪疱X(qián)，不慕虛榮，遠(yuǎn)離外部事務(wù)，特立獨(dú)行，始終如一地將一流的人格品質(zhì)、高遠(yuǎn)的科學(xué)鑒賞力、超凡的創(chuàng)造性和至為嚴(yán)謹(jǐn)?shù)目茖W(xué)作風(fēng)融為一體，全力獻(xiàn)身根底理論問(wèn)題研究，在這個(gè)充滿(mǎn)喧囂的世界上他“完全超然于競(jìng)爭(zhēng)之外，其為學(xué)為人向世人標(biāo)示了一個(gè)偉大的哲

18、人科學(xué)家的思維形式和生活方式。兒時(shí)的哥德?tīng)栃邼?、敏感、富有好奇心，四歲時(shí)就被家人稱(chēng)作“為什么先生。二十幾歲即顯露精神病征兆，晚年病癥加劇，性格孤僻，離群索居，逝世前幾乎過(guò)著隱夫子般的生活。像愛(ài)因斯坦一樣哥德?tīng)栂嘈拧吧系劢^不和世界擲骰子，他認(rèn)為世界是理性地構(gòu)成的一個(gè)高度秩序化的世界。1971年他還曾給出一個(gè)論證上帝存在的本體論公理化證明，1961年試圖論證人有來(lái)生，認(rèn)為我們所生活的世界絕不是唯一一個(gè)我們?cè)?jīng)生活過(guò)和將要繼續(xù)生活的世界，并且相信存在異于人類(lèi)的高級(jí)智慧生物。曾有人問(wèn)哥德?tīng)?，是否可以將他的不完全性定理推廣到數(shù)學(xué)之外，哥德?tīng)枃L試給出了一個(gè)他自己認(rèn)為合理的表述：一個(gè)完全不自由的社會(huì)即處處按

19、統(tǒng)一法那么行事的社會(huì)就其行為而言或者是不一致的，或者是不完全的，即無(wú)力解決某些可能是極端重要的問(wèn)題。在困難的處境中，這兩者當(dāng)然都會(huì)危及社會(huì)的生存。這個(gè)說(shuō)法也適用于個(gè)體的人。哥德?tīng)栠€作出許多超越時(shí)代的大膽猜想，例如，認(rèn)為人類(lèi)將需要新的生理器官以把握抽象印象，預(yù)言“作為嚴(yán)格科學(xué)的哲學(xué)將在今后幾百年內(nèi)產(chǎn)生，斷言將心智等同于計(jì)算機(jī)的“生物機(jī)械主義和“沒(méi)有與物質(zhì)相別離的心這樣的論斷終將被將來(lái)的科學(xué)開(kāi)展所否證。由于哥德?tīng)柕拇蠖鄶?shù)哲學(xué)見(jiàn)解與時(shí)代潮流相左，所述觀點(diǎn)多與現(xiàn)代科學(xué)和哲學(xué)知識(shí)格格不入，因此難以融入時(shí)代思想主流，他的許多深化思想的真正價(jià)值恐怕要經(jīng)過(guò)相當(dāng)長(zhǎng)的歷史時(shí)期才會(huì)被世人領(lǐng)悟。目前西方哥德?tīng)栄芯侩m已

20、有相當(dāng)成果，但除了王浩等少數(shù)工作以外，迄今為止極少有對(duì)哥德?tīng)査枷脒M(jìn)展深化剖析的整體性研究論著面世。對(duì)哥德?tīng)柕乃枷?，特別是其深化的哲學(xué)思想作全面系統(tǒng)的評(píng)價(jià)恐怕為時(shí)尚早。隨著?哥德?tīng)栁募?的陸續(xù)出版和哥德?tīng)柺指宓墓?，我們期待?guó)外哥德?tīng)栄芯繛槲覀兲峁└迂S富的史料，也期望國(guó)內(nèi)學(xué)界關(guān)注這一研究領(lǐng)域。長(zhǎng)期以來(lái)對(duì)于中國(guó)邏輯界哥德?tīng)栄芯渴冀K是一個(gè)令人畏懼的艱深領(lǐng)域，相信隨著國(guó)外哥德?tīng)栄芯康倪M(jìn)一步深化，國(guó)內(nèi)學(xué)界不會(huì)再漠然麻木下去，中國(guó)人應(yīng)當(dāng)有勇氣在國(guó)際哥德?tīng)栄芯恐姓紦?jù)自己的一席之地。主要參考文獻(xiàn)dasn,jhn.jr1997lgialdileas:thelifeandrkfkurtgdelak.peters

21、ltd.edis,t.(1998)hgdelstheresupprtsthepssibilityfahineintelligene?indsandahines8：pp.251-262。feferan,s.1996penrsesgdelianarguent.psyhe2:pp.21-32.gdel,kurt1986,1990,1995lletedrks.s.feferanetal.neyrkandxfrduniversitypress.gttlb,geprg.ed1993putatinallgiandprfthery:thirdkurtgdelllpquiu.brn,zehrepubli,199

22、3preedings.hjek,petred.1996gdel96lgialfundatinsfatheatis,putersieneandphysis-kurtgdelslegay.brn,zehrepubli,springer.hintikka,jaakk(1999)ngdel.paperbakpublished.hfstadter,d.r.(1979)gdel,esher,bah:aneternalgldenbraid,.basibks.k*hler,e.1991kurtgdelandviennairle：platnisagainstfralis.kreisel,gerg1980kurt

23、gdel：1906-1978.bigraphialerisffellsftheryalsiety.pp.149-224.luas,j.r.1996ind,ahinesandgdel:aretrspet.p.illiana.lark,eds.ahinesandthught.xfrduniversitypress.addy,p.1989thertsfntepraryplatnis.thejunalfsyblilgi.all,s.1999anaturingahineknthatthegdelsenteneistrue?jurnalfphilsphy.96:pp.525-532.karlenger1982eyiesfkurtgdel.reinisenesfthevienn