摘要：20世紀(jì)前后，在集合論與連續(xù)統(tǒng)的研究領(lǐng)域中，以真部分與融合為主題的部分論被正式提出。這一理論基于兩種集多為一的方式：一是部分關(guān)系的融合，二是屬于關(guān)系的類。其起源可追溯至布倫塔諾對(duì)連續(xù)統(tǒng)的分析，及其邊界概念對(duì)戴德金等人的點(diǎn)個(gè)體概念的批判。主流觀點(diǎn)認(rèn)為，布倫塔諾之后，部分論沿著形式本體論和集合論兩條道路演變、發(fā)展。形式本體論方向聚焦時(shí)空連續(xù)體中本體論依賴性結(jié)構(gòu)的分析，包括胡塞爾的奠基理論、懷特海與塔斯基的無點(diǎn)幾何；集合論方向則聚焦對(duì)集合論中類成員關(guān)系的批判以及對(duì)集合論的部分論重構(gòu)，萊斯涅夫斯基的學(xué)說與“哈佛唯名論”是其中的代表。融合與部分關(guān)系在這些理論中的作用在這兩條發(fā)展道路中具有內(nèi)在統(tǒng)一性，并且在融合與真部分概念的基礎(chǔ)上，無點(diǎn)的連續(xù)統(tǒng)與無集合的類系統(tǒng)是統(tǒng)一的理論。

關(guān)鍵詞：形式本體論；部分關(guān)系；融合；集合；連續(xù)統(tǒng)

DOI： 10.13734/j.cnki.1000-5315.2025.0205

收稿日期：2024-03-09

基金項(xiàng)目：本文系廣東省哲學(xué)社會(huì)科學(xué)規(guī)劃項(xiàng)目學(xué)科共建項(xiàng)目“胡塞爾部分與整體理論研究”（GD23XZX10）的階段性成果。

作者簡介：毛家驥， 男， 陜西西安人， 哲學(xué)博士， 深圳大學(xué)馬克思主義學(xué)院講師，E-mail： maojiaji@szuedu.cn。

康托（Georg Cantor）1874年發(fā)表《論所有實(shí)代數(shù)數(shù)集合的一個(gè)性質(zhì)》證明了實(shí)數(shù)是不可數(shù)無窮集合后，引發(fā)了龐加萊（Henri Poincaré）、克羅內(nèi)克（Leoplod Kronecker）、布勞威爾（L. E. J. Brouwer）以及外爾（ Hermann Weyl）等人的反對(duì)。1925年6月4日，希爾伯特（David Hilbert）在紀(jì)念魏爾施特拉斯的演講中提出了后來被廣泛引用的名言：“沒有人能把我們從康托創(chuàng)造的樂園里趕出去?！钡峭瑫r(shí)，希爾伯特堅(jiān)持有窮主義：“無窮不在實(shí)在之中；它既不存在于自然界，也并非我們理性思維的基礎(chǔ)?！瓱o窮的運(yùn)算只有基于有窮才是確定的?！盌avid Hilbert， “ber das Unendliche，” Mathematische Annalen 95 （December 1926）： 170，190.

雖然大部分?jǐn)?shù)學(xué)家接受了數(shù)到集合的還原，但關(guān)于集合的本體論爭論卻在哲學(xué)家中一直存在。正如劉易斯（David Lewis）指出的：集合論似乎在本體論上是無辜的（ontologically innocent），因?yàn)槿绻袕?fù)多事物存在（這似乎是不言自明的），那么僅僅通過“聚多為一”（collecting many into one）就可以自然地得到“類”的存在；然而基于聚合（collection）的集合迭代竟然可以從單一個(gè)體構(gòu)造出超窮集合的層級(jí)結(jié)構(gòu)，這種“一構(gòu)成多”（making of one into many）既賦予了集合論強(qiáng)大的數(shù)學(xué)力量又給集合概念增添本體論負(fù)擔(dān)，而只有澄清“集多為一（many-into-one）”我們才能真正理解集合論David Lewis， Parts of Classes （Basil Blackwell Ltd.， 1991）， 5-6.。

一 類與融合

