“對象、量化和本體論”

?????? 在奎因看來，作為論述存在什么的本體論，這根本上應(yīng)被理解成是一個談?wù)搶ο蟮氖虑?。由此根?jù)它的假定或贊同什么種類的對象，種種本體論就可以得到鑒定，它們之間的差別也可以被識別。在邏輯中使用的精確的量化語言有助于明確在某段論述中包含了什么樣的本體論承諾。

?????? 奎因看到了在人類本性和影響語言用法的周圍的自然和社會環(huán)境中起作用的多種力量。他警覺地不讓自己陷入作用的圈套，即把形成邏輯當做天賦的，自身完善的工具，而沒有處于人類本性之中的現(xiàn)實根源。

?????? 另一方面，奎因?qū)壿嬆茏鍪裁春筒荒茏鍪裁词乔宄?。他深深意識到種種概念系統(tǒng)的差異性問題以及這樣一個事實：我們不能不使用某種概念系統(tǒng)，不管它是如何滲透一切并被當作是理所當然的。我們不可能拋開作為柵欄或過濾器的某種概念系統(tǒng)來獨立地，絕對地決定世界是什么樣子，即不能撇開對這樣一種概念系統(tǒng)的使用和所說的東西來決定世界是個什么樣子。因此，奎因嚴肅地考慮了概念的相對性問題。他贊同這樣一種思想，我們可以把它看成是“康德主義”的一個大大修改了的形式——一種語言相對主義。盡管邏輯在組織語言以及增進語言表達式的嚴密性和明確性方面有其重要性，但它并沒有提供給我們一種能夠達到某些獨特的、絕對的并且永遠正確的洞見手段。邏輯本身被我們?nèi)祟惖木窒匏`；它同各種各樣人類語言在各種情況下的用法有關(guān)。

?

?????? 奎因的“分離指標”的方式——一次指稱一個——單個的物理對象是“對象”的基本和典型的例子。我們用來指稱單個物理對象的個體（單數(shù)）詞。

通過奎因稱為“嚴格的說話方式”的程序以及提供一種編制語言基本結(jié)構(gòu)的“規(guī)范記號法”，邏輯就能為達到簡便、精確和嚴格所能作出貢獻。

?????? 在量詞以涵蓋對象的某種假定的類型或種類時，本體論承諾就被預先設(shè)定了。

?????? 對奎因來說，在變項和公式字母之間要作出一種重要的區(qū)別。因此，只有同變項相聯(lián)系，而不是同公式字母相聯(lián)系，才能使用量詞。變項是這樣一些表達式，在一階量化中，它們涵蓋這樣一種值域，其中的值就是組成這個域的個體對象。在一階量化中，量化對象總是個體變項。而所使用的其他表達式，如謂詞表達式，則不能被量化，因為謂詞并不代表對象。

?????? 這樣，在使用了謂詞或其他不可量化的表達式的地方，這些表達式就不是由變項，而是由公式字母表示。由此，雖然某種合適的語言表達式既可以代替?zhèn)€體變項，又可以代替公式字母，但那些可以代替?zhèn)€體變項的表達式卻一個是典型的名稱或其他的單數(shù)詞，并且應(yīng)該代表變項值域中的個體對象。變項涵蓋一定的值（對象的一個域），而公式字母這是可以由其他語言來代替的語言表達式。因此，是量化變項，而不是公式字母，才包含著本體論承諾。量化變項的作用使關(guān)于存在的斷定相當于什么這一點變得相對清楚。被假定的對象就是變項的值。存在量詞“（ョx）”是關(guān)于存在的說話方式的最根本要素。所有關(guān)于存在的假定都可以由存在量化來表述。此外，變項的所有其他用法——在全稱量詞、個體描述、類的抽象和代數(shù)中的用法——都可以用相同的方式加以意譯，使變項最終成為存在量詞的變項。

???????? 變項是指約束或可約束的變項。變項是指稱對象的基本工具。對象就是變項的值。

?

?????? 卡爾納普對本體論的責難以及它確認其地位的方法。卡爾納普在他的討論中首先指出：當哲學家卷入（譬如說）是否存在性質(zhì)、類、數(shù)和命題這種特定的抽象實體的討論時——被稱為“實在論者”（柏拉圖的意義上）的哲學家對比給出了一個肯定的回答，而被稱為“唯名論者”的哲學家則給出了一個否定的回答——只要這個爭論是用傳統(tǒng)方式來處理的，它就不能得到解決。卡爾納普強調(diào)，這是因為被這樣處理的爭論沒有考慮到一個重要的區(qū)別——即“內(nèi)部”與“外部”的區(qū)別。這樣，人們就要認識到：只要爭論是關(guān)于“外部”問題的，那它就是一個偽問題，并且不可能給出一個有意義或正確的（真的）回答。這個問題沒有真正的效力，因為不能根據(jù)某種有關(guān)的客觀證據(jù)來作出“是”或者“否”的回答。這種“外部”問題構(gòu)成了實在論者和唯名論者之間關(guān)于是合適否存在這種或那種抽象實體的爭論的基礎(chǔ)。這也是本體論中其他各種爭論的特點。它們都同樣是“形而上學”的，也就是“無意義”的。因而在認識上是不能解決的。另一方面，如果把問題看出只是一個“內(nèi)部”問題，那么它就是有意義的，但在許多情況下相對來說并不重要，因為它是容易得到解決的；或者不管怎樣，如果它尚未解決，取得一種解決辦法的步驟是可以很快找到的。

?????? 現(xiàn)在我們必須區(qū)別兩種存在問題：（1）這一新種類的某些對象在【語言】框架內(nèi)部的存在問題，我們稱之為內(nèi)部問題。（2）關(guān)于這個構(gòu)架本身的存在或?qū)嵲谛詥栴}，叫做外部問題。內(nèi)部問題和它們的答案是借助于新的表達式的形式來表達的。答案可以或用純邏輯的方法或用經(jīng)驗的方法找到，隨這個框架是一個邏輯的還是一個事實的架構(gòu)而定。一個外部問題的性質(zhì)是有疑問的，需要周密的考察。

??????

?????? 數(shù)的存在，這是一個關(guān)于數(shù)的本體論地位的問題，即關(guān)于數(shù)是否具有某種叫實在性（一種有別與事物世界的物質(zhì)實在性的觀念實在性）?；蛘邼撛谛曰蛘摺蔼毩ο蟆钡牡匚贿@樣一種形而上學特性的問題。

?

?????? 卡爾納普主要觀點如下：我們要辨別出真正的問題，它們通過使用適當?shù)目茖W、邏輯或數(shù)學程序，而能有一種可能的答案。對一個構(gòu)架而言，對一種被采用的語言的用法而言，這些問題是“內(nèi)部”的。另一方面，在本體論中提出的，關(guān)于某些實體（事物、數(shù)和抽象實體，如類、命題、性質(zhì)等）的“實在性”或“存在”的問題是“外部”的問題。它們作為理論和認識問題沒有真正的價值，因為沒有回答它們的可接受的方法。總之，在科學的本體論之間有一種重要的區(qū)分，前者提出“內(nèi)部”問題，后者提出“外部”問題。

?????? 在對卡爾納普的回答中，奎因不同意卡爾納普在科學和本體論之間作出的區(qū)別，因為卡爾納普將科學限于提出內(nèi)部問題，而對后者則由于它提出外部問題而加以批評。奎因同意卡爾納普：考慮到接受一個構(gòu)架（一種語言或概念系統(tǒng)）時涉及到什么是恰當而主要的。他同意卡爾納普，我們不能“站”在某種語言的使用之外問實在中有什么，也不能離開某種語言的使用而說存在什么。此外，他還同意卡爾納普：在不同的、可用的語言（舊的或新提出的）中作的選擇是一個最終需要根據(jù)“實際的”，即實用的考慮來決定的問題。也就是說，根據(jù)簡便、節(jié)省和諸如此類的考慮來估價一種語言或概念系統(tǒng)在同其他語言或概念系統(tǒng)相比之下的優(yōu)越性。

?????? 奎因和卡爾納普的主要分歧同卡爾納普堅持科學和本體論作出的嚴格區(qū)別有關(guān)。在奎因看來，科學和本體論兩者都研究這種或那種語言的使用，并研究對一種語言來說是真的東西是否也適用于另一種語言。當加以正確地構(gòu)造時，本體論并不陷入提出偽問題的泥坑；在認識研究中，它具有同科學的任何分支一樣堅固的地位，并且被同一類型的條件或限制所約束。這些條件或限制適用于任何合理的探究。任何探究必須使用某種語言。所有“言論”都同樣來說出這種言論的語言的能力有關(guān)。

?

?????? 奎因不說本體論提出外部問題，科學提出內(nèi)部問題，而說（他認為）如果我們正確理解了本體論是關(guān)于什么的，我們就會說：本體論的興趣在于研究某種廣義的范疇表達式，而科學則專注于研究可稱為代表屬類的表達式。這是一個興趣的廣度或范圍的問題，一個層次的問題，而不是不同種類的問題。并不是本體論所使用的范疇表達式在構(gòu)架的“另一邊”。而屬類在“這一邊”。兩者都在這一邊。本體論和科學都必須運用語言，都不能提出“外部”問題。人們應(yīng)該認識到：本體論是同科學探究完全一樣合理的探究，而不能因為由于它研究了和某種科學的較為狹窄的領(lǐng)域不同的“范疇”表達式而對它加以指責。

?????? 卡爾納普對存在問題的兩分法：第一種形式的問題是“如此這般的東西存在嗎？”其中“如此這般的東西”用來窮盡特定類型的約束變項的范圍。第二種形式的問題是“如此這般的東西存在嗎？”其中“如此這般的東西”則不用來窮盡特定類型的約束變項的范圍。前一種問題稱為范疇問題，后一種為屬類問題。外部問題是在采用一種特定的語言以前，被設(shè)想出來以供考慮的范疇問題；并且卡爾納普主張，它們應(yīng)被恰當?shù)乩斫鉃槟撤N特定語言形式的合用性問題。內(nèi)部問題構(gòu)成屬類問題，另外，當范疇問題被理解為在一種已采用的語言中所處理的，具有普通的分析或矛盾的答案的問題時，內(nèi)部問題也構(gòu)成了這些范疇問題。

??????

?????? 數(shù)是否存在的問題能成為一個范疇問題，只同那樣一種語言有關(guān)，這種語言使某類獨立的變項以指稱數(shù)為唯一的目的。如果我們的語言用那些把不同數(shù)的類也作為其值的變項來指稱數(shù)，那么數(shù)是否存在的問題就成為一個屬類問題。它同大于一百的素數(shù)是否存在的問題是等價的。

??????

?????? 根據(jù)奎因的觀點，那么本體論和科學的根本區(qū)別就不在于卡爾納普所做出的的那種區(qū)別，而是同一學科選擇處理約束變項的種類區(qū)別。如果約束變項具有屬于范疇問題的類型和范圍，那么人們就可以說著標志著一個本體論的陳述；而如果約束變項具有各種屬類的類型，那么它就可以成為屬于某門科學的一個陳述的一部分。這個區(qū)別不是絕對的，它將隨著所使用的種類而變化。由于本體論和科學都必須采用某種語言，并且對變項的一定范圍予以量化。因此，在認識地位或“有意義性”方面并沒有把本體論同科學分離開來的本質(zhì)區(qū)別。它們之間的區(qū)別，充其量上是一個范圍的大小，研究課題的寬容以及在一個信念的總體中所起的作用的問題。

?????? 本體論，或甚至是數(shù)學和邏輯的陳述組成了這個在自然科學中，一個等級的連續(xù)統(tǒng)一體的一個延續(xù)部分。這里的區(qū)別只是程度的區(qū)別，而不是種類的區(qū)別。科學是一個統(tǒng)一的結(jié)構(gòu)，并且原則上是一個整體結(jié)構(gòu)，而不是被經(jīng)驗所確證或表明為由缺陷的一個一個陳述的組合。卡爾納普主張，本體論問題以及類似的關(guān)于邏輯和數(shù)學原理的問題不是事實問題，而是為科學選擇一個方便系統(tǒng)或構(gòu)架的問題。僅當承認每個科學假設(shè)都是這樣的時候，奎因才同意這一點。

?