哲學(xué)問題的論文

哲學(xué)問題的論文

　　存在問題是一個古老而常新的本體論問題。在哲學(xué)史上，令人矚目的是自從哲學(xué)發(fā)生語言學(xué)轉(zhuǎn)向以來，對存在問題的探討進(jìn)入了現(xiàn)代邏輯的視野。以下是學(xué)習(xí)啦小編整理分享的哲學(xué)問題的論文的相關(guān)資料，歡迎閱讀!

　　哲學(xué)問題的論文篇一

　　存在問題的邏輯哲學(xué)探賾

　　存在問題是一個古老而常新的本體論問題。在哲學(xué)史上，令人矚目的是自從哲學(xué)發(fā)生語言學(xué)轉(zhuǎn)向以來，對存在問題的探討進(jìn)入了現(xiàn)代邏輯的視野?，F(xiàn)代哲學(xué)家、邏輯學(xué)家運用現(xiàn)代邏輯工具，企圖解決有關(guān)存在的諸多難題，使存在問題的研究工作踏上了更加深刻與細(xì)致之途。本文試圖對這一歷史片段的重要思想作一簡要回顧，并提出自己的初步見解。

　　一、何謂存在——“存在”是不是邏輯謂詞的爭論

　　在哲學(xué)史上，亞里斯多德首先對存在進(jìn)行了較深入的探討。在他看來，存在是存在物或范疇的一種不言自明的性質(zhì)，“存在”在主謂式命題中充當(dāng)謂詞，用以述說主詞所指對象的普遍性質(zhì)。亞氏的這一思想符合人們的直觀思維，長時間內(nèi)被奉為無可置疑的真理。中世紀(jì)經(jīng)院哲學(xué)家安琴倫和近代哲學(xué)家笛卡爾就援用了這一思想提出了“上帝存在”的本體論證明：上帝是完美的，即上帝具有一切性質(zhì)，存在也是一種性質(zhì)，所以，上帝具有存在性，即上帝存在。然而這一證明引起了康德的反駁?？档抡J(rèn)為，該證明的荒謬之處在于它把存在看作一種性質(zhì)。“存在”雖然從表面上看似性質(zhì)，實際上卻非真正的性質(zhì)。相應(yīng)地，在語言形式上，“存在”雖然表面上是語法謂詞，但它不是真正的謂詞，即邏輯謂詞。因為它根本沒有起到邏輯謂詞的作用，即能給主詞概念提供新的信息或知識。例如“……是紅色的”、“……是一只馴虎”是真正的謂詞。如果我告訴你：x是紅色的，x是一只馴虎，那么我便向你提供了有關(guān)x的事實。而我對你說“x存在”時，實際上是說“有x”，沒有向你提供有關(guān)x的任何新的信息或知識?？档碌倪@一見解是深刻的，引起了后來存在問題研究的爭論高潮。這一高潮在邏輯學(xué)界主要是圍繞“存在是不是邏輯謂詞”而展開的。

　　在一階邏輯中，把“存在”作存在量詞處理的人可追溯于奧地利哲學(xué)家布倫坦諾(F.Brenta-no)，他注意到“存在”一詞與“有些”之類的詞之間有類似關(guān)系。如“有一個人病了”等同于“—個病人是存在的”或者“存在一個病人”，它們之間是等值的。因此，他稱“有些”這類詞為存在量詞(記作“E”)，并主張存在不是謂詞，而是量詞。

　　弗雷格將“存在”稱作“語言的一種困境作品”，認(rèn)為其作用只在于促使人們?nèi)ふ也⑹褂弥^述內(nèi)容的真正的表達(dá)方式——特稱判斷，即存在判斷。在《算術(shù)基礎(chǔ)》中，通過與數(shù)學(xué)中的一階函數(shù)與二階函數(shù)之間的區(qū)分相類比，他區(qū)分了不同等階的概念。以單個客體作為主目的是一階概念，以一階概念為主目的是二階概念。前者如“——是智慧的”，后者如“——有實例”。一階概念表示客體的性質(zhì)，二階概念表示一階概念的性質(zhì)或性質(zhì)的性質(zhì)。對弗雷格來說，存在是一個二階概念，存在概念所表達(dá)的本質(zhì)上是這樣一個思想，即一個一階概念確實有實例，“存在”等于“不是空的”或“……被滿足”。“我稱存在為一個概念的性質(zhì)。……在‘至少有一個4的平方根’這個句子中，既不是表達(dá)了一個確切的數(shù)2，也不是表達(dá)了-2，而是表達(dá)了一個概念，即4的平方根，它不是空的。……我以下述方式表達(dá)相同的思想，‘4的平方根’這個概念被滿足。”①

