编辑: 鱼饵虫 | 2013-06-21 |
2 5 . 涅尔夫妇认为, 范畴理论不是逻辑学的理论, 并且对 逻辑学的影响 不全是好的 .涅尔夫妇区分地看待 《 范畴篇》 和《 工具论》 中的其它部分是符合历史的. 因为在中 世纪早期, 拉丁世界仅知道由波埃修斯(Boethius)翻译的《 范畴篇》 和《 解释篇》 以及波菲利 ( P o r p h y r y) 的《导论》 , 它们一起构成的 旧逻辑(logicav e t u s ) 成为了早期中世纪学校的标准逻辑 教程, 并且和1 2世纪初陆续被发现的作为 新逻辑 ( l o g i c an o v a ) 的《工具论》 其它部分区别开来[ 5]
7 0 . 但另一方面, 这个问题不仅涉及亚里士多德逻辑书 的历史编纂, 而且涉及世界的或事物的结构与逻辑 结构的关系问题. 因此, 我们认为范畴理论在逻辑著作里存在也 并不是一种是论或哲学同逻辑学对立地处于同一研 究著作中的怪相, 毋宁说这体现了逻辑学科自我理 解的变化以及逻辑学家和哲学家对逻辑与哲学( 是论) 关系的一种理解.诚然, 新逻辑作为一种研究论 证的科学, 更符合现代符号逻辑的标准, 但是论中涉 及的词项或表达的原始形式的分类和定义的研究也 的确和论证形式的有效性问题以及逻辑算子的理解 等典 型逻辑问题很有关系. 例如, 哈克(SusanHaack)指出了一些研究, 如: 对经典逻辑的语法不 做修改的前提下改变其语义解释来应付问题;
扩展 经典逻辑, 加入新算子, 但对经典逻辑的公理与规则 不做改革, 就像模态逻辑和时态逻辑;
保留经典逻辑 的词汇, 限制其公理与规则, 就像量子逻辑和相干逻 辑;
以及对经典逻辑的元概念进行挑战, 就像直觉主 义逻辑对逻辑真的概念的重构[ 6]
1 8
9 -
1 9
2 .这些研究, 都会导致 扩展逻辑 或 异常逻辑 , 这些变异都是 逻辑学的发展, 并且这些变异大多都缘于形而上学 的思考.具体而言, 例如基于不同是论对量词的不 同理解就会导致对高阶逻辑的不同选择, 以及基于
2 1 四川师范大学学报( 社会科学版) 是论而采用一些新逻辑算子就会产生对新的对象及 其行为进行刻画的新的逻辑系统, 例如认知逻辑与 时态逻辑, 此外科恩也以矛盾律为例指出第一哲学 必须提供对适用于所有推理的一般原理的说明[ 2] . 因此, 我们认为包含在《 工具论》 中的范畴理论 与其它部分的分歧属于逻辑内部的分歧, 而不是一 本书中两门学问间的对立, 并且逻辑内部的问题并 不排斥是论思想.换言之, 逻辑学内部有一部分是 与是论交叉的.或许可以说, 是论乃哲学中最接近 逻辑的哲学部门, 而逻辑也是诸科学部门中最接近 哲学的科学部门.基于逻辑与是论的交叉部分, 逻 辑学的工作可以被划分为几个部分.我们这里接受 胡塞尔的划分, 胡塞尔指出作为一门先天科学的纯 粹逻辑学的研究任务可以被划为三个阶层.第一阶 层就是确定原始的对象范畴( 如对象、 事态、 关系等) 和含义范畴( 如合取、 析取、 主词、 谓词等) 、 确定由原 始范畴导出的基本联结形式的复合的规律( 例如整 体与部分的奠基关系③ ) ;
胡塞尔认为逻辑的第一阶 研究看似带有术语解释的外观, 但这种对逻辑基础 的 现象学起源 ④ 的考察是整个逻辑学科中最重要 的.此外, 纯粹逻辑的第二阶研究和第三阶研究, 即 确定基于原始范畴的涉及真与假和存在与无的基础 规律, 以及建立作为公理演算系统的纯粹流形论(Mannigfaltigkeitslehre;