第43卷第6期
2
016年11月
四川师范大学学报(社会科学版)
JournalofSichuanNormalUniversity(SocialSciencesEdition)
Vol.43,No.6
November,2016
事物、世界与逻辑
—
——从亚里士多德到布伦塔诺和胡塞尔的是论
毛家骥
(复旦大学哲学学院,上海200433)
摘要:自维也纳学派以来,逻辑就被当作思想推理的工具,它甚至反过来被当作消除形而上学的工具。然而在
亚里士多德创立逻辑之初,逻辑与形而上学是不可分割的。从亚里士多德以来的形而上学史中一直都存在着世界
与逻辑的关系问题。19世纪随着数理逻辑的发展以及它对黑格尔哲学的反省,新亚里士多德主义者恢复了亚里士
多德式的形而上学和逻辑学研究;而作为布伦塔诺学派的后继者,胡塞尔通过建立现象学来回应世界与逻辑的关
系问题,并处理了是论和逻辑学的关系。由此,重构这段思想史并刻画和分析是者与逻辑的关系问题,就对反思当
代哲学中的反形而上学思想与逻辑工具主义具有重要意义。
关键词:形而上学;是论;范畴理论;纯粹逻辑学
中图分类号:B081.1 文献标志码:A 文章编号:1000-5315(2016)06-0011-10
一
传统是论的含义与任务
此,研究作为是者之是的是论,即指仅就事物/be-
一般认为,Ontologia是德国哲学家洛哈德(Ja- ings的“是/being”方面对事物进行的研究。当然至
)
在
才开始使用的哲学术语。
此我们还仍然无法知道是论具体是一个什么样子的
理论,因为我们必须弄清“是”的含义之后,我们才能
进一步弄清楚事物的“是”到底具体指什么。正像布
伦塔诺所说的“如果确实它的对象是作为是者的是
者,就像亚里士多德反复地、特别明确地宣称的那
样,那么第一哲学就必须始于对‘是’这个名字的含
cobusLorhardus 1606
他把Ontologia与Metaphysics当做了同义语,并用
该术语指中世纪八门学科之一。而这门学科讲授的
内容就是亚里士多德的形而上学。此外,虽然当代
形而上学的研究领域有了扩展,例如在斯坦福哲学
百科全书的Metaphysics词条里心灵与物理的关系
问题以及自由意志问题等等都被纳入形而上学的论
域。但在严格意义上,形而上学专指研究“是自身”
[3]1
义的确定” 。
亚里士多德指出“一个是者的是具有多种含
①
[1]1028a10
②
的是论(ontology)。
义” ,布伦塔诺通过比较《形而上学》中各处
亚里士多德认为是论是一门最基本的理论,它
对“是”的含义的诸种划分后认为《形而上学》第五卷
[1]1017a17
是对“作为是的是”(beingquabeing)以及它的特征
第7章
对“是”的含义划分是首次最完整的,
即将“是”划分为:就偶性而言的“是”、作为“真”的
出前者的某一部分来进行研究,而这些科学中也包 “是”、就自身而言的“是”、以及作为潜能和现实的
[1]1003a22
的研究 。它不同于具体科学,后者只是分离
[3]4
括数学。科恩(S.MarcCohen)指出,qua的意思是 “是” 。
“
就……而言”,一个对作为的( )的研究
[2]
布伦塔诺认为,其中前两种是的含义不属于是
y xxquay
指仅仅就x的y方面对x进行的一种研究。因
论的研究论题,而后两者中“就自身而言的是”才是
收稿日期:2016-05-06
作者简介:毛家骥(1986—),男,陕西西安人,复旦大学哲学学院外国哲学专业博士生,研究领域为现象学、形而上学。
11
四川师范大学学报(社会科学版)
最重要的含义,而这个是的含义又进一步被刻画为
正如我们指出,从狭义的和严格的角度看,亚里
士多德的是论即指范畴理论。但是,专门研究范畴
理论的文字却又被收录在亚里士多德专门研究逻辑
的集子里,涅尔夫妇(WilliamKnealeandMartha
[1]1051a34
“
作为范畴的诸类型而言的是或非是” ,所以
亚里士多德的是论或形而上学就是指他建立的范畴
理论。
这里特别要注意的是真理问题,因为真理问题 Kneale)在其逻辑史研究中对此说:“在编者的所有
在亚里士多德看来是与实际世界无关而不属于是论
的考察范围,它涉及的是心灵内的断言,并且一个判
断“是真的”并未揭示出外在于心灵的事物的任何范
畴本质,而亚里士多德心中的是论探究的是事物的
本质,因此作为真假意义上的是的含义不属于是论
决定中,把《范畴篇》包含在《工具论》里的这个决定
是最难理解的。所有其它著作都是根据《修辞学》里
所指出的作为逻辑论证特征的普遍性标准直接地或
间接地与对论证的考证有关,但是《范畴篇》里的许
[4]25
多理论必须看成是形而上学的而非逻辑学的” 。
涅尔夫妇认为,范畴理论不是逻辑学的理论,并且对
逻辑学的影响“不全是好的”。涅尔夫妇区分地看待
[3]25-26
的范围 。直到现代,例如笛卡尔的“第三沉思”
和胡塞尔的纯粹逻辑学的真理论,才讨论了作为事
物存在有效性的观念的真与一个判断的实际的真的 《范畴篇》和《工具论》中的其它部分是符合历史的。
区别,并将真之问题作为事物的存在意义纳入是论
的论题下。
因为在中世纪早期,拉丁世界仅知道由波埃修斯
(Boethius)翻译的《范畴篇》和《解释篇》以及波菲利
澄清了传统是论即就“是者的是方面”进行的研 (Porphyry)的《导论》,它们一起构成的“旧逻辑
究,以及“是”的是论含义即指诸范畴,因此我们便获 (logicavetus)”成为了早期中世纪学校的标准逻辑
得了传统是论的基本模样,即范畴理论。具体而言,
教程,并且和12世纪初陆续被发现的作为“新逻辑”
[5]70
特殊的科学研究某种特殊的是者及其特征,例如粒 (logicanova)的《工具论》其它部分区别开来 。
子物理学家研究作为物理对象的基本粒子的结构、
性质以及它们的运动规律,数学家则提供关于某种
数或空间的结构和特征的知识;但“哲学不就每一个
特殊对象都具有的某种属性方面来研究特殊对象,
而是思考每个特殊对象相关的作为是者的是方面。
自然科学和数学具有相同的地位,因为它从运动的
方面而不是从‘是’的方面来探究事物的各种属性和
原理,反之我们已经指出第一科学仅就奠基着事物
但另一方面,这个问题不仅涉及亚里士多德逻辑书
的历史编纂,而且涉及世界的或事物的结构与逻辑
结构的关系问题。
因此,我们认为范畴理论在逻辑著作里存在也
并不是一种是论或哲学同逻辑学对立地处于同一研
究著作中的怪相,毋宁说这体现了逻辑学科自我理
解的变化以及逻辑学家和哲学家对逻辑与哲学(是
论)关系的一种理解。诚然,新逻辑作为一种研究论
证的科学,更符合现代符号逻辑的标准,但是论中涉
及的词项或表达的原始形式的分类和定义的研究也
的确和论证形式的有效性问题以及逻辑算子的理解
[1]1061b25-30
的是方面而不是其它方面来进行研究”
。
所谓“运动的方面”是指诸特殊科学研究对象与是论
的研究对象的是论差异(theontologicaldiffer-
ence),前者处于变化中,而后者超越变化的宇宙。
等典型逻辑问题很有关系。例如,哈克(Susan
根据亚里士多德的理论,首先“事物是”,即事物 Haack)指出了一些研究,如:对经典逻辑的语法不
必须先具有一定的范畴结构,然后才具有某种特征
并作为具有特定属性、处于特定关系中、位于特定时
空中等等的具体事物,而悬置事物的具体性,忽视它
是什么的“什么”(what),仅仅就它的“是”(being)这
个方面进行探究、追问“是”是什么,这就属于是论的
研究了。换言之,对“是”进行追问的是论,不是探讨
是个什么的那个东西,而是探讨事物的范畴结构。
做修改的前提下改变其语义解释来应付问题;扩展
经典逻辑,加入新算子,但对经典逻辑的公理与规则
不做改革,就像模态逻辑和时态逻辑;保留经典逻辑
的词汇,限制其公理与规则,就像量子逻辑和相干逻
辑;以及对经典逻辑的元概念进行挑战,就像直觉主
[6]189-192
义逻辑对逻辑真的概念的重构 。这些研究,
都会导致“扩展逻辑”或“异常逻辑”,这些变异都是
逻辑学的发展,并且这些变异大多都缘于形而上学
的思考。具体而言,例如基于不同是论对量词的不
同理解就会导致对高阶逻辑的不同选择,以及基于
二
作为范畴理论的传统是论与逻辑和世界的
关系
(一)是论与逻辑学
12
毛家骥事物、世界与逻辑———从亚里士多德到布伦塔诺和胡塞尔的是论
是论而采用一些新逻辑算子就会产生对新的对象及
其行为进行刻画的新的逻辑系统,例如认知逻辑与
时态逻辑,此外科恩也以矛盾律为例指出第一哲学
涅尔夫妇指出亚里士多德范畴理论在其对象与
专题上存在模糊。一方面是它的研究对象模糊,即
范畴这个词的意思在事物/things和语词/words之
间位置不清,这是波菲利等古代哲学家专门讨论过
[2]
必须提供对适用于所有推理的一般原理的说明。
因此,我们认为包含在《工具论》中的范畴理论
与其它部分的分歧属于逻辑内部的分歧,而不是一
本书中两门学问间的对立,并且逻辑内部的问题并
不排斥是论思想。换言之,逻辑学内部有一部分是
与是论交叉的。或许可以说,是论乃哲学中最接近
逻辑的哲学部门,而逻辑也是诸科学部门中最接近
哲学的科学部门。基于逻辑与是论的交叉部分,逻
辑学的工作可以被划分为几个部分。我们这里接受
胡塞尔的划分,胡塞尔指出作为一门先天科学的纯
粹逻辑学的研究任务可以被划为三个阶层。第一阶
层就是确定原始的对象范畴(如对象、事态、关系等)
和含义范畴(如合取、析取、主词、谓词等)、确定由原
始范畴导出的基本联结形式的复合的规律(例如整
[4]34
的问题 。事实上,这个论题一直延续到特伦德
伦堡(AdolfTrendelenburg)等新亚里士多德主义
者和布伦塔诺学派,并开启了胡塞尔和海德格尔的
现象学研究。另一方面是它的专题,即不清楚范畴
理论是只研究了谓词,还是也研究了包含主词在内
的一般词项(termsingeneral)。
对于是论研究对象的模糊问题,我们认为它可
以转化为另一个问题,即亚里士多德为什么要通过
语言中介来研究实在世界的问题。首先,我们可以
肯定的是亚里士多德的范畴理论是对事物的研究。
布伦塔诺在对逻辑学与是论的区分中说明了这点,
即作为理论科学的逻辑学在亚里士多德学科划分中
的理论科学层面并未找到它的位置,正是因为物理
学、数学和是论都是从不同方面探究事物的科学,而
③
体与部分的奠基关系);胡塞尔认为逻辑的第一阶
研究看似带有术语解释的外观,但这种对逻辑基础
逻辑学的对象都不具有任何外在于心灵的
④
[3]26
的“现象学起源”的考察是整个逻辑学科中最重要 “是” 。但是,在逻辑学的定位问题上,相较于亚
的。此外,纯粹逻辑的第二阶研究和第三阶研究,即
确定基于原始范畴的涉及真与假和存在与无的基础
规律,以及建立作为公理演算系统的纯粹流形论
里士多德和布伦塔诺将逻辑学排除在是论的范围之
外,胡塞尔则从发生论角度将逻辑学奠基于是论之
上。我们之前提到,胡塞尔在《纯粹逻辑学导引》的
结论处对纯粹逻辑学的三个阶层划分中就论述了对
象范畴和含义范畴的对应性,而他在晚年的《形式逻
辑和先验逻辑》中又进一步讨论了这点:意义范畴的
相关项是被判断的对象的形式范畴,后者通过名词
化/nominalisation而被显示出来,即事态、统一体、
(
Mannigfaltigkeitslehre;康托早期也用它命名其集
[7]A243/B242-A248/B248
合研究)
。当然,强调是论与逻辑的
交叉特征,并不是否定逻辑学本色的研究。胡塞尔
在讨论数学家和哲学家的工作分配问题中讽刺说:
“如果哲学家反对‘数学化’的逻辑学理论并且不想
⑤
把她的临时寄生子转交给亲生的父母,那么超出其
复多体、关系/relation、数等各种范畴。胡塞尔说:
[7]A252/B253
权限的不是数学家,而是哲学家。”
胡塞尔 “正是以这个方式,形式逻辑明显地被同时刻画为一
[
8]93
认为,虽然哲学家的是论研究涉及逻辑基础的论题,
但是这是与数学家和逻辑学家的具体工作是并行不
悖的,哲学家也不能拒绝和否定现代符号逻辑的技
术性研究。
种命题学和一种形式的先天的对象理论。” 胡塞
尔将逻辑学纳入到是论领域并为之奠基,而这种研
究范式将逻辑的形而上学之根显现了出来,“形式的
显现”这一论题是胡塞尔和海德格尔现象学研究对
传统是论研究的创新。
总之,传统是论的主要任务就是通过对表达的
原始形式的探究来提供对逻辑形式的可能性的先天
条件与具体构成等论题的解答。然而,形而上学家
然而另一方面,亚里士多德又确实以语言为中
介探讨范畴理论。亚里士多德在通过“谓述”(pred-
们的工作绝不是符号游戏,他们正是通过对世界的 icatedof)和“在……之中”(in)对范畴进行最小可能
本质的问讯来获得原始的是论形式。
二)是论乃是通过对世界的问讯来把握形式本
质以为逻辑奠基
.是论是通过语言中介对事物的研究
的两个分类时,面向的是“非复合的诸是者”,因此显
然这里讨论的是语词的分类,因为只有语词才有复
合或非复合的划分。对此,埃克瑞尔(J.L.Ackrill)
认为,“亚里士多德是如何得到他的范畴表的呢?毫
(
1
13
四川师范大学学报(社会科学版)
无疑问这些事物的识别和分类仅能通过对我们说的
语言的注意而被获得,然而范畴的诸词项是‘事物’
而非表达式。分类事物的一种方式是,划分关于事
物的可能提出的各种问题,并注意只有有限的回答
而事物的形式则显然是事物自身的而非心灵的。再
例如,海德格尔认为,人在ꢀ世界ꢀ之中ꢀ存在,但
这意思绝非人作为一个事物与世界的空间关系,而
是人的生存无法独立于他在实际生活中所体验到的
周围世界,在这种意义上我的自我是世界的一个非
独立的部分,自我与周围世界是部分间的形式关系
而非物理的空间关系。换言之,范畴理论作为一种
是论,显示我们关于事物的表示方式和揭示方式以
及事物的呈现方式。涅尔夫妇以逻辑学家的思维方
式对亚里士多德范畴理论的非难,是建立在割裂是
论与逻辑的关系上的,而且我们认为这种思路将割
裂逻辑与世界的关系,易使逻辑仅被理解为一种辅
助精确思维的经济性工具。
[9]78
能够恰当地给予任意特定问题。” 虽然我们针对
世界中的事物的提问方式是多样的和无穷的,但能
获得的有效的回答方式则十分有限,如果回答方式
就是对事物的揭示方式,那么有限的回答方式就对
应于事物的表达的诸范畴,诸范畴就是事物的有限
的先天存在方式。因此,我们认为,或许亚里士多德
的范畴理论的内容是以语言为中介显示出来的,但
它的目标则是对事物进行探究。
涅尔夫妇认为,范畴理论乃是对语词的探究,但
是内容上混淆了符号与事物,因为“谓述”只适用于
语词,而“在……之中”则仅适用于事物。此外,亚里
士多德在使用语词的时候,没有像现代人一样使用
引号和自由创造的抽象名词来专指作为语词来使用
的语词,以排除掉作为指称事物来使用的语词。涅
尔夫妇使用的这种元语言,和对象语言的区分,可以
很好地消除表达上不清楚的地方。但是,我们也可
2.布伦塔诺对亚里士多德是论的发展:范畴体
系对事物复杂性本质的显示
我们认为,如果是论只提供一张事物的“是之范
[1]1045b28
畴”(haikatēgoriastouontos)
的列表,那么
这种研究不但无法为内容丰富的逻辑学奠基,而且
也无法呈现事物的复杂本质。具体而言,范畴理论
研究事物所属的谓词都是对第一本是(primaryou-
以看到亚里士多德自己声明了in这个对范畴的最 sia)的谓述,这些谓词的最高属就是范畴,因此只处
小可能分类的标准之一的意思:“所谓在载体中,我
于表达的谓词部分。这限制了范畴理论的应用范
围,因为它将“白是一种颜色”和“苏格拉底是白的”
这种表达间的区别排除了,而这种表达的区别涉及
对事物的定义或本质谓述(essentialpredication)的
把握以及它与偶性谓述(accidentpredication)的划
分。这个对范畴表的批评,恐怕也适用于对康德“简
短而枯燥”的逻辑学的理解。如果只是将康德的那
个有限的范畴表当作认知的结构,那么我们似乎无
法解释认知中把握事物本质的知识是如何形成的。
而海德格尔认为,“康德《纯粹理性批判》的积极成果
也在于着手清理出一般地属于自然的东西,而不在
于某种认知‘理论’。他的先验逻辑是关于自然这个
存在领域的先天事物逻辑(apriorischeSa-
的意思并非指如某个部分那样位于某种东西中,而
[1]1a23ꢀ24
是指它不能离开它所在其中的那个东西” 。
用现代的是论术语表达,in是一种非独立的(de-
pendent)奠基关系,它表示一种事物的抽象的形式
结构,即一个自身不能作为整体的部分被称为一个
整体中的非独立部分,这个非独立的部分是它所属
的整体的“真部分”(properpart),即xisaproper
partofy,可以被转写为PPx↔(Pxy∧ Pys)这种
一阶语言表达式。因此,现代的是论虽然使用了形
式方法,但仍是对亚里士多德划分范畴的in标准的
刻画,而这种转写之后可见in展现的是事物之间形
式的关系(某物作为部分这个方面而言部分间的关
[10]10-11
系),而不是事物和事物之间物理的或因果的联系。 chlogik)。”
换言之,我们必须以范畴为研究对
例如,球可以在光滑斜面上滚动,这个事态体现的不
是球与斜面这两个事物间的关系,而是球的形状与
斜面的形状之间的关系,即空间的几何形状之间具
有的形式关系,而是论描述的就是这种事物的形式
关系,尽管它不直接报告事物和事物的实际物理学
关系、审美关系、某一实在区域中的其它关系,但某
个区域中的关系恰是以事物的形式关系为根据的,
象来展示它的复杂结构,并以此洞察世界的复杂本
质。那么,这就要求范畴理论不仅单纯地作为一种
事物分类或被当作谓词的属,而且应该被放置在主
词位置被考察。
布伦塔诺对亚里士多德在范畴理论的研究中讨
论了这种广义的谓词理论,即处于表达主词位置的
谓词理论。亚里士多德在《论题篇》第一卷第9章提
14
毛家骥事物、世界与逻辑———从亚里士多德到布伦塔诺和胡塞尔的是论
出四谓词理论的著名段落里说:“对于每一类谓词, ofanalogy);布伦塔诺进一步划分类比统一中的“关
如果一个谓词谓述了它们自身所属的那类谓词或者
于同一项(horos)的类比(analogytothesameter-
那类谓词的属,那它就表明了本质;另一方面,如果 minus)”的统一才是范畴间的亲缘性和统一性根据
[
3]58-60
一类谓词谓述了另一类谓词,那它就没有表明本质,
而是表明了某个量、质或其它某一范畴。因此,研究
。这个项(horos)就是第一本是。亚里士多德
在《前分析篇》中说:“有多少种‘这个属于那个’和
‘这个真的谓述那个’的表达,就有多少种不同的范
[
论证的起点和论题就是这些。”
1]103b20-104a3
[
1]49a6
然而,一旦以范畴为专题探讨范畴体系的建立,
这里就会涉及两个难问题:一个是亚里士多德的范
畴表在提取范畴上是否一致,即范畴划分(category
畴。”
布伦塔诺认为,亚里士多德这句话可以修
订为“有多少种事物依赖第一本是的方式,就有多少
[3]74
种范畴” 。但涅尔夫妇指出,诸范畴中时间(还
differences)是否根据一个原则,抑或是任意的拼
有地点)作为副词不能谓述第一本是;波尼茨(Her-
凑;另一个是不同角度提出的范畴划分(如最大可能 mannBonitz)也质疑,如果时间和地点副词能够范
分类、最小可能分类和四谓词分类)之间的关系是什
么。布伦塔诺尝试解决这些问题,这种方向的努力
被胡塞尔以及布伦塔诺学派的其他成员继承,但在
现象学之外的当代哲学却对此持怀疑主义态度。如
托马森(AmieThomasson)所说,当代分析哲学家
对是否以及如何能提供一个以范畴为专题的“是之
范畴”的体系持怀疑态度,并将兴趣转向了对范畴含
义进行划分的识别问题上。又如受惠于胡塞尔的牛
津哲学家赖尔(GilbertRyle)和塞拉斯(Wilfrid
畴化,那么其它副词(如比较级副词、疑问副词、否定
副词等)为什么不能范畴化呢;布伦塔诺则认为,时
[3]126-127
间和地点副词能如名词一样谓述第一本是 。
布伦塔诺在分析亚里士多德的范畴划分中,认为时
间和地点范畴标示着一种“在某种包围之中”,这里
的时间和地点是名词,因此作为副词的去年和昨天
也具有名词的特征,例如“去年”等同于“在2015年
之中”。事实上,即使出现在时间范畴中的混淆是不
可解的,这也不与布伦塔诺所主张的范畴根据对第
一本是的谓述关系而被划分并具有类比的统一性矛
盾。因为我们可以在是论体系内通过解释来替换或
放弃时间和地点两个范畴。例如,时间或许可以作
为变化率被归入质范畴和关系范畴中,空间则可以
作为形被归入量范畴和关系范畴中。再例如时间范
畴可以如亚里士多德讨论各种范畴的变化特征那样
将它认作对范畴的特征的二阶研究。可能这种假设
的举例不够恰当,但是我们可以认同这种例外并不
能说明亚里士多德的最大可能的范畴划分是不一致
的或随意的。布伦塔诺在“演绎证明”的标题下对范
畴体系的划分和完备性以及诸范畴的独立性做了综
Sellars),他们应用范畴含义分析来考察传统哲学问
[11]
题的合法性,而没有探究范畴体系自身 。但是,
我们认为,这种哲学恰恰会成为怀疑主义,他们因为
范畴错误使用来拒斥形而上学,这是首足倒置的!
因为形而上学正是对“是之范畴”的体系的可能性先
天条件的问讯和沉思,而对范畴理论的疑难问题的
回避以及由此对形而上学的拒斥,最终导致了对范
畴理论和形而上学的遮蔽。布伦塔诺在他的博士论
文中却面向了范畴理论的疑难问题。
首先,第一个问题,布伦塔诺通过对亚里士多德
的研究指出,最大可能的范畴划分或诸范畴的提取
中存在统一原则。亚里士多德说:“就自身而言的是
指诸范畴的类型;因此是的含义与诸范畴的类型一
样多。因为有些谓词指称作为主词的‘是什么’,其
它的指称质,量,关系,主动或被动,地点,时间,‘是’
[3]97-118
合的描述 。
其次,第二个层面的问题,即亚里士多德对范畴
的各种维度(如最大可能分类、最小可能分类和四谓
词分类)划分之间的关系没有明确说明,因此似乎是
任意划分范畴的。但根据布伦塔诺对范畴划分的演
绎证明,最大可能分类和最小可能分类之间存在联
系。首先,范畴的最小可能分类,即波菲利认为根据
[1]1017a22
的含义总是它们其中的某一个” ,因此诸范畴
统一于“是自身”。布伦塔诺指出,这种统一不是一
种同名同义的统一,即诸范畴之间不是种属关系,
“是”也不是诸范畴之上的更高的属,诸范畴自身都 “谓述”和“在……之中”可以将诸范畴划分为四类范
是相互独立的、平行的最高属,在其之上没有属了,
因此,诸范畴的统一是如亚里士多德所说的同名异
义的统一,这种同名异义是一种类比的统一(unity
畴,根据前一个标准可以划分普遍的和特殊的范畴,
根据后一个标准可以划分范畴中的本是和属
[5]172
性 。这种范畴的四种分类并不与范畴的最大可
15
四川师范大学学报(社会科学版)
能分类所得的范畴表矛盾。布伦塔诺分析诸范畴的
最大可能分类正是根据“在……之中”这个标准来完
成的,而范畴内部的种属则根据“谓述”这个标准给
出,由此范畴体系则显示为横向和纵向的结构。
亚里士多德在《物理学》中将“在……之中”分为
一条道路来进行原始范畴划分的。而这条道路,随
着超越布伦塔诺学派的现象学家们的研究而逐步被
超越。
布伦塔诺在他的博士论文结论处以辩护的方式
讨论了几种是论的疑难,其中第二个和第三个讨论
[1]210a14-24
[3]130-148
8
种
,其中“形式在质料中”意义上的in最重
涉及对范畴划分的理解 。尽管布伦塔诺承认
要,它划分了本是与属性。布伦塔诺说:“本是与属
性的划分乃是其中被划分的本是与属性这两个类的
成员包含了全部的范畴之是的一种划分。这个划分
是以依赖于(in)第一本是的不同存在方式为根据
范畴体系是对事物复杂性的显示,但他说:“特伦德
伦堡公开承认,如果范畴划分仅仅根据语法上的准
则而不更深地在事物自身之中寻找它的原则,它就
会面临另一种反驳。但是这仅是一种假设的反驳,
实际上对这个假设的某种论证会随着该假设的失效
而没有意义。我们也不得不承认与语法的完全一致
[3]97
的。” 接着,再根据与第一本是的谓述差异,布伦
塔诺进一步在属性中划分出绝对属性(absoluteac-
[3]131
)
和关系( ),绝对属性进一步被划分为
自身并不是一种反驳,而是一种赞扬。”
换言之,
cident
relation
内在属性(inherence)、行动和环境。如此,最大可
能分类的诸范畴均被纳入这种体系中。此外,每一
个范畴内,根据“谓述”和“被谓述”又划分出种属,最
终一切事物均在这个范畴体系中有其对应。根据这
个范畴体系,我们可见属性是可以处于一个表达的
主词位置的,并且当一个表达的主词和谓词位置上
的是者属于范畴树上的一条分支线上,那么它就是
表达了本质形式,反之主谓词组合若跨范畴分支则
表达了偶然形式。例如,白是一种颜色。因此,属性
出现在主词位置,并不与“范畴是根据与第一本是的
不同关系而划分”的标准相矛盾。
他不认为现象学探究事物的发生与结构是范畴划分
的缘起,而是在先接受或不如说假设语言与事物的
对应性,然后通过语法分析来实现范畴划分。
但是我们不禁要问,事物的是之范畴与表达它
的语法结构为什么是对应性的?如果不回答这个问
题,那么布伦塔诺通过语法分析来进行的范畴划分
只是一种基于假设的研究,而这种研究基础上建立
的范畴体系似乎就是不安全的,并且除非再诉诸于
语言与事物的对应性假设,否则无法说明建立起的
范畴体系与世界的关系。布伦塔诺没有对这个问题
进一步展开,却接着反驳了他的老师特伦德伦堡的
观点。他说:“特伦德伦堡认为,如果范畴被视为实
在,那么我们必须在事物的本源或四因/four
1]103b20-104a3
,它与 grounds中寻找范畴的根/rootofcategories,因为
最后,从布伦塔诺的这个范畴体系还可以看出
四谓词理论的根据。亚里士多德在《论题篇》中从另
[
一个维度对“是”的含义进行划分
“
是”的最大可能分类和“是”的最小可能分类都不
后者在自然秩序上是第一的。实际上,我们对范畴
划分———即根据依赖(in)第一本是的不同存在方式
和潜能与现实的不同关系划分的最高属———不仅赋
予了逻辑学的含义,而且赋予了形而上学的含义;然
而,我们并未试图将范畴与事物的本源或四因联系
起来。我们因此应该受到特伦德伦堡的反驳吗?与
布兰迪斯(A.Brandis)和波尼茨等人一致,我们认
为必须明确地拒绝这种反驳。在亚里士多德所谓的
范畴意义上以及在本文中它们向我们逐步清楚地展
现的意义上,对范畴的探索与对所有范畴中类似存
同,并且我们认为这三种分类并不是任意的而是一
致的。四谓词理论提出的“是”四种划分,即恒是(to
)
、偶性( )、固有属性(
property)和
tieneinai accident
属(genus)。布伦塔诺认为,这种分类不是对范畴的
分类,而是对“是的含义”的某种维度的分类,并且范
畴划分即在是本身的维度上对是的含义的划分,而
四谓词理论的划分是对“真的意义上的是”这个维度
的进一步划分,前者属于对事物的探究,而后者则不
[3]82
是关于事物而是关于心灵的认知形式的探究 。
因此是不同维度的不同研究,而不存在混淆。
3.布伦塔诺的边界:范畴划分的可能性条件
[3]131-132
在的四因或本源的探索没有关系。”
总之,虽
然布伦塔诺承认是论是对事物本质结构的显示,但
却拒绝从事物的角度考虑范畴划分和范畴体系的构
成,而这点正是现象学的是论研究对传统是论边界
超越的窄门。
布伦塔诺虽然建立起了是之范畴的体系,并承
认范畴体系是对世界和事物的显示,但是在这个是
论体系的根基处,布伦塔诺似乎是通过语法分析这
16
毛家骥事物、世界与逻辑———从亚里士多德到布伦塔诺和胡塞尔的是论
[13]97
三
胡塞尔的现象学的是论
有内涵的形式 。在纯粹逻辑学的一阶理论中,
一般而言,胡塞尔的现象学被视为一种心灵哲
学或意识哲学,但胡塞尔说:“最近十年来在德国哲
学和心理学中,关于现象学已有过很多讨论。人们
相信,现象学与我的《逻辑研究》是一致的,这样它就
被理解为经验心理学的基础,被设想为对心理体验
胡塞尔所谓的形式对象范畴比较简单,它包括作为
[7]A244/B244
诸对象范畴的事态、个体、关系等等
。而对
于含义范畴,胡塞尔认为它是命题及基本联结形式,
具体包括将句子联结为新句子的合取的、析取的和
蕴含的联结形式,亦即命题联结词,此外也包括基本
[7]A244/B243
‘内在性’描述的一个领域,它被严格限制在———人
命题的变形形式,例如模态词
。但是,对象
们就是这样理解这种内在性的———内部经验范围
内。我对这种理解方式的反对看来没有什么效果,
以至于我对明确强调二者之间至少有某些主要区别
点的补充说明,人们或者并不理解,或者置若罔闻。
范畴是对世界和事物的显示,而含义范畴何在呢?
胡塞尔在批评心理主义逻辑学时提到:“对(逻辑)规
律的经验运用无疑以此为前提,即作为我们表达的
含义概念或命题的确是同一的,因为质性不同而质
料同一的所有的命题组都在规律的观念范围
…
…在以下探讨中我将对其深入研究的纯粹现象学
[7]A100/B100
(它与在《逻辑研究》中首次开创的那种现象学相同,
中”
。换言之,含义范畴奠基于表达之中的
其意义在后来十年的继续工作中日益深刻和丰富地
对我显现出来)不是心理学,而且既不是由于对其领
域的偶然划定,也不是由于其术语系统,而是其本质
的基础才使其不能被纳入心理学。不论现象学必定
认为对心理学方法具有多么大的意义,不论它为后
者提供的‘基础’是多么必不可缺,它本身(已经作为
观念科学)如此不同于心理学,正如几何学不同于自
质料,并且独立于任何行为质性。例如,“晨星是明
亮的”和“暮星是明亮的”,这两个表达中的含义范畴
都是谓词与专名的组合,虽然它们是两种不同的具
体表达行为。注意:这里将含义范畴称为质料的,但
这并不意味它就完全等同于含义,因为含义是实项
的而含义范畴则是观念的,观念的含义范畴是表达
中的含义的形式,例如“晨星是明亮的”这个表达的
含义就是它的实项内容,即作为意向相关项的具体
事态。而我们可以通过不同含义或实项内容来指称
同一对象,而含义范畴则是表达内容中的逻辑形式。
由此可见,含义就像一条界河,它关联着事物形
式和逻辑形式。而这种含义图景,后来被拓展到直
观行为中的意义的刻画上,最终导向了《纯粹现象学
通论》中的意向相关项研究。在意向相关项的现象
学研究中,就包含着探讨从含义向含义范畴(从事态
向其中形式的显现)跃迁的本质变更的论题。由于
我们这里的专题是考察传统是论与逻辑学的关联
[12]2
然科学。” 这一长段引文点明了胡塞尔现象学哲
学体系的主题,即探究作为本质知识的而非心灵理
论的现象学。我们认为,只有将胡塞尔的工作置于
上溯亚里士多德、下接海德格尔的古老而永恒的是
论传统中,才能把握现象学的方法与哲学的本质。
(一)胡塞尔的形式化是论与形式命题学的区分
纯粹逻辑学覆盖了胡塞尔《逻辑研究》的全部专
题,他在第一卷的第十一章中,提出了纯粹逻辑学有
三个阶层的研究,在这全部三阶层的研究中又都包
含着存在论和逻辑学的区分,而这一区分一直延续
至胡塞尔逝世前快速完成的《形式逻辑与先验逻辑》 (即说明是论何以为逻辑学奠基以及是论的外貌)和
中对形式化是论与形式命题学的区分。
是论与世界的关联的大致外貌(即说明传统是论向
现象学是论发展的道路),因而是论何以可能、形式
化是论是如何具体构成的(即胡塞尔现象学对形式
化是论的发生论研究),则是另外的研究。
上文我们已经提到了胡塞尔《纯粹逻辑学导引》
中对纯粹逻辑学三个阶层的研究中包含的对象范畴
与含义范畴的区分,即第一阶的研究涉及对象的和
含义的原始形式范畴的划分或识别,而第二阶的和
第三阶的推理研究与公理化研究都奠基于第一阶的
形式理论之中。史密斯(DavidW.Smith)认为,意
义范畴的推理理论和公理化系统即指现代意义上的
数学化、形式化的符号逻辑学,而与之对应的讨论对
象范畴及其规律的形式本体论则是一种与集合论类
似的理论,它是形式化的,但其主题不是句法,而是
综上所述,胡塞尔通过区分形式化是论和形式
命题学,重新改造了是论的范畴体系与逻辑形式系
统的关系。传统是论的范式是,通过范畴划分提取
原始范畴并建立范畴体系进而为逻辑形式奠基,但
范畴划分是通过语法分析来操作的,而语法分析又
预设了逻辑语法的先在,因此传统是论中存在一种
循环。而胡塞尔则是将形式化是论与形式命题学均
17
四川师范大学学报(社会科学版)
纳入形式逻辑之中,然后在二者的现象学起源中考
察对象范畴与含义范畴的关系,他通过对形式化是
论的对象范畴或“事物逻辑”的现象学研究,提供了
含义范畴的最初原理。这种现象学研究超越了传统
是论对语法分析的依赖,通过对含义、意义和意向相
关项的现象学研究,深入到了事物的深层基础之中。
形式化的部分理论则是对意识内容的现象学分析的
抽象结果,我们通过对切己的、具有可通达性的纯粹
意识内容的现象学反思而获得了现象学领域内的所
与结构(structureofgivens),通过本质的现象学分
析,从意识内容中得到的非独立部分(moment)的形
式特征规避了是论研究对语法学的依赖。
(
二)作为先天事物逻辑的纯粹逻辑学
2.含义范畴原理是通过问讯事物的现象学研究
而得以显示
1
.谬误分析中展示出来的含义范畴原理及其疑
问
实际上,含义范畴的独立性与非独立性标明了
含义范畴的形式命题学或逻辑学特征。具体而言,
专名就是一个独立的含义范畴,而谓词则是非独立
的含义范畴,它必须依赖一个名称以形成独立的命
题,谓词的非独立性又可以根据依赖方式区分为一
元谓词和多元谓词,逻辑常项(如各种命题联结词、
量词、模态词等)也根据独立的含义范畴的复杂依赖
方式而得以被刻画,并以此规范它们在逻辑系统中
的操作规则。显见,含义范畴原理更像逻辑句法的
原理。含义范畴与含义、意义、意向相关项绝对不能
混淆。但是我们怎么把握含义范畴的具体的复杂性
依赖方式呢?
胡塞尔在《第四逻辑研究》中区分了两种谬误,
一种谬误呈现为表达上的无意义(derUnsinn),另
一种谬误呈现为表达上的荒谬(derWidersinn)。前
者例如,句子Thisbookisthick,我们用in代入主
语位置得到的inisthick就是一个无意义,或者1+
号替换,得到的=+1=2也是一个
1
=2,我们用= 1
无意义;后者例如,圆的方或1+1=3,这些表达是
荒谬的,它们在实际世界中没有对象,但是它们却是
有含义的,我们也能理解它意谓什么,荒谬的形式在
逻辑的可能世界中可能有对象。
可见,无意义涉及表达中诸部分(Teile)的结
构,胡塞尔用含义范畴的独立性和非独立性解释结
构有效的合式表达和非合式表达,这个结构即是含
义范畴的构成原理,它进一步决定着复杂表达的推
理规律和公理化的定理演算系统。克罗森(Freder-
ickJamesCrosson)指出,胡塞尔似乎是第一个提出
含义范畴原理的人,尽管他自己也吃惊为何之前无
人发现这点,而胡塞尔提出的这个原理对无意义表
达和荒谬表达的消除分别对应之后卡尔纳普提出
的、也为现代逻辑学家接受的形成规则(rulesof
formation)和变形规则(lawsoftransforma-
对这个问题的回应,现象学家认为,单纯关于形
式规律的命题学原理奠基于形式化是论描述的先天
事物逻辑,后者具体指对象范畴的奠基结构理论(或
整体与部分的形式理论)。而这要求悬置任何被奠
基的知识的成见,在现象学还原后的纯粹现象领域
内描述本质的奠基结构。通过倾听和追问纯粹所
与,以令其形式自行显现。当然这之中有大量具体
的描述工作,但这将会涉及另外的研究。
3.胡塞尔的纯粹逻辑学理想:对鲍尔扎诺和莱
布尼茨的继承
[
14]261
tion)
。
胡塞尔的这种现象学道路最终将可能完成形式
化是论和形式命题学的构造,而这种完成并不是构
造两个独立者。是论和命题学是纯粹逻辑学的两个
方面,在其内部,是论为命题学奠基;但在外部,在纯
粹逻辑学与其它诸区域科学的关系上,纯粹逻辑学
将实现鲍尔扎诺(BernardBolzano)的科学论(Wis-
虽然克罗森肯定胡塞尔这一发现不亚于弗雷格
对谓词逻辑的刻画,但他指出这种含义范畴原理如
果是通过对语言的语法特征的分析而获得的,就会
因语言的相对性或特异性而不安全(例如某种原始
人部落使用的语言的语法结构不会得出我们的是论
与逻辑学特征),他承认胡塞尔诉诸本质直观正是为 senschaftslehre)理想和莱布尼茨的普遍数学
了规避这种语言特异性使用的危险,但由于本质直 (mathesisuniversalis)理想。这个逻辑学理想表现
观理论的神秘性,他不认为现象学的这种努力是成
出了与现代分析哲学中符号逻辑工具化的相反方
向。
[
14]260-261
功的
。而事实上,胡塞尔在《第四逻辑研究》
中展示的含义范畴的形式语法学是奠基于其《第三
逻辑研究》的形式化的部分理论(mereology)的,而
胡塞尔认为现代以来逻辑学与科学的关系被颠
倒了,早期现代逻辑学作为对事物本质的探究引导
18
毛家骥事物、世界与逻辑———从亚里士多德到布伦塔诺和胡塞尔的是论
[
8]68
着科学,但此后随着科学的专门化和逻辑的精确化
与工具化,逻辑仅仅成为了科学的一个部门,不仅逻
辑丧失了对世界理解的任务,而且科学也成为了一
对象范畴)的纯粹形式。” 然而,是论何以与形式
数学统一?胡塞尔指出,虽然在传统数学对数的研
究中判断没有作为基本概念出现,但我们若深度地
分析数学对象,如集合论和基数论所显示的那样都
是“相关于空领域的一般对象或一般某物”的导出形
[8]2-4
种面向实践的理论性技术 。换言之,胡塞尔的
理想是,基于是论对命题学的奠基与现象学研究的
严格性(与精确性相对),重新唤醒逻辑学作为显示
世界本质的科学论理想。
[8]67-68
态 。克罗森说:“例如只要数的概念不消除它
对量的指称,数学对象的真正身份就仍未被把握。
[
14]262
史密斯(BarrySmith)认为,研究事物本质的整
体与部分理论,随着18世纪代数与集合论的发展而
衰落,数学家与逻辑学家们流行用代数与集合论的
方法处理传统是论和逻辑学问题,并形成了对集合
论语言的实用主义理解,这种实用主义理解导致了
集合论不再被认为是研究其自身结构的理论,而被
当作各种数学(例如代数、微积分、拓扑学等)建立和
发展所需要的军火库,这导致了集合论语言对某一
单独的数学理论而言显得过强且臃肿,它的对象宇
数学领域内的一般之物就还未被发现。”
对于
这点,胡塞尔似乎与弗雷格和康托一样,都持有一种
将数学对象还原为形式逻辑的观点。显见,胡塞尔
的纯粹逻辑学理想中包含着莱布尼茨普遍数学的理
想。
综上所述,一方面,根据纯粹逻辑学内是论对命
题学的优先性,纯粹逻辑学由此被胡塞尔刻上了鲍
尔扎诺科学论的标志,纯粹逻辑学不是一种工具论
的逻辑学,而是一门先天事物逻辑;另一方面,我们
知道现代科学的任何成果如果不以数学的方式表
达,那么就无法被接受为科学真理,而胡塞尔将形式
数学基础概念向作为先天事物逻辑的纯粹逻辑学的
回溯,也给纯粹逻辑学刻上了莱布尼茨普遍数学的
标志,以至于事物逻辑的力量通过形式数学的真理
达到了科学之中,规训着科学的实用主义危机。
[15]24-25
宙也因此缘于实用目的而极度膨胀 。然而,
是论并不意味着对数学的拒斥,相反胡塞尔只是强
调是论不能被当作发展数学的工具,而是需要限制
和说明数学向更高层次的发展。胡塞尔说:“我们几
乎可以把全部数学看作一种是论(先天事物理论),
不过是看作一门形式化是论,它相关于一般之物(即
注释:
①
ontology,ousia和ousiology的中译,本文采取余纪元教授的“是论,本是,本是论”翻译理由,具体参见余纪元教授《亚里士多
德<形而上学>中being的结构》一书《序言》与《附录》。另外,我们认为,传统ontology(直到布伦塔诺学派)是通过分析语言
来展示逻辑结构与世界结构,它的成果是逻辑学和物理学的基础,换言之,传统语境下ontology应该理解为对“是自身”的
复杂结构的研究。但是我们都知道,胡塞尔和海德格尔的现象学研究将我们带进了传统是论的深层基础/Ab-grund之中,
在其中现象学家展示了实际生活体验中的是论的发生构成,即现象学的工作揭示了作为范畴的being的体系的发生构成维
度,故而我们认为现象学之后,是论的研究不同于传统了。
②
③
分别是:第四卷第2章1003b6,第六卷第2章1026a33,第七卷第1章1028a10,第九卷第10章1051a34,第五卷第7章
1
017a17。Ref.Brentano,1975:ChapterI.
⑤在胡塞尔的形式化是论中,关系/relation属于对象范畴,与之相对的是作为意义范畴的联结/connective,前者即是论的原
始范畴之一。而整体与部分的关系被胡塞尔称为奠基/foundation,它虽然属于是论,但不是原始的对象范畴,而是这些基本
的对象范畴的框架。当代的形而上学家主要的工作就是从整体与部分的逻辑角度分析是论基本范畴的结构及其原理。
根据倪梁康教授的《通释》,现象学起源/phänomenologischerUrsprung不同于本原/Original,后者主要是对意向行为/Noe-
④
sis的特征的刻画,而前者则(区别于发生现象学方面涉及到时间性与联想的被动构成问题)指关于“有效性起源”或“超时间
的有效性奠基”。具体可见HuaXIII附录XLVa。
参考文献:
[
1]Aristotle.TheCompleteWorksofAristotle[M].JonathanBarnesed.Princeton:PrincetonUniversityPress,1984.
2]Cohen,S.Marc.Aristotle’sMetaphysics[J/OL].TheStanfordEncyclopediaofPhilosophy.[2015-06-08].http://plato.
stanford.edu/archives/sum2014/entries/aristotle-metaphysics.
3]Brentano,Franz.OntheSeveralSensesofBeinginAristotle[M].RolfGeorgeed.andtrans.Oakland:UniversityofCali-
[
[
19
四川师范大学学报(社会科学版)
forniaPress,1975.
4]WilliamKnealeandMarthaKneale.TheDevelopmentofLogic[M].Oxford:OxfordUniversityPress,1962.
5]溥林.《范畴篇》笺释:以晚期希腊评注为线索[M].上海:华东师范大学出版社,2014.
6]苏珊·哈克.逻辑哲学[M].罗毅译.北京:商务印书馆,2003.
7]胡塞尔.逻辑研究[M].倪梁康译.北京:商务印书馆,2015.
8]胡塞尔.形式的与先验的逻辑[M].李幼蒸译.北京:中国人民大学出版社,2012.
9]ACKRILLJL.CategoriesandDeInterpretatione[M].OxfordUniversityPress,1963.
10]海德格尔.存在与时间[M].陈嘉映,王庆杰译.北京:商务印书馆,2015.
11]Thomasson,Amie.Categories[J/OL].TheStanfordEncyclopediaofPhilosophy.[2015-06-08].http://plato.stanford.
edu/archives/fall2013/entries/categories.
12]胡塞尔.纯粹现象学通论[M].李幼蒸译.北京:中国人民大学出版社,2014.
13]Smith,DavidWoodruff.Husserl[M].2ndRevisededition.NewYork:Routledge,2013.
[
[
[
[
[
[
[
[
[
[
[14]Crosson,FrederickJames.FormallogicandformalontologyinHusserl’sphenomenology[J].NotreDameJournalof
FormalLogic,1962,3(4):259-269.
[15]Smith,BarryandKevinMulligan.PiecesofTheory[C]//Partsand Moments:StudyinLogicandFormalOntology.
BarrySmithed.München:PhilosophiaVerlagGmbh,1982.
Beings,WorldandLogic:
OntologyfromAristotletoBrentanoandHusserl
MAOJia-ji
SchoolofPhilosophy,FudanUniversity,Shanghai200433,China)
(
Abstract:FromtheViennaschool,logichasbeenusedasatoolforreasoning.Itisevenre-
gardedasthetoolfortheeliminationofMetaphysics.ButatthebeginningofAristotle’sLogic,
LogicandMetaphysicsareinseparable.Therehavealwaysbeenstudiesoftherelationshipbe-
tweenworldandlogicinthehistoryofmetaphysicssinceAristotle.InnineteenthCentury,with
thedevelopmentofmathematicallogicandthereflectionofHegel’sphilosophy,neo-Aristoteli-
anismrevivedAristotelianideasonmetaphysicsandlogicrelationship,whiletheriseofBrentano
Schoolisitsresult.Furthermore,asthesuccessorofBrentano,Husserlrespondedtotheques-
tionsbyestablishingthePhenomenologyoftherelationshipbetweenworldandlogic,andthere-
lationshipbetweenOntologyandLogic.Asaresult,itisofgreatsignificanceforthereflectionof
anti-MetaphysicsinmodernPhilosophyandInstrumentalisminmodernLogictoreconstructthe
historyofthoughtandtodescribeandanalyzetherelationshipbetweenbeingandlogic.
Keywords:metaphysics;ontology;theoryofcategories;purelogic
[责任编辑:帅巍]
20
（已满）