　　羅素基本接受了弗雷格的存在觀——存在是概念或命題函項的可滿足性。他說：“存在”的“最基本的形式乃是從‘有時真’這個概念直接推導(dǎo)出來的。如果真，我們說a‘滿足’函項中;這和說一個方程式的根滿足這個方程式的意思一樣。”②“當(dāng)你取任何一個命題函項并且斷定它是可能的，即它有時真的時候，這就給予了你關(guān)于‘存在’的最基本的意義。……存在在本質(zhì)上是命題函項的一個特性，這是指命題函項至少在一個實例中是真實的。”③我們不能說現(xiàn)實個體存在或不存在，因為斷定其存在或不存在的是命題函項。“存在”只能與一個命題函項而不能與一個指稱個體或殊相(羅素有時稱個體為殊相)的專名一起使用。“存在命題沒有對現(xiàn)實的個體作出任何說明，而僅對類或函項有所說明。”如果說“某某存在”，就會產(chǎn)生“將只適用于命題函項的一個謂詞轉(zhuǎn)變成為滿足一個命題函項的個體的謬誤”。④

　　羅素的獨到之處在于用摹狀詞理論處理存在難題。羅素承認(rèn)，諸如“荷馬存在”、“圓形的方形不存在”含有空詞項的句子是有意義的，但這并不表明“存在”在這些句子中充當(dāng)邏輯謂詞。這些句子中的語法主詞無法確保其命名對象的存在，不能算是命題的真正成分，我們可以將它們化歸為相應(yīng)的定摹狀詞。這樣的句子可以改寫為一個含有命題函項和變項的命題形式，句子中的偽成分(空詞項)和謂詞“存在”通過改寫消失了。例如，“圓形的方形不存在”可以改寫為“‘一個對象x既圓又方’這個命題函項是假的”。“荷馬存在”可改寫為“‘x是《荷馬史詩》的作者’這個命題函項有且僅有一個值是真的”。通過這樣的分析，使我們從表面談?wù)摼哂心承傩缘氖挛锏拇嬖趩栴}轉(zhuǎn)成談?wù)撨@些屬性本身，或者說，從表面上談淪個體詞的屬性轉(zhuǎn)化成談?wù)撁}函項的屬性。羅素認(rèn)為，人們之所以會在存在問題上犯錯誤，是被表面語法所迷惑，通過這種分析，可以澄清“存在”問題上的思想混亂，并能解決哲學(xué)史上的許多存在難題。弗雷格、羅素式的分析方法，即將日常用語中的主謂式語句化歸為量化式語句，以表明“存在”不是邏輯謂詞的做法，受到了一些人的批評與挑戰(zhàn)，皮爾士(D.Pears)和斯特勞森(P.F.Strawson)就是其中的代表。

　　皮爾士對“存在不是謂詞”給出了一個“最低程度的表述”：當(dāng)以“存在”描述某對象時會產(chǎn)生指稱重言式或指稱矛盾式時，“存在”在其句子中不是謂詞。不過在他看來，這個最低程度的表述在下述三種情況下例外：

　　其一，當(dāng)單稱存在語句的主詞指稱某一虛構(gòu)世界的個體時。因為諸如“哈姆雷特”、“孫悟空”的虛構(gòu)人物只在作者的虛構(gòu)世界中存在，并不蘊涵其在現(xiàn)實世界中的存在。說某虛構(gòu)個體存在，意思是該個體在現(xiàn)實世界中存在，這無疑給它增

　　添了新的性質(zhì)。這樣的語句不再是指稱重言式：同理，說某虛構(gòu)個體不存在，意思是該個體在現(xiàn)實業(yè)界中不存在，也不造成指稱矛盾式。

