第3節(jié)　方法：借助于關(guān)系理論對實在的分析

上述構(gòu)造理論的研究，就其方法來說，主要的特征在于力圖使過去一直被分開探討且已取得長足進展的兩門科學(xué)相互為用，照本書的看法，這兩門科學(xué)只有聯(lián)合起來才能取得更重大的進步。邏輯斯蒂（符號邏輯）已由羅素和懷特海的研究所充實而提出一種關(guān)系理論，這種理論使我們能毫不猶豫地去處理幾乎所有純次序論的問題。另一方面，近來人們在致力于把“實在”還原為“所予”，例如這種還原已由阿芬那留斯、馬赫、彭加勒、曲爾佩而且特別是齊恩和杜里舒（這里只舉幾個名字）部分地實行了。本書擬把這種關(guān)系理論應(yīng)用于對實在的分析，以便把構(gòu)造的概念系統(tǒng)的邏輯形式條件表述出來，更清晰地了解和探究這個系統(tǒng)的基礎(chǔ)，并且通過對這個系統(tǒng)的描述（這個描述部分地還只是一個粗略的綱要）證明在這個基礎(chǔ)上和那些邏輯形式的范圍內(nèi)構(gòu)造系統(tǒng)的可能性。

參考文獻　關(guān)系理論的基本思想可追溯到萊布尼茨關(guān)于“普遍數(shù)學(xué)”（mathesis universalis）和組合術(shù)（ars combinatoria）的思想；關(guān)系理論之應(yīng)用于建立構(gòu)造系統(tǒng)則與萊布尼茨關(guān)于“普遍符號”（charateristica universalis）和“普遍科學(xué)”（scientia generalis）有聯(lián)系。

邏輯斯蒂。邏輯斯蒂的最博大的系統(tǒng)是懷特海和羅素的系統(tǒng)。這是目前唯一包含充分發(fā)展的關(guān)系理論的系統(tǒng)，因而也是唯一可以考慮作為構(gòu)造理論的輔助方法的系統(tǒng)。邏輯斯蒂系統(tǒng)是以弗雷格、施羅德、皮亞諾等人的準(zhǔn)備工作為基礎(chǔ)的。羅素和懷特海合著的《數(shù)學(xué)原理》（Principia Mathe matica）對這個系統(tǒng)做了完備的敘述；卡爾納普的《邏輯斯蒂概要，并論關(guān)系理論及其應(yīng)用》對這個系統(tǒng)及其應(yīng)用作了簡述。羅素的《數(shù)學(xué)的原理》（The Principles of Mathematics）、《數(shù)理哲學(xué)導(dǎo)論》，杜比斯拉夫和克勞貝格的《系統(tǒng)分類哲學(xué)辭典》沒有使用符號來解說邏輯斯蒂系統(tǒng)；貝曼的《數(shù)學(xué)和邏輯》則用了另外一套符號來講述這個系統(tǒng)。C·I·劉易斯的《符號邏輯概論》提供了直至1917年符號邏輯發(fā)展的一個歷史梗概和豐富的文獻資料。

關(guān)系理論之應(yīng)用。懷特海和羅素對關(guān)系理論之應(yīng)用于非邏輯對象曾有所設(shè)想，但尚未在邏輯上予以貫徹，如懷特海在《空間、時間和相對論》、《自然知識原理研究》、《自然概念》等著作中提出“外延抽象理論”和“過程理論”，羅素在《我們關(guān)于外間世界的知識》、《物質(zhì)的究極成分》、《感覺材料和物理學(xué)的關(guān)系》等著作中提出外間世界的構(gòu)造。本書提出的構(gòu)造理論在具體實施上與羅素頗有不同，然而構(gòu)造理論還是以羅素的方法論原則為基礎(chǔ)的，即：“科學(xué)的哲學(xué)研究的最高準(zhǔn)則是：凡是可能的地方，就要用邏輯構(gòu)造代替推論出的存在物”（見“感覺材料和物理學(xué)的關(guān)系”一文）。不過，我們將比羅素更為徹底地應(yīng)用這個原則（例如，對自我心理基礎(chǔ)的選擇（第64節(jié)），由已見物構(gòu)造出未見物（第124節(jié)），他人心理對象的構(gòu)造（第140節(jié)）。卡爾納普的《邏輯斯蒂概要》第二部分含有關(guān)系理論之應(yīng)用于各個不同領(lǐng)域的例子（集合論、幾何學(xué)、物理學(xué)、親緣關(guān)系理論、知識分析、語言分析）。

構(gòu)造理論。關(guān)于科學(xué)概念如何還原為“所予”的問題，馬赫和阿芬那留斯已經(jīng)為其解決作了最重要的提示。現(xiàn)在有三種不同的建立概念系統(tǒng)的嘗試：齊恩的《建立在生理學(xué)和物理學(xué)基礎(chǔ)上的認(rèn)識論》，杜里舒的《秩序論》，杜比斯拉夫和克勞貝格的《系統(tǒng)分類哲學(xué)辭典》；但他們彼此之間沒有任何聯(lián)系。只有杜比斯拉夫的研究具有一種構(gòu)造系統(tǒng)的形式，因為他勾畫出了一個定義的鏈條。我們的系統(tǒng)和上面提到的這幾種系統(tǒng)在個別點上有一致之處，我們將在有關(guān)的地方指出這種一致性；但是總的來說，由于本書使用的方法論手段，我們的系統(tǒng)與其他系統(tǒng)有著基本的區(qū)別。

另外，我們的系統(tǒng)與胡塞爾作為目標(biāo)提出來的“經(jīng)驗數(shù)學(xué)”（《關(guān)于純粹現(xiàn)象學(xué)和現(xiàn)象學(xué)哲學(xué)的觀念》，哈勒，1913年，第141頁）和邁農(nóng)的對象理論亦有共同點。同概念的分類系統(tǒng)（如奧斯特瓦爾德、馮特、曲爾佩、梯利希的系統(tǒng)）的關(guān)系則比較遙遠了，因為這類系統(tǒng)根本不使概念互相推導(dǎo)出來。