劉易斯認(rèn)為，集多為一有類（class）與融合（fusion）兩種基本方式。在樸素的意義上，種類（species）、類和集合（set）都被看作為與融合不同的聚合，它們都是類成員關(guān)系建構(gòu)的統(tǒng)一體。一般集合論者將集合與類區(qū)分為外延的、良基的聚合與謂詞的聚合John Mayberry， “On the Consistency Problem for Set Theory： An Essay on the Cantorian Foundations of Classical Mathematics （I），” The British Journal for the Philosophy of Science 28， no. 1 （1977）： 31-32.。在一般的公理系統(tǒng)中，我們可以通過外延公理和正則公理在類中區(qū)分集合與真類。但是從融合理論的角度看，類與集合的區(qū)分只是它們所含部分（即單元素集合與個(gè)體）的大小（megethos）之別，因?yàn)椴糠终摻忉屜碌恼骖惒粚?dǎo)致羅素悖論。此外，例如在劉易斯系統(tǒng)中使用復(fù)數(shù)量化（plural quantification）無需真類概念也能構(gòu)造無窮集合宇宙David Lewis， “Mathematics is Megethology，” Philosophia Mathematica 1， no. 1 （1993）： 11.，因此區(qū)分聚合和融合時(shí)不必區(qū)分類與集合。換言之，我們可以簡單地將集多為一窮盡地劃分為類與融合兩種基本方式，類是元素（members）通過屬于關(guān)系（membership）而構(gòu)成的整體，而融合則是部分通過部分關(guān)系（parthood relations）構(gòu)成的整體David Lewis， Parts of Classes， 3.。以貓為例，所有貓聚合而成的類并不是自身的元素，因?yàn)椤柏?類”不是貓，并且作為貓的一部分的胡須也不是“貓-類”的元素、它是“貓胡須-類”的元素；相反，所有貓的融合則是其自身的部分（improper part），“貓-胡須”、“貓-夸克”等所有貓的部分均是這個(gè)“貓-融合”的部分，此外小黑和小白兩只貓構(gòu)成的小融合也是“貓-融合”的部分，甚至所有“貓-部分”的融合都是“貓-融合”的部分。例如，根據(jù)無限制構(gòu)成原則，貓咪小白的胡須和貓咪小黑的爪子以及所有貓的尾巴構(gòu)成的奇怪融合亦是“貓-融合”的部分，因而某物的融合與某物部分的融合是同一的，而某物的集合與某物元素的集合則承諾了不同的對(duì)象。劉易斯因此認(rèn)為，描述融合的部分論（mereology）相比于集合論在本體論上更為純粹，例如，“貓-融合”并未對(duì)貓的存在承諾更多，如果我們羅列一份實(shí)在的清單，那么羅列了貓?jiān)倭_列“貓-融合”就是重復(fù)羅列David Lewis， Parts of Classes， 81.。相反，基于屬于關(guān)系的集合論則承諾了不同于元素整體的集合，某一個(gè)體構(gòu)成的單元素集合不等于該個(gè)體，因?yàn)閱卧丶暇哂性囟鴤€(gè)體沒有元素，這種方式的集合論可以基于個(gè)體建構(gòu)出超窮的集合對(duì)象，集多為一的理論就變成了一構(gòu)成多的理論。劉易斯認(rèn)為，這正是屬于關(guān)系為獲得數(shù)學(xué)表達(dá)能力而付出的本體論代價(jià)David Lewis， Parts of Classes， 87.。

二 融合與連續(xù)統(tǒng)

對(duì)區(qū)別于類的融合的研究雖然最早可以追溯到亞里士多德的范疇理論Barry Smith， Kevin Mulligan， “Pieces of a Theory，” in Parts and Moments： Studies in Logic and Formal Ontology， ed. Barry Smith （Philosophia， 1982）， 15.，但是一般認(rèn)為，融合的系統(tǒng)研究起源于20世紀(jì)前后，它有兩個(gè)傳統(tǒng)：一個(gè)是胡塞爾代表的布倫塔諾學(xué)派的形式本體論對(duì)連續(xù)統(tǒng)中奠基聯(lián)結(jié)的探討，另一個(gè)是從萊斯涅夫斯基到劉易斯用部分關(guān)系替代類成員關(guān)系對(duì)集合論進(jìn)行還原A. J. Cotnoir， Achille C. Varzi， Mereology （Oxford University Press， 2021）， 5-6.。不過，事實(shí)上這兩個(gè)部分論傳統(tǒng)是同源的，從布倫塔諾到胡塞爾、特瓦多夫斯基到萊斯涅夫斯基、懷特海到“哈佛唯名論”所謂“哈佛式唯名論”，與否定共相（universals）的傳統(tǒng)唯名論不同，它是一種無集合（setless）的類理論，即劉易斯用部分論對(duì)集合論的結(jié)構(gòu)主義重構(gòu)。參見：David Lewis， Parts of Classes， 21。都從部分關(guān)系角度討論了近似的主題——（數(shù)學(xué)的或意識(shí)的）連續(xù)統(tǒng)（continuum），并都具有反柏拉圖主義的傾向，而且我們考察他們的歷史亦能發(fā)現(xiàn)大量的直接或間接交往證據(jù)。

（一）布倫塔諾邊界概念對(duì)點(diǎn)個(gè)體連續(xù)統(tǒng)的批評(píng)

布倫塔諾在維也納大學(xué)1884/1885年冬季學(xué)期的基礎(chǔ)邏輯課程探討了四類部分關(guān)系（此間胡塞爾和特瓦多夫斯基都參與了這個(gè)課程），其中第四類部分關(guān)系是整體中諸部分的聚合聯(lián)結(jié)（collective connection）。在這個(gè)聚合的復(fù)多體（collective multiplicity）中諸部分作為統(tǒng)一體（unity）彼此相等（equal），即這些統(tǒng)一體在聚合中抽去了特征而只是一個(gè)被聯(lián)結(jié)的單位。例如一群動(dòng)物，我們只將其中的動(dòng)物作為相同的最低屬（same lowest genus）中的單位而忽略這些動(dòng)物的其他屬性。一群遷徙的象群，從聚合聯(lián)結(jié)的角度看大象和小象并無區(qū)別，它們是象群整體中的彼此相等的單位。