　　其二，當(dāng)單稱存在語句的主詞指稱歷時性存在的個體時。例如，對“亞里斯多德”、“阿房宮”這樣的歷時性存在個體，我們說它們存在 或不存在，就是肯定或否定它們的現(xiàn)時存在性，這樣的語句也不會造成指稱重言式或矛盾式。

　　其三，當(dāng)單稱存在語句的主詞指稱某一 經(jīng)驗層次上的個體時。假如，某人看見一把匕首，并有充足的理由相信這是一個幻覺，那么當(dāng)他在實際空間的意義上說“那把匕首存在”或“那把匕首不存在”時，他是在對那把視覺經(jīng)驗層次卜的匕首賦予實際空間的存在性，這樣的語句并不會成為指稱重言式或矛盾式。 ⑤

　　顯然，皮爾士將存在問題引入了跨界指稱的領(lǐng)域。在他看來，在指稱對象的存在出現(xiàn)跨界的情況下，“存在”便給主詞增添了新的性質(zhì)或內(nèi)容，此時的“存在”便成為一個邏輯謂詞，它有別于限界指稱個體的謂詞。它是一個特殊謂詞，即跨界謂詞。

　　斯特勞森也有類似的看法。他認(rèn)為，借助于他提出的“預(yù)設(shè)類”(即由在某種特定語境中預(yù)設(shè)的某些對象構(gòu)成的類或集合)概念，可以把存在解釋成邏輯謂詞。“預(yù)設(shè)類”在本體論上可以劃分為兩個異質(zhì)的子類，其中一個由真實的對象構(gòu)成，另一個由虛構(gòu)的或傳說的對象構(gòu)成。當(dāng)我們用“存在”或“不存在”斷定某個對象時，就是把該對象指派給預(yù)設(shè)類中的某個子類。例如，我們說“阿爾弗雷德國王存在”，就是把“阿爾弗雷德國王”指派給“實在的、歷史上有過的國王”這個子類;說“阿琴國王不存在”，就是把“阿琴國王”指派給“神話中的、虛構(gòu)的國王”這個子類。“存在”或“不存在”在句子中作為一個謂詞出現(xiàn)，該謂詞并非一個概念的謂詞，而是某一預(yù)設(shè)類成員的謂詞。也就是說，“存在”在主謂式語句中可以作為真正的(邏輯的)謂詞出現(xiàn)，無需將它視為量詞。 ⑥

　　皮爾士、斯特勞森實際上將包含空詞項的存在語句納入了主謂式分析的范式?？梢哉f，自由邏輯將這一思想推向極端。大家知道，一階邏輯否認(rèn)存在是個體的性質(zhì)，把空名解釋為摹狀詞，將存在視為量同，為此作出了兩個“存在預(yù)設(shè)”：(1)存在一個非空個體域;(2)每個自由個體變項和個體常項都指稱其非空個體域中的某一個體。自由邏輯擺脫了這兩個“存在預(yù)設(shè)”，直接承認(rèn)“存在”是渭詞。它允許所有個體詞作為邏輯主詞出現(xiàn)，不將空專名解釋為摹狀詞。為了避免“存在怪論”，對一階邏輯的存在概括規(guī)則進(jìn)行了修改，在原規(guī)則的基礎(chǔ)上引入了存在謂詞E!(讀作“存在”，E!x表示個體x存在)。修改后的存在概括規(guī)則為E!x，F(xiàn)x歸xFx。此外，還主張在形式 語言中嚴(yán)格區(qū)分個體變項和個體常項的作用，規(guī)定變項必須在論域中取值，而常項則不受此限。也就是說，在某一確定的語義解釋下，既有有指稱對象的個體常項，又有無指稱對象的個體常項，前者相當(dāng)于非空專名，后者相當(dāng)于空專名。修改后的存在概括規(guī)則只適用于非空專名。例如，L*是由雷白朗(Leblanc)和赫爾培(Hailperin)針對空專名的語義解釋提出的一個自然演繹系統(tǒng)，該系統(tǒng)排除了對空專名進(jìn)行存在概括從而導(dǎo)致悖論的可能性，既無須將空專名解釋為摹狀詞，又避免了使用模態(tài)算子和高階謂詞而帶來的推理的復(fù)雜性，完全達(dá)到了自由邏輯的一般要求。 ⑦

