概念语义与弗雷格迷题消解.pdfVIP

逻辑学研究 2010 年第4 期，44–62 文章编号：1674-3202(2010)-04-0044-19 概念语义与弗雷格迷题消解*† 周北海 北京大学哲学系 zhoubh@ 摘 要：弗雷格因同一替换律讨论而提出了涵义与指称的理论，这个理论后来引出了 弗雷格迷题。弗雷格迷题的形成有多方原因，直接指称论对弗雷格理论批评是主要原 因之一，以至于可以说，这是产生于直接指称论哲学立场的迷题。尽管如此，弗雷格 理论确有不足。最重要的是，弗雷格理论只有关于涵义与指称的理论，即只有语言层 面的理论，而缺少认知层面的理论。这个不足使得在弗雷格理论基础上解决同一替换 律问题难有令人满意的结果，让“迷题”多添了几分“迷”的色彩。这里将给出一个 新的方案：在弗雷格理论的基础上，增加有关概念的理论，以概念和内涵、涵义等这 些概念的形式刻画为中心，建立可以消解弗雷格迷题的形式语义学，即概念语义。通 过概念语义可以在不同层次上对弗雷格迷题的消解给出统一回答。 关键词：弗雷格迷题；涵义；内涵；概念；涵义语义；概念语义 中图分类号：B81 文献标识码：A 一、弗雷格迷题及有关背景 1879 年弗雷格发表了《概念文字》，其中给出了一个一阶逻辑的公理系统， 标志着现代逻辑的诞生。为给出该系统，弗雷格讨论了等式及相关问题。这些 讨论和观点在形式方面的凝结有两点：(1) 给出表达式⊢ ，表示的是“ 这 个符号和 这个符号有相同的概念内容，因此到处都可以用 替换 并且反之 亦然”（[1], 第20-22 页）。这也是弗雷格对同一替换律最初的表述。(2) 给出了关 于等词的两条公理： ， 。1891 年弗雷格在论文“函 数与概念”中对原来的观点做了一些修改：将“概念内容”细化为涵义（sense） 和指称（reference）；两个符号不同的专名因概念内容相同可以相互替换也比较 明确地改为因指称相同而可以相互替换（[1]，第64-66 页），这就是外延的同 一替换律。1892 年弗雷格发表了后来影响深远的著名论文“论涵义与指称”， 收稿日期：2010-10-10 *基金项目：国家社会科学基金项目07BZX047。 †致 谢：本文写作中与王文方、文学锋和叶峰等一些同行进行过讨论，他们的评论和意见使本文有很多改 进，特此致谢。 周北海 概念语义与弗雷格迷题消解 45 专门讨论相关问题，比较完整地提出了涵义与指称的理论。这个理论有以下要 1 点：（1.1）专名（包括摹状词）通常有涵义和指称 ，涵义决定指称；（1.2）不同 的专名可以指称相同而涵义不同；（1.3） 是先验的或分析的，不提供新知 识， 提供新知识，具有认知方面的意义。弗雷格用晨星和昏星的例子解释 相关问题：“晨星”和“昏星”有自己的涵义和指称，它们的涵义不同，但指称 相同；“晨星等于晨星”不提供新知识，“晨星等于昏星”提供了新知识，有认知 价值。至此可以认为，在关于等式或等词问题上，弗雷格不仅在形式方面给出了 一阶逻辑关于等词的逻辑意义的刻画，而且也合直观地解释了一些问题，给出 2 了相应的哲学基础。所剩的只有“两小片乌云” ：（1）什么是涵义还不够清楚， 没有清楚到在形式刻画方面有确切的体现，而且除了在依赖直观的论证中存在， 涵义不像个体、真值那样在语义学中不可缺少；（2）外延同一替换律的成立是有 条件的，同指称的个体词并不是“到处”都可以相互替换，比如在某些认知或内 涵语境下就不可替换。晨星和昏星就是常用的例子：我们都知道晨星是晨星，但 是并不一定都知道晨星就是昏星。这就是外延同一替换律应该失效的问题，以下 也简称同一替换律问题。不过至此为止，弗雷格的理论至多是还有些不足，他所 3 面临和试图解决的问题中还没显现有