布倫塔諾嘗試用這種聯(lián)結(jié)將有窮數(shù)（finite number）定義為僅作為單位而彼此相等的諸部分構(gòu)成的整體，并將無窮量（infinite quantity）定義為實(shí)數(shù)線的點(diǎn)集，其中作為“點(diǎn)”的諸部分是緊密的（complete density）Carlo Ierna， “Brentano and Mathematics，” Revue Roumaine de Philosophie 55， no. 1 （2011）： 159-160.。需要注意的是：布倫塔諾所謂的緊密并非集合的稠密性，而是指集合的連續(xù)性，例如有理數(shù)集合是稠密的但非連續(xù)的；無窮量也并非無窮集合，它指的是連續(xù)性無窮，而有窮數(shù)則包括有理數(shù)這種非連續(xù)性無窮。換言之，布倫塔諾是用緊密的部分關(guān)系描述復(fù)多的統(tǒng)一體之間連續(xù)與有洞的結(jié)構(gòu)差異從而定義連續(xù)統(tǒng)。例如在一個(gè)非連續(xù)統(tǒng)中，諸部分作為單位都是彼此可以相互替換的，我們可以挑出它們或枚舉它們，即它們是可數(shù)的；但在一個(gè)連續(xù)統(tǒng)中，諸部分彼此接續(xù)聯(lián)結(jié)，我們無法獨(dú)立選擇出一個(gè)連續(xù)統(tǒng)中的部分并對(duì)它們進(jìn)行枚舉，這些“點(diǎn)”是不可數(shù)的。

布倫塔諾此處嚴(yán)格定義的連續(xù)統(tǒng)正是戴德金探討的n維度數(shù)學(xué)連續(xù)統(tǒng)，只不過戴德金切割是用填充切割間隙的“點(diǎn)個(gè)體（point-individuals）”或分?jǐn)?shù)間的插值（interpolation of fractional numbers）定義連續(xù)統(tǒng)中的實(shí)數(shù)元素，而布倫塔諾則主張用邊界（boundary）的重疊和接續(xù)解釋連續(xù)性和無間性O(shè)livier Massin， “Brentanian Continua，” Brentano Studien 16 （2018）： 240-241.。布倫塔諾指出，戴德金等人通過分?jǐn)?shù)間插入點(diǎn)個(gè)體得到的連續(xù)統(tǒng)缺乏連續(xù)性變化的程度因素，因此它們還不是原始連續(xù)統(tǒng)（primary continuum），“正如連續(xù)統(tǒng)的本質(zhì)乃在于它的各個(gè)部分相互作為彼此的邊界而聯(lián)結(jié)，連續(xù)統(tǒng)的本質(zhì)還在于它具有一定程度的變化”Franz Brentano， Philosophical Investigations on Space， Time and the Continuum， trans. Barry Smith （Routledge， 2009）， 29.。如果實(shí)數(shù)連續(xù)統(tǒng)的元素是點(diǎn)個(gè)體，那么實(shí)數(shù)間彼此的過渡就不是連續(xù)變動(dòng)的。對(duì)比實(shí)體化的個(gè)體，邊界則不是一個(gè)整體中獨(dú)立的部分。換言之，我們可以根據(jù)獨(dú)立性部分和非獨(dú)立性部分定義有窮數(shù)和無窮的連續(xù)統(tǒng)。

布倫塔諾持亞里士多德主義立場(chǎng)，認(rèn)為邊界是依賴于連續(xù)統(tǒng)的非獨(dú)立部分。因此，僅有邊界無法構(gòu)成連續(xù)統(tǒng)，任何邊界都必須與其他邊界相聯(lián)結(jié)或依賴于其他更高維度的連續(xù)統(tǒng)才能存在Franz Brentano， Philosophical Investigations on Space， Time and the Continuum， 7.。例如，即使是一個(gè)沒有維度的點(diǎn)，它似乎并不與另一個(gè)點(diǎn)相聯(lián)結(jié)，但是它在更高維度上是兩條線的交叉點(diǎn)，該點(diǎn)是作為兩條交叉線的“接觸”或“邊界”而被構(gòu)成的；或球面上的一個(gè)沒有維度的點(diǎn)，它可能是其內(nèi)接四面體的三個(gè)面交會(huì)頂點(diǎn)，因此一個(gè)球體上四個(gè)相互獨(dú)立的點(diǎn)構(gòu)成的集合實(shí)際是一個(gè)四面體的四個(gè)面彼此聯(lián)結(jié)的四個(gè)邊界構(gòu)成的集合，其中每三個(gè)面共同接觸的邊界構(gòu)成了一個(gè)點(diǎn)。我們用“獨(dú)立的點(diǎn)個(gè)體”可以描述有理數(shù)集合中的元素，但無理數(shù)則不是一個(gè)“點(diǎn)個(gè)體”，它們是相互聯(lián)結(jié)的邊界構(gòu)成的連續(xù)整體。并且，對(duì)邊界的實(shí)體化解釋會(huì)產(chǎn)生悖論，例如兩本書重疊在一起，它們的邊界既不是上面那本書的最后一頁，也不是下面那本書的第一頁，真正的邊界無法被獨(dú)立地選擇出來。或許是出于亞里士多德“實(shí)體-屬性”本體論的傳統(tǒng)，我們習(xí)慣將連續(xù)統(tǒng)的最終部分看作實(shí)體化的點(diǎn)，并用點(diǎn)集合描述時(shí)空連續(xù)性。布倫塔諾不認(rèn)為連續(xù)統(tǒng)的部分是獨(dú)立的點(diǎn)個(gè)體，他通過部分間依賴性關(guān)系定義邊界概念，再用邊界的聚合刻畫連續(xù)統(tǒng)的本質(zhì)，由此可以避免連續(xù)統(tǒng)的定義必須假設(shè)實(shí)在的無窮。

（二）胡塞爾的奠基概念對(duì)連續(xù)統(tǒng)中融合的分析