　　二、何物存在——“存在是約束變項的值”的邏輯語言解說

　　蒯因(W.Quine)基本接受了弗雷格、羅素的存在觀，并將討論的中心由“何謂存在”轉(zhuǎn)向“何物存在”。他在《論有什么》一文中明確提出了其本體論承諾標(biāo)準(zhǔn)：“存在就是成為一個約束變項的值”。在他看來，名稱和謂詞并不與何物存在相關(guān)。名稱的意義并非僅在于其命名和所指對象，我們不能因為使用了某一名稱就必須承認(rèn)有該名稱的指稱對象。例如“飛馬”這一名稱，不能因為使用了它就必須承認(rèn)有飛馬這個現(xiàn)實對象。如果認(rèn)為對象的存在是由名稱所承諾的話，我們就會遇到缺乏相應(yīng)名稱指示其對象的難題，正如康托爾指出的，對所有的實數(shù)，我們不能做到都有相應(yīng)的名稱指示它們。抽象名詞也不能對其所指即共相作出承諾。例如，“紅”的使用并不能使我們一定要承認(rèn)存在著共相實體——紅。在他看來，傳統(tǒng) 哲學(xué)把個體詞的意義和命名等同起來的錯誤在羅素的摹狀詞理論中已被揭露無遺。“當(dāng)一個存在或非存在陳述被羅素的摹狀詞理論分析時，它便不再含有任何甚至要給那些其存在頗成問題卻被當(dāng)作確實的實體命名的表達(dá)式，所以再不能認(rèn)為這個陳述的有意義必須預(yù)設(shè)這樣一個實體存在。” ⑧至于抽象名詞，在蒯因看來，我們不必將其視為實體名稱，因為我們總可以把它替換成一個相應(yīng)的謂詞表達(dá)式，這個表達(dá)式對它所描述的個別對象來說或者為真，或者為假，但它本身并不指稱某種共相實體。

　　蒯因排除了名稱和謂詞對本體論的承諾，將本體論的承諾與約束變項 聯(lián)系起來。在他看來，在存在性語句被改寫后的一階邏輯表達(dá)式中，被量詞約束的只能是個體變項，因為謂詞表達(dá)式或概念不指稱某種類型的對象，不能作為量詞的約束變項，邏輯聯(lián)結(jié)詞自然也是如此。這樣一來，本體論承諾的主體就落到了約束變項的身上。“存在就是成為一個約束變項的值”揭示了哲學(xué)家和理論學(xué)派在本體論立場上的差異之所在，為我們辨別不同的本體論立場提供了一個普遍標(biāo)準(zhǔn)。“被假定為一個實體，純粹只是看作一個變項的值。……我們的整個本體論，無論它可能是什么樣的本體論，都在‘有個東西’、‘無一東西’、‘一切東西’這些量化變元所涉及的范圍之內(nèi)。” ⑨“一實體為一理論所預(yù)設(shè)，當(dāng)且僅當(dāng)為使該理論中的所肯定的陳述是真的，它必須屬于約束變項的值。” ⑩也就是說，某一理論所承諾或預(yù)設(shè)的存在物類型集中體現(xiàn)在其所表達(dá)的命題的約束變項即

　　以通過“語義整編”揭示出來。首先用一階邏輯的 語言(蒯因稱之為“標(biāo)準(zhǔn)記法”)改寫這一理論，然后確定使作為該理論所肯定的量化公式為真時其約束變項x所在的值域，值域中的值便是該理論承諾或預(yù)設(shè)的存在物(實體)，這樣該理論的本體論承諾就被揭示出來了。蒯因以此方法區(qū)分了現(xiàn)代數(shù)學(xué) 哲學(xué)中的邏輯主義、直覺主義和形式主義的不同本體論立場。在他看來，某一理論采用什么樣的本體論立場，這要視實際情況而定。“我提出了一種明確的標(biāo)準(zhǔn)，以此來確定一種理論的本體論承諾是什么。但實際上采用什么本體論的問題仍然懸而未決，而顯而易見的忠告是寬容和注重實際的精神。” (11)

　　三、存在問題之我見——擴(kuò)充的經(jīng)典謂詞理論能更好地說明存在問題

