[5] "论存在什么"(1948),收于库恩的《从逻辑的观点看》一书(剑桥,麻省:哈佛大学出版社,1953。
[6] "两种独断论"(1950),收于同书。允许一些在经验上不可证实的说明--纯粹的数学说明--划归"认知上有意义"的类型,而同时禁止"形而上学",这种实证主义的方 法,依赖于鲜明的分析与综合之分。正是由于这一点,奎因对这种区别的批评,使得"科 学与形而上学"之分在哲学家那里成为可疑的对象。
[7] "范围与语言科学"(1957),收于奎因《悖论的方式》(剑桥,麻省:哈佛大学出版社, 1976)。"论自然化的认识论",收于奎因《本体相对论》(纽约:哥伦比亚大学出版社, 1969)。
[8] 这种二分法大约在1939年之后出现于卡尔纳普的著作。可以假定,"可观察的项目"(例 如"蓝色"、"色调")仅仅指涉可观察的成分。同时,体现为观察报告的说明与体现为理论假设的说明之间的区别,可以描述如下:前者只包含可观察的项目,而后者至少必须包含一条理论项目。在于普特南:"理论所不能"(1960),收于普特南:《数学、物质与方法》(剑桥:剑桥大学出版社,1975)。已经指明,这两种假设都是站不住脚的。
[9] 参见米歇尔·弗里德曼:"逻辑实证主义再评价"《哲学学报》(1991年10月):505-519。
[10] 参见雷希:"库恩屠杀了逻辑经验主义吗?"《科学哲学》第58期(1991):264-277。这条注释应感谢杰纳德·霍尔顿和裘第·卡特。
[11] 默顿·怀海特不是一个实证主义者。但除了牛津哲学和美国实用主义,它也认真处理过实证主义。
[12] 在这一意义上,长期以来,我并没有把维特根斯坦看作是"日常语言哲学家"。而且,我认为,奥斯汀实际上的重要意义完全超出了他对这一观点所表现出的忠诚。
[13] 怀海特在哈佛的变革过程中起到了一定作用。它不仅最年轻,而且是来这个系时间最近的人。(参见注释11)
[14] 尤其是,康奈尔大学几年来开设了一个维特根斯坦哲学系。
[15] 正如注释6所提到的,在对逻辑实证主义进行辩论的背景下,奎应对分析与综合之分的抨击,也削弱了有关"科学与形而上学"之分的整个观念。
[16] 诺姆·乔姆斯基:《句法结构》(默顿:格那文哈格,1957)。
[17] 递归函数是一组函数。根据丘奇和图灵在30年代提出的的论点("丘奇论"),这种函数,严格讲,包括计算机原则上所能够运算的函项。乔姆斯基的语言学理论,在其所有形式上,都保存了两条核心论点:1)自然语言的语法结构比传统语法("短语结构语法")所能允许的要复杂的多;2)对递归函项理论(以及一般的计算机程序)而言,这些更复杂的结构依然可以使用某种形式系统加以描述。这种形式系统,最初由图灵同时代的美国人埃米尔·泼斯特所设计。
[18] 保罗·齐夫:《语义分析》(伊萨卡:康奈尔大学出版社,1960)。今天,研究生们一般都认为,这一观点肇始于多纳德·达维森德"真理与意义",《综合》第17卷(3)(1967)。可悲的是,齐夫的书倒很少有人想起。
[19] "图灵机",是一些抽象的装置(至少在30年代,当图灵描绘这种机器的时候,它们还仅仅是作为数学的抽象物而存在的),构成了现代计算机理论的基础。
[20] "思维与机器",收于普特南的《思维、语言和现实》(剑桥:剑桥大学出版社,1975)。
[21] 普特南:"理论所不能"。这一影响,部分归因于对卡尔纳普观点的集中诘难。正如弗里德里克·苏普在《科学理论的结构》(厄尔巴纳:伊利诺斯大学出版社,1974)一书的序言中所描述的,存在着两种诘难:"首先,存在着针对有关公认的观点的特征施加的诘难......旨在揭示其属于不可弥补的缺陷(这也是他对我的非难所作的分类)。其次,存在着两可性的科学哲学(由汉森、库恩以及图尔明所提出),这种哲学干脆拒绝公认的观点,进而坚持采取其他的科学和科学知识观。"出处同上,第4页。