胡塞爾受布倫塔諾影響接受了融合的概念和連續(xù)統(tǒng)的思想，他將奠基作為形式本體論的核心范疇，并在《第三邏輯研究》中完成了歷史上第一次對(duì)部分關(guān)系與作為融合的奠基統(tǒng)一體的形式化，并首次明確提出了發(fā)展一個(gè)完備的形式化部分論的使命A. J. Cotnoir， Achille C. Varzi， Mereology， 7-8.。胡塞爾提出了奠基（foundation）關(guān)系來定義部分與整體的關(guān)系，“如果一個(gè)α本身本質(zhì)規(guī)律性地只能在一個(gè)與μ相聯(lián)結(jié)的廣泛統(tǒng)一之中存在，那么我們就要說：‘一個(gè)α本身需要由一個(gè)μ來奠基’，或者也可以說，‘一個(gè)α本身需要由一個(gè)μ來補(bǔ)充’”胡塞爾《邏輯研究》第二卷，倪梁康譯，商務(wù)印書館2017年版，第657頁。。胡塞爾的奠基概念描述了一種本體論依賴關(guān)系，它的核心是非獨(dú)立部分的依存模式和由此形成的必然性聯(lián)結(jié)，但奠基并不必然需要預(yù)設(shè)一個(gè)整體的存在。經(jīng)典例子就是，顏色與廣延的相互奠基，一個(gè)沒有廣延的顏色和一個(gè)沒有顏色的廣延都是不可能的，它們彼此作為非獨(dú)立的部分而聯(lián)結(jié)為一個(gè)奠基統(tǒng)一體。在此，我們并不能把顏色與廣延的奠基統(tǒng)一體解釋為整體，因?yàn)樗⒉华?dú)立于這些非獨(dú)立性部分。

胡塞爾進(jìn)而用奠基概念還原了整體概念：“在以上所進(jìn)行的考察中，我們的興趣在于整體與部分之間，或者說部分與部分之間（相互結(jié)合成為一個(gè)‘整體’的內(nèi)容之間）的最普遍的本質(zhì)關(guān)系。在我們所做的與此相關(guān)的定義和描述中預(yù)設(shè)了整體這個(gè)概念。但這個(gè)概念處處都可以省缺，人們可以用那些被稱之為部分的內(nèi)容的簡單共存（奠基統(tǒng)一，引者加）來替代它?！焙麪枴哆壿嬔芯俊返诙怼冬F(xiàn)象學(xué)與認(rèn)識(shí)論研究》，第674-675頁。胡塞爾取消整體概念后獲得了第二個(gè)更為嚴(yán)格的奠基定義：一個(gè)α本身不能獨(dú)立于β存在而存在，則一個(gè)α類的內(nèi)容就奠基于一個(gè)β類的內(nèi)容中。胡塞爾取消整體概念的奠基定義蘊(yùn)含了他的奠基定理五——所有部分在絕對(duì)意義上都是非獨(dú)立的。胡塞爾《邏輯研究》第二卷《現(xiàn)象學(xué)與認(rèn)識(shí)論研究》，第660頁。西蒙斯（Peter Simons）認(rèn)為，第二個(gè)奠基定義會(huì)使獨(dú)立與非獨(dú)立部分的劃分、相對(duì)依賴與絕對(duì)依賴的劃分也都被取消了，因此嚴(yán)格的整體概念（pregnant whole）比嚴(yán)格的奠基概念能更好地刻畫古德曼后來定義的經(jīng)典部分關(guān)系Peter Simons， “The Formalisation of Husserl’s Theory of Wholes and Parts，” in Parts and Moments： Studies in Logic and Formal Ontology， 124.。例如，一個(gè)藍(lán)色三角形，它的一個(gè)邊線是黃色的，其中藍(lán)色和三角形的面相互奠基，黃色和一條邊線相互奠基，并且這條邊線又與三角形的面相互奠基——這條邊線作為三角形面的邊界不獨(dú)立于該三角形，而該三角形也與這條邊線共存共變，但是我們并不能因此得出黃色是這個(gè)三角形的面的非獨(dú)立部分，或黃色依賴于三角形的面的結(jié)論。然而，僅僅根據(jù)依賴關(guān)系我們似乎可以得出結(jié)論：這個(gè)黃色傳遞依賴于這個(gè)三角形的面。根據(jù)奠基中非獨(dú)立部分的形式與質(zhì)料劃分，可以區(qū)分種類奠基和個(gè)體奠基Peter Simons， “The Formalisation of Husserl’s Theory of Wholes and Parts，”in Parts and Moments： Studies in Logic and Formal Ontology， 122.。胡塞爾認(rèn)為，個(gè)體間的依賴關(guān)系基于其所屬種類的依賴關(guān)系，因此種類奠基是基礎(chǔ)。但《第三邏輯研究》的奠基分析常常混淆二者Kit Fine， “Part-Whole，” in The Cambridge Companion to Husserl， ed. Barry Smith， David Woodruff Smith （Cambridge University Press， 1995）， 465.。顏色和邊線相互奠基，邊線和平面相互奠基，因此顏色和平面相互奠基，但是上個(gè)例子中的那個(gè)黃色和三角形的面似乎不具有個(gè)體間的奠基關(guān)系。