　　關(guān)于存在概念的邏輯哲學(xué)探討源于空詞項的指稱問題。由于空詞項在現(xiàn)實世界中沒有相應(yīng)的指稱對象，以它作主詞談?wù)搶ο蟮拇嬖趧荼貙?dǎo)致“存在悖論”等哲學(xué)難題。由此引起了“存在”是不是存在主體的屬性從而是不是邏輯謂詞的爭論?，F(xiàn)代哲學(xué)家、邏輯學(xué)家運用現(xiàn)代邏輯(包含一階邏輯和自由邏輯)分析方法和日常語言分析方法，從總體上得出了三種不同的結(jié)論：以弗雷格、羅素、蒯因為代表的經(jīng)典邏輯學(xué)家認(rèn)為“存在”不是存在主體自身的屬性，而是關(guān)于存在主體的概念，即命題函項或謂詞的可滿足性。因此，“存在”不是謂詞，而是量詞。與此相反，自由邏輯學(xué)家認(rèn)為“存在”是存在主體自身的屬性，“存在”是邏輯謂詞，以“存在”作語法謂詞的語句從邏輯上看是主謂式語句，不是量化式語句。斯特勞森和皮爾士等人結(jié)合精致的自然語言分析，認(rèn)為“存在”在某些特殊的情況下可以充當(dāng)邏輯謂詞，因此它是一種特殊的謂詞。

　　如前所述，皮爾士的觀點涉及跨界指稱的問題，斯特勞森提出了異質(zhì)的預(yù)設(shè)類思想。筆者認(rèn)為，這些觀點是令人質(zhì)疑的。先談預(yù)設(shè)類問題。我們是通過一定的討論語境將一個主詞的指稱對象指派給適當(dāng)?shù)淖宇惖姆绞桨?ldquo;存在”添加到該主詞之后的。然而在確定某一子類的外延之前必須解決哪些對象具備該子類成員資格的問題，也就是說，我們無需求助于語境及預(yù)設(shè)其具有這種“存在”的那個類就已經(jīng)知道合法斷言“存在”的條件。這就意味著“預(yù)設(shè)類”解決方案是多余的了。再談跨界謂詞的問題?？缃鐔栴}是指，存在于某一世界的個體也存在于另一世界中。也就是說，該個體在這兩個世界中都具有存在性。當(dāng)一個體出現(xiàn)跨界情況時，該個體的存在性并未在它將要跨入的那個世界中得到許諾，否則，無所謂跨界情形。跨界完成后，該個體的存在性在它跨入的那個世界中得到實現(xiàn)。這實際上是說個體存在性的跨界而不是個體的跨界，相應(yīng)地，所謂的“存在”跨界不是真正專名的跨界，而是描述個體的謂詞或摹狀詞的跨界。“存在”所斷言的是描述個體的某一謂詞在某兩個可能世界中的可滿足性，因此，即使在跨界情況下，“存在”仍然是量詞而不是謂詞。再說，跨界問題是一個富有爭議而令人感到棘手的問題，“個體跨界”的依據(jù)(“本質(zhì)主義說”和“反本質(zhì)主義說”)至今尚無定論。蒯因的“沒有同一性就沒有實體”的本體論認(rèn)可標(biāo)準(zhǔn)看來是給“個體跨界說”出了一道難題。人們一般認(rèn)為，個體的某些性質(zhì)可以跨界，但很少認(rèn)為個體可以跨界。值得注意的是，人們根據(jù)現(xiàn)有的可能世界理論難以對諸如“伯克利學(xué)院的又圓又方的屋頂”的個體跨界提出一個有效的解釋方案，因為“又圓又方”這一邏輯矛盾不允許出現(xiàn)在任一可能世界中。

　　自由邏輯關(guān)于“存在”是邏輯謂詞的思想也是值得懷疑的。首先，它關(guān)于E!的定義并不理想。以雷舍(H.Rescher)的觀點看，E!的定義必

