弗雷格论条件与普遍性.pdfVIP

第 13卷 第6期 湖南科技大学学报 (社会科学版) VOI．13No．6 2010年 11月 JournalofHunanUniversityofScienceTechnology(SocialScienceEdition) Nov．2010 ■ 逻辑今探 弗雷格论条件与普遍性 余俊伟 (中国人民大学 哲学院，北京 100872) 摘 要：弗雷格在创建现代逻辑之时就已分析了蕴涵怪论。他强调 “对于思想只应该考虑它是真的还是假的，而实际 上根本不应该考虑思想内容本身”，否则，要么将问题复杂化而无实际益处；要么前后件不是真正的句子。后一情形乃是使 概念或关系联系起来，融合了普遍性与实质蕴涵。这也正是充分条件的表达方式。相干逻辑欲借助前后件共享命题变元 来体现二者在内容及意义上的联系。一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点。 关键词：条件性；普遍性；因果联系；充分条件 中图分类号：B81 文献标识码：A 文章编号 ：1672—7835(2010)06—0046—04 实际蕴涵是逻辑学中的一个基本概念，一直以来人们 这个词内含的因果联系，尽管这样一种判断只有基于这样 对之争议颇多，其实弗雷格早 已做过深刻的考察，研读弗 的联系才能做出。因为这种联系是普遍的东西，但是这种 雷格的著作后我们会发现，原来的争议或可得到化解；而 东西在这里尚未表达出来 (见 §12)。”U]ll 对事物之间的因果联系表述、对非经典逻辑也能有全新的 弗雷格强调了B—A并不要求 B与A有因果联系，也 认识 。 没有表达这种因果联系；“如果……那么”内含了这种因果 弗雷格在 《概念文字》的 §5～6论述了条件性。其符 联系，由这种联系得到所举之例。 号的含义完全等同于我们今天所用的实质蕴涵一。B—A 不过弗雷格后期的说法略有些不 同。 “如果 A‘’和 意谓如下判断：不出现肯定 B并且否定A这种情况 ，而出 B‘’又是原初的句子 ，那么我们从 并‘非((并非 A)并且 现其他三种情况之一② l【】1。。弗雷格强调以下三点。(1) B))’就得到一个假言结构的表达式，其结果是 A‘’的涵义 在肯定B—A的情况中，必须肯定 A时，“B的内容完全无 (思想内容)并且其条件是 B‘’的涵义。为此我们也可以写 关紧要”。并特别举例 “I—A意谓：3x7=21，B意谓太阳 为：如‘果 B，那么A’。”… 弗雷格在此认为可以使用 “如 在照耀这样一种情况”加以说明，同时指出B与 A“这两种 果……那么”来联结两个没有内在因果关联的句子。这种 内容之问不必存在因果联系。”(2)必须否定B时，“A的内 用法与通常 “如果……那么”的用法不同，同他在 《概念文 容无关紧要”，同样 “A和B之间的因果联系不必存在”。 字》的论述 (内含因果联系)稍有区别。弗雷格的解释是， (3)人们可以做出B—A这个判断，“同时不知道应该肯定 “对此必须不断强调，必须允许科学有其独特的语言用法， 还是否定B和A。”弗雷格以下例说明这种条件性，同时也 科学不能总是屈从于生活语言。恰恰在这里我看到哲学 指出它与普遍性的差异。 的最大困难，它为 自己的工作找到的是一种不太适宜的工 “B意谓月亮位于方照这种情况，A意谓月亮呈现半圆 具，这就是生活语言，而这种语言的形成，是由与哲学的需 形这种情况。在这种情况下，可以借助 如‘果……那么’这 要完全不同的需要共同决定的。因此，逻辑也只得先从 自 个联结词将B—A翻译为：如‘果月亮位于方照，那么月亮 己所遇到的东西里面找到适用的工具。”[illS9弗雷格在后 呈现半圆形’。然而，我们的符号不表达 如‘果……那么’ 期两篇论文中以两个较为极端的例子