然而，我們從另一個(gè)角度看，胡塞爾的第二個(gè)奠基概念可以嚴(yán)格化部分關(guān)系。因?yàn)椋舨簧釛壵w這個(gè)范疇，那部分與整體的關(guān)系就很容易產(chǎn)生模糊。例如，一個(gè)東西可以以多種方式構(gòu)成整體，一只貓可以與其他所有貓構(gòu)成貓的整體，它也可以和其他動(dòng)物（例如兩只狗、三只鸚鵡、四條魚）構(gòu)成一個(gè)社區(qū)內(nèi)的所有寵物的整體。胡塞爾認(rèn)為，一個(gè)非獨(dú)立部分的奠基是唯一的，因?yàn)榈旎鳛橐环N范疇形式建立在必然性聯(lián)結(jié)的規(guī)律中胡塞爾《邏輯研究》第二卷，第684-685頁。。范恩（Kit Fine）指出，部分論一般主張一個(gè)給定的部分只有一種方式依賴于一個(gè)個(gè)體，而這種關(guān)系刻畫的就是部分的融合Kit Fine， “Towards a Theory of Part，” The Journal of Philosophy 107， no. 11 （2010）： 562-563.。換言之，胡塞爾的第二個(gè)奠基概念是一種非獨(dú)立部分間的本體論依賴關(guān)系，部分性存在的必然性聯(lián)結(jié)與融合的本質(zhì)規(guī)律。一只貓不可能不是貓，但它可能是一只流浪貓而不是寵物。

眾所周知，胡塞爾始終將奠基當(dāng)作一個(gè)形式本體論的結(jié)構(gòu)性范疇，因此他原本就不是為了澄清某個(gè)區(qū)域性的對(duì)象之間的部分與整體關(guān)系。奠基理論作為一門對(duì)象范疇理論是對(duì)現(xiàn)象學(xué)原區(qū)域中本體論依賴關(guān)系的本質(zhì)描述。具體而言，胡塞爾將前謂詞經(jīng)驗(yàn)中的相似性聯(lián)結(jié)定義為重疊（berschiebung/overlapping）的元形式，即純粹被動(dòng)性的并存（passiver Koexistenz），統(tǒng)一體作為一個(gè)融合統(tǒng)一體在這種重疊中被構(gòu)造，其中并存、續(xù)存、重疊與融合的項(xiàng)并非先存在再進(jìn)行相似性聯(lián)結(jié)，而是作為非獨(dú)立部分相互奠基、配對(duì)存在。胡塞爾《被動(dòng)綜合分析：1918-1926年講座稿和研究稿》，李云飛譯，商務(wù)印書館2022年版，第495-496頁。例如，一塊藍(lán)色漸變地延展，在一個(gè)當(dāng)下顯現(xiàn)出來的藍(lán)色色塊b奠基于過去的色塊a，這并不意味著先有一個(gè)色塊a，然后新的色塊b融合進(jìn)去形成（a，b），融合的過程實(shí)際是b奠基于a的滯留a 1，且由于a 1的變異源自b的滲透和融合，a 1也奠基于b，因此奠基統(tǒng)一體是（b，a 1）；類似地，當(dāng)藍(lán)色持續(xù)漸變，當(dāng)下顯現(xiàn)出來的藍(lán)色色塊c非獨(dú)立地依賴于奠基統(tǒng)一體［c，（b 1，a 2）］，在這個(gè)藍(lán)色的漸變過程中諸部分符合奠基定理五——所有部分在絕對(duì)意義上都是非獨(dú)立的。因此，胡塞爾第二個(gè)奠基定義相對(duì)于他的嚴(yán)格的整體概念更符合對(duì)本質(zhì)的描述。

雖然胡塞爾并未像布倫塔諾、萊斯涅夫斯基以及后來的劉易斯那樣直接用部分論分析實(shí)數(shù)連續(xù)統(tǒng)或構(gòu)造它的集合論，但他認(rèn)為，一般數(shù)學(xué)的基礎(chǔ)（Mathesis Universalis）奠基于現(xiàn)象學(xué)還原的純粹意識(shí)的原區(qū)域（Urregion）胡塞爾《純粹現(xiàn)象學(xué)通論：純粹現(xiàn)象學(xué)與現(xiàn)象學(xué)哲學(xué)的觀念》第一卷，李幼蒸譯，商務(wù)印書館1997年版，第183頁。，數(shù)學(xué)的“本質(zhì)概念是在具體直觀基礎(chǔ)上通過本真抽象獲得的；每一個(gè)描述性概念都對(duì)應(yīng)一個(gè)抽象本質(zhì)，這些抽象本質(zhì)在直觀所與的某些因素（Momenten）中特殊化，并且這些抽象本質(zhì)作為這些因素的同一本質(zhì)可以在本質(zhì)態(tài)度中直接提取出來”Edmund Husserl， Zur Lehre vom Wesen und zur Methode der eidetischen Variation. Texte aus dem Nachlass （1891-1935） （Springer， 2012）， 62.。奠基本質(zhì)直觀的這些因素指的是前謂詞性連續(xù)統(tǒng)中非獨(dú)立的具體項(xiàng)，而時(shí)間意識(shí)連續(xù)統(tǒng)（亦即布倫塔諾批判戴德金等人提出的具有連續(xù)變化程度的原始連續(xù)統(tǒng)）中的具體項(xiàng)則只能訴諸部分論分析得以說明。胡塞爾認(rèn)為，原始連續(xù)統(tǒng)在時(shí)間意識(shí)中構(gòu)成，時(shí)間意識(shí)中滯留的諸部分都被融入一個(gè)收斂于當(dāng)下的線性連續(xù)統(tǒng)中，并相互融合構(gòu)成了一個(gè)二維的諸連續(xù)統(tǒng)的單一連續(xù)統(tǒng)，它們都奠基于原初當(dāng)下的線性連續(xù)統(tǒng)中胡塞爾《經(jīng)驗(yàn)與判斷——邏輯譜系學(xué)研究》，鄧曉芒等譯，生活·讀書·新知三聯(lián)書店1999年版，第445頁。。個(gè)體化過程中的融合構(gòu)成的“這個(gè)”二維連續(xù)統(tǒng)進(jìn)一步構(gòu)成了個(gè)體、屬性、關(guān)系、類和序列等形式本體論的基礎(chǔ)范疇。胡塞爾認(rèn)為，我們可以把全部數(shù)學(xué)尤其是一般數(shù)學(xué)看作一門形式本體論胡塞爾《形式邏輯與先驗(yàn)邏輯》，李幼蒸譯，中國人民大學(xué)出版社2012年版，第66頁。。因此，形式邏輯和形式數(shù)學(xué)的原始概念在原始連續(xù)統(tǒng)的融合（非獨(dú)立部分的奠基聯(lián)結(jié)）中被構(gòu)成。