　　條基本原則。然而先前的定義大多不能做到這一點。為此他提出了“質(zhì)性質(zhì)(quslitative pmperty)”的概念，以此對其定義式中要求的謂詞域進(jìn)行限些定義因援用模態(tài)邏輯和高階邏輯的技術(shù)手段帶來的復(fù)雜性不說，還對經(jīng)典一階邏輯的存在概括規(guī)則進(jìn)行了限制，大大削弱了推理能力。同時“質(zhì)性質(zhì)”本身的含義不清，有待說明。其次，自由邏輯斷定“存在”可以充當(dāng)個體詞的謂詞，是以其修改的存在概括原則和區(qū)分個體常項的類別為技術(shù)手段的。它以存在假設(shè)作為解決空專名問題的前提，同時區(qū)分有指稱的個體常項和五指稱的個體常項，這種做法與斯特勞森的“預(yù)設(shè)類”思想極為相似。由于“E!”的定義缺乏說服力，使得其修正的存在概括規(guī)則的合法性受到質(zhì)疑。按照自由邏輯系統(tǒng)的推理規(guī)則也會得出具有爭議的結(jié)論。譬如等價規(guī)則。根據(jù)經(jīng)典邏輯理論，我們可以斷定：如果兩個體a和b相等，就可以推出，如果a有性質(zhì)F，則b也有性質(zhì)F。但是根據(jù)自由邏輯理論，即使a和b不存在，也可以得出上述結(jié)論。也就是說，自由邏輯承認(rèn)虛擬對象和實存對象一樣都是有性質(zhì)的。就這一點引起的爭論是在所難免的。

　　筆者認(rèn)為，經(jīng)典的一階邏輯比較成功地解釋了“存在”問題。如果說弗雷格、羅素的命題函項理論和摹狀詞理論解答了“何謂存在”的問題，那么蒯因“存在就是約束變項的值”的觀點則解答了“何物存在”的問題。命題函項理論將“存在”歸結(jié)為命題函項或概念的屬性即可滿足性，從邏輯形式上看，“存在”是量詞而不是謂詞。這一觀點可以從整體上解釋“存在”概念，它既可以解釋“存在”的跨界情況，又可以解釋“存在”的非跨界情況。例如，某人說“亞里斯多德存在”或“亞里斯多德不存在”，按照命題函項理論，可解釋為“x是亞里斯多德”這一命題函項在現(xiàn)實世界的可滿足性或不可滿足性。用摹狀詞理論可解釋為“那

　　為量詞，原來的語法主詞改寫為命題函項或謂詞，排除了出現(xiàn)存在悖論的可能性。如前所述，個體的跨界存在不是指個體本身的跨界而是指個體存在性的跨界。因此“存在”在這種情形下依然是量詞，它說明了該命題函項或摹狀詞在兩個可能世界中可滿足或具有指稱。按照這種觀點，可對“伯克利學(xué)院的又圓又方的屋頂是不存在的”這樣含有空詞項的存在性語句予以恰當(dāng)?shù)慕忉?。由?ldquo;x是伯克利學(xué)院的又圓又方的屋頂”這一命題函項含有邏輯矛盾，不允許存在于任何可能世界(含現(xiàn)實世界)中，即在任何可能世界中不可滿足或沒有指稱，因此根本不存在跨界問題。當(dāng)我們說“伯克利學(xué)院的又圓又方的屋頂不存在”時，只不過是說：“x是伯克利學(xué)院的又圓又方的屋頂”這一命題函項在現(xiàn)實世界中不可滿足，該命題顯然是真命題;當(dāng)我們說“伯克利學(xué)院的又圓又方的屋頂存在”時，意思是說：“x是伯克利學(xué)院的又圓又方的屋頂”這一命題函項在現(xiàn)實世界中可滿足，該命題顯然是假命題。照這種解釋也根本不會出現(xiàn)所謂的“非存在之謎”。

　　既然“存在”是命題函項的可滿足性，那么是什么東西滿足命題函項呢?也就是說，有哪些存在主體呢?蒯因的“存在就是成為約束變項的值”的本體論承諾標(biāo)準(zhǔn)對這一問題提供了恰當(dāng)?shù)恼f明。在他看來，按照羅素的摹狀詞理論，名字對于本體論問題是無關(guān)緊要的，因為名字可以轉(zhuǎn)化為摹狀詞，而后者是可以消除的。實質(zhì)上能使我們轉(zhuǎn)入本體論承諾的唯一途徑是約束變項的使用。他把表達(dá)式中的變項視為一種不定代詞，代表某類對象中的任意一個，這類對象就是這個變項的值域。約束變項即被量詞限定的變項，其值域已定，它同樣作為代詞的基本手段，存在就意味著有一個東西處在一個約束變項的值域內(nèi)，即成為它的一個值。按照這種觀點，任何本體論觀點都可以在 語言內(nèi)部得到解釋，同時也可以利用它來識別不同的本體論立場。因為我們只要按照謂詞邏輯的構(gòu)造規(guī)則就可識別約束變項的類型。例如，如果一個表達(dá)式的約束變項中只有個體變項，那么該表達(dá)式就是一階謂詞表達(dá)式，它表明了只承諾客觀個體的唯名論本體論立場;如果一個表達(dá)式中的變項含有謂詞變項或命題變項，那么該表達(dá)式就是高階謂詞表達(dá)式，它表明了承諾共相實體或理論實體的實在論或概念論本體論立場。“抽象出共相的另一種更大膽的方式，是允許迄今都只是不包含本體論承諾的模式字母像約束變項那樣進(jìn)入量詞中。因此，如果我們通過引入量

　　等來擴(kuò)展真值函項理論……我們就擁有了一種包含共相，或者終歸是抽象實體的理論。” (13)蒯因承認(rèn)，“存在是約束變項的值”僅僅是關(guān)于某一理論內(nèi)部的本體論承諾的 語言判定標(biāo)準(zhǔn)，該標(biāo)準(zhǔn)不能解決我們實際上應(yīng)承認(rèn)何物存在或采取哪種本體論立場的問題。給出這一標(biāo)準(zhǔn)不是為了知道實際上存在何物，而是為了知道某個陳述或?qū)W說說存在何物，與實際上存在何物完全是兩碼事。然而將本體論的爭論上溯至語言層次，可以找到人們進(jìn)行辯論的共同基礎(chǔ)，便于問題的解決。“存在就是約束變項的值”這一著名口號揭示了關(guān)于“何物存在”的長期爭淪的語言學(xué)本質(zhì)，在 哲學(xué)史上具有劃時代的歷史意義和深遠(yuǎn)影響。

　　筆者認(rèn)為，雖然在蒯因的邏輯學(xué)詞匯里沒有高階邏輯和模態(tài)邏輯的概念，但他在解答“何物存在”問題時實際上默認(rèn)了高階邏輯的合法性，而這一點雖然在弗雷格、羅素那里談“何謂存在”時意識到了，但是堅決加以拒斥的。在弗雷格、羅素那里的約束變項只是個體變項，不允許出現(xiàn)謂詞變項或命題變項。這當(dāng)然與他們的本體論立場有關(guān)。蒯因的唯名論立場在20世紀(jì)50年代開始轉(zhuǎn)移到實在論立場上來，他除了承認(rèn)物理對象，也承認(rèn)像類這樣的抽象實體是數(shù)學(xué)真理的本體論基礎(chǔ)。如果我們把弗雷格、羅素意義上的約束變項或命題函項主目的值域由個體類擴(kuò)展到抽象實體類，則一來便于我們從語言上談?wù)撊我槐倔w論觀點，避免無謂的本體論紛爭，二來可以和蒯因的理論連貫一致。大家知道，一階語言中的謂詞符號是以個體詞(個體常元和個體變元)為主目的，因此一階公式只能是表述有關(guān)個體屬性的命題形式。但按照實在論的觀點，個體不是唯一的存在實體，像性質(zhì)、關(guān)系、概念等抽象實體也是存在實體，這些實體也具有某些性質(zhì)或相互間具有某些關(guān)系，刻畫它們的邏輯形式需要打破一階語言界限，以增強語言的表達(dá)能力?；痉椒ㄖ皇菍⒁浑A邏輯語言擴(kuò)充為高階邏輯語言。具體做法

　　“存在”概念也是有層次之分的。根據(jù)弗雷格的觀點，“存在”是以描述個體屬性的一階謂詞為約束變項的二階概念。但如果它以二階謂詞為約束變項，那么它就是三階概念了，如此類推，一般地，如果“存在”以n階謂詞為約束變項，那么它就是n+1階概念了。

下一頁分享更優(yōu)秀的<<<哲學(xué)問題的論文