胡塞爾連續(xù)統(tǒng)中的所有部分都是非獨(dú)立的部分，這符合《第三邏輯研究》中奠基定理五。他指出，時(shí)間流中的原顯現(xiàn)是滯留與前攝的融合體的非獨(dú)立因素，假設(shè)我們刪除原顯現(xiàn)奠基于其中的融合而得到一個(gè)核材料（Kerndatum），那么它也沒有任何表征胡塞爾《關(guān)于時(shí)間意識(shí)的貝爾瑙手稿：1917-1918》，肖德生譯，商務(wù)印書館2022年版，第222頁。。被表征的個(gè)體對(duì)象乃是由融合構(gòu)成的連續(xù)統(tǒng)中設(shè)定的胡塞爾《經(jīng)驗(yàn)與判斷——邏輯譜系學(xué)研究》，第441頁。，因此時(shí)間中的現(xiàn)在點(diǎn)只是一個(gè)虛位或假名。受胡塞爾影響，外爾早期也對(duì)點(diǎn)集連續(xù)統(tǒng)進(jìn)行了批判，也反對(duì)點(diǎn)作為連續(xù)統(tǒng)的基本單位：“流由點(diǎn)組成，因此也分解為點(diǎn)的觀點(diǎn)是錯(cuò)誤的。我們無法理解的恰恰是連續(xù)性的本質(zhì)，即從點(diǎn)到點(diǎn)的流動(dòng)；換句話說，我們無法理解的是持續(xù)存在的當(dāng)下如何不斷消逝在漸行漸遠(yuǎn)的過去中的秘密?！盚ermann Weyl， The Continuum： A Critical Examination of the Foundation of Analysis， trans. Stephen Pollard， Thomas Bole （Dover， 1994）， 91-92.胡塞爾認(rèn)為，作為對(duì)象本質(zhì)的時(shí)空形式和時(shí)空謂詞都在前現(xiàn)象領(lǐng)域的連續(xù)統(tǒng)中被構(gòu)成Edmund Husserl， Ding und Raum. Vorlesungen 1907 （Martinus Nijhoff， 1973）， 61.。在分析空間延展的連續(xù)統(tǒng)時(shí)，胡塞爾根據(jù)延展的重疊解釋了布倫塔諾“基礎(chǔ)邏輯講義”的主題：連續(xù)、間隔和邊界Edmund Husserl， Ding und Raum. Vorlesungen 1907， 71.。因此，胡塞爾奠基理論作為部分關(guān)系的形式化是對(duì)布倫塔諾邊界與連續(xù)統(tǒng)研究的發(fā)展。

三 融合與聚合類

布倫塔諾學(xué)派對(duì)融合的形式本體論研究通過萊斯涅夫斯基部分論發(fā)展出了一條以集合論批評(píng)為主線任務(wù)的傳統(tǒng)，之后這條對(duì)部分關(guān)系與融合的研究傳統(tǒng)在蒯因（Willard Van Orman Quine）、萊納德（Henry S. Leonard）、古德曼（Nelson Goodman）、劉易斯等人的研究中得到了發(fā)展有關(guān)萊斯涅夫斯基與布倫塔諾學(xué)派的聯(lián)系，參見：Barry Smith， Austrian Philosophy： The Legacy of Franz Brentano （Open Court， 1994）， 155-195。。

值得一提的是，雖然懷特海和塔斯基在集合或類的部分論研究傳統(tǒng)中存在直接的師承關(guān)系（懷特海是哈佛唯名論者們的老師而塔斯基則是萊斯涅夫斯基唯一的博士），但是他們的研究主題似乎與布倫塔諾學(xué)派對(duì)部分關(guān)系和融合的形式本體論研究更為相似。懷特海1916年提出的“空間關(guān)系理論（relational theory of space）”和事件理論并不限于集合論的論域，他的興趣是空間以及更廣泛的事件的形式本體論。與布倫塔諾學(xué)派對(duì)點(diǎn)個(gè)體的反對(duì)相似，他根據(jù)部分關(guān)系定義的空間關(guān)系與體積（volumes）概念提出了一種無點(diǎn)的幾何（point-free geometry）Alfred North Whitehead， “Whitehead’s Relational Theory of Space： Text， Translation， and Commentary，” trans. Patrick J. Hurley， Philosophy Research Archives 5 （1979）： 720.。塔斯基1929年的論文《立體幾何的基礎(chǔ)》是懷特海無點(diǎn)幾何的形式化發(fā)展Geoffrey Hellman， “Philosophy of Mathematics，” in Handbook of Mereology， ed. Hans Burkhardt et al. （Philosophia， 2017）， 415.。他用部分（being of part）和球體（sphere）作為原始概念將歐幾里得幾何中的點(diǎn)定義為同心圓的類，并進(jìn)一步定義了點(diǎn)間的等距（equidistance），基于立體（solid）對(duì)點(diǎn)和等距的定義可以獲得點(diǎn)幾何（point geometry）的全部概念A(yù)lfred Tarski， “Foundations of the Geometry of Solids，” in Logic， Semantics， Metamathematics， trans. Joseph Henry Woodger （Clarendon Press， 1956）， 27-29.。相較于集合概念的部分論研究，史密斯（Barry Smith）認(rèn)為，懷特海與塔斯基對(duì)獨(dú)立性的點(diǎn)概念的批評(píng)以及對(duì)邊界概念的分析更接近于布倫塔諾學(xué)派的形式本體論Barry Smith， “Mereotopology： A Theory of Parts and Boundaries，” Data amp; Knowledge Engineering 20， no. 3 （1996）： 288.。

雖然萊斯涅夫斯基受到了布倫塔諾學(xué)派形式本體論的影響，尤其“受胡塞爾式的‘普遍語法’和邏輯語義學(xué)問題的影響”Stanisaw Les′niewski， “On the Foundations of Mathematics，” trans. Dene I. Barnett， in Stanislaw Lesniewski： Collected works， Vol. I， ed. Stanislaw J. Surma et al.， （PWN-Polish Scientific Publishers， 1992）， 181.，但他拒絕胡塞爾柏拉圖主義傾向的“一般對(duì)象”，并認(rèn)為胡塞爾所謂的一般對(duì)象和觀念只是一組個(gè)體對(duì)象的共有性質(zhì)Stanisaw Les′niewski， “The Critique of the Logical Principle of the Excluded Middle，” trans. Stanisaw J. Surma， J. Wojcik， in Stanislaw Lesniewski： Collected works， Vol. I， ed. Stanislaw J. Surma et al.， 51.，因此他提出唯名論立場(chǎng)上的部分論代替集合的構(gòu)造。

萊斯涅夫斯基提出了用部分與整體關(guān)系定義的聚合類（collective class），它區(qū)別于作為分配類（distributive class）的康托集合概念。分配類（即基于屬于關(guān)系的類）會(huì)將自身的性質(zhì)分配給其元素，例如，x是分配類A的元素，則x是A；而聚合類（即基于部分關(guān)系的融合）中的元素未必具有其融合的性質(zhì)，例如，貓的尾巴是貓融合的部分，但某一條貓尾不是貓。此外，聚合類允許其中元素的重疊與融合，而重疊和融合乃是通過元素間部分與整體的關(guān)系定義的，因此萊斯涅夫斯基的類概念不同于康托的類概念，它是對(duì)象的部分與整體關(guān)系的統(tǒng)一體。萊斯涅夫斯基對(duì)類的這種劃分是為了以更為自然的方式（區(qū)別于公理集合論）解決羅素悖論Bolesaw Sobociński， “Lesniewski’s of Russell’s Analysis Paradox，” trans. Robert E. Clay， in Les′niewski’s Systems： Ontology and Mereology， ed. Jan T. J. Srzednicki， V. F. Rickey （Nijhoff， 1984）， 30-35.，并以一種自然的唯名論部分論代替公理集合論奠基數(shù)學(xué)基礎(chǔ)。萊斯涅夫斯基的這項(xiàng)計(jì)劃最終在劉易斯的量論（megethology）中得到了呈現(xiàn)。

四 融合與單元素集合

劉易斯在1991年的《類的部分》中使用萊斯涅夫斯基和古德曼的部分論對(duì)集合論進(jìn)行了結(jié)構(gòu)主義的解釋，并稱這種解釋是一種古德曼意義上的唯名論集合論David Lewis， “Mathematics is Megethology，” 17.。與傳統(tǒng)唯名論不同，劉易斯并不拒斥集合論，而是使用部分關(guān)系和融合概念重新定義類成員關(guān)系和集合概念。類似于胡塞爾對(duì)數(shù)學(xué)實(shí)踐的尊重胡塞爾《邏輯研究》第一卷，倪梁康譯，商務(wù)印書館2017年版，第282頁。，劉易斯也同樣表示了對(duì)數(shù)學(xué)實(shí)踐的尊重David Lewis， Parts of Classes， 5.。因此，劉易斯保留了類的概念，并主張類除了具有元素之外，還具有作為部分的子類，而子類和部分一樣具有類成員關(guān)系所不具有的傳遞性。

實(shí)在被劉易斯劃分為個(gè)體和類，其中類奠基于個(gè)體。劉易斯部分論的特別之處是將空集當(dāng)作個(gè)體而非類，因?yàn)樗鼈兌疾痪哂性?。并且，空集是所有個(gè)體的融合，因此它并不是空無，而只是意味著空集是唯一一個(gè)非類的集合或唯一一個(gè)作為個(gè)體的集合。當(dāng)類的理論還原為了個(gè)體，即全部抽象數(shù)學(xué)對(duì)象（所有那些數(shù)字、矩陣、曲線、同胚映射，等等）所還原為的最終個(gè)體若是具體物，那么無物存在就危及了數(shù)學(xué)基礎(chǔ)，而空集作為最終個(gè)體的選項(xiàng)則是數(shù)學(xué)的可靠基礎(chǔ)，因?yàn)榧词篃o物存在，空集也存在，并且我們也不必假設(shè)某種必然存在的超凡個(gè)體（神或絕對(duì)精神）作為集合宇宙的本體論保證David Lewis， Parts of Classes， 12.。

單元素集合是一個(gè)特殊的概念，除了自身不具有真部分，因此它可以被看作一個(gè)部分論的原子。因?yàn)槌苏骖?，個(gè)體和集合都具有唯一的單元素集合，因此單元素集合和個(gè)體與類是一一對(duì)應(yīng)的。劉易斯把單元素集合當(dāng)作原始概念獲得了建立在部分關(guān)系基礎(chǔ)上的類、元素、個(gè)體、集合以及真類的諸定義：類是單元集的融合；而類的元素是那些單元集為該類部分的對(duì)象；個(gè)體不具有單元集為其部分；集合包括作為個(gè)體的空集和所有具有單元集的類；真類是不具有單元集的類David Lewis， “Mathematics is Megethology，” 10.。這種類的定義可以使我們接受類的同時(shí)拒斥類成員關(guān)系的集合論構(gòu)造，類因此不會(huì)被解釋為抽象共相，而只是個(gè)體根據(jù)單元素集合函數(shù)構(gòu)成的融合。劉易斯認(rèn)為，我們可以進(jìn)一步用單元素集合函數(shù)下個(gè)體的迭代運(yùn)算與融合定義自然數(shù)集合David Lewis， “Mathematics is Megethology，” 16.。

在用個(gè)體、單元素集合函數(shù)和融合定義無窮集合時(shí)，劉易斯認(rèn)為有一個(gè)關(guān)鍵問題需要澄清，即如何不用集合論模型來對(duì)關(guān)系進(jìn)行量化。這個(gè)問題他在1991年的《類的部分》中沒有注意而在1993年的《數(shù)學(xué)是量論》中進(jìn)行了修訂。因?yàn)閱卧瘮?shù)是元素到其單元集的映射，它在集合論模型中就是一個(gè)有序?qū)?。劉易斯指出，有序?qū)τ腥N解釋：一個(gè)是集合論的解釋，在集合論模型中函數(shù)是關(guān)系的一個(gè)特例，關(guān)系是一個(gè)有序?qū)Φ念悾瑔卧瘮?shù)則是所有元素與其單元集構(gòu)成的有序?qū)Φ恼骖?；另一個(gè)是結(jié)構(gòu)主義的解釋，它將有序?qū)醋髟几拍疃磳?duì)它的集合論意義；第三個(gè)是引入關(guān)系的復(fù)數(shù)量化還原（ramsify）單元集函數(shù)。第三條道路使集合和關(guān)系被還原為個(gè)體和融合的多少與大小，集合論被還原為復(fù)數(shù)量化加部分論David Lewis， Parts of Classes， 53.。例如，在劉易斯量論中，假設(shè)有序?qū)=〈x，y〉，部分論原子a、b通過某種融合與x聯(lián)結(jié)，則a與b的融合是{x}的部分，并且通過這種融合我們可以識(shí)別哪些原子（例如c）是否與x聯(lián)結(jié)，那么這些原子的融合就重構(gòu)了有序?qū)χ械膞。以同樣方式可以定義有序?qū)χ械膟。由于有序?qū)€原為了奠基整體，我們?cè)谶@個(gè)整體前面加入一串復(fù)數(shù)量詞，由此通過對(duì)有序?qū)Φ膹?fù)數(shù)量化就模擬了關(guān)系的量化。有了類與有序?qū)Φ牟糠终摱x，劉易斯便可以任意重構(gòu)集合論模型的諸公理了。

五 結(jié)論

劉易斯基于集合論的部分論還原構(gòu)想了一幅本體論圖景，其中底層存在是一種無原子的連續(xù)體（gunk），它們是無限可分的，其部分永遠(yuǎn)具有真部分David Lewis， Parts of Classes， 20.。事實(shí)上，它就是胡塞爾提出的非獨(dú)立部分彼此依賴性地聯(lián)結(jié)構(gòu)成的奠基統(tǒng)一體，它們具有無限可分的真部分，即它不是一種獨(dú)立的存在或點(diǎn)個(gè)體。我們可以看到，聚焦于真部分這個(gè)范疇，融合的形式本體論研究（連續(xù)統(tǒng)的分析）與唯名論的集合論研究重疊在了一起。在布倫塔諾和胡塞爾的連續(xù)統(tǒng)分析中，真部分是連續(xù)性的保證；在懷特海和塔斯基的拓?fù)溲芯恐?，真部分是空間關(guān)系的基礎(chǔ)；在萊斯涅夫斯基和劉易斯的集合論研究中，真部分則是構(gòu)成類的單子。筆者認(rèn)為，真部分之范疇作為20世紀(jì)以來的部分論研究中諸基本問題的重疊交點(diǎn)，或許恰恰表明全部數(shù)學(xué)的基礎(chǔ)正是奠基于存在的最深層，在那個(gè)我們必須超越常識(shí)和亞里士多德實(shí)體范疇的存在領(lǐng)域中。而在那個(gè)前對(duì)象的存在領(lǐng)域中，精確的數(shù)學(xué)與嚴(yán)格的本體論似乎自然而然地統(tǒng)一在了一起。

［責(zé)任編輯：帥 ?。?/p>