[敬请读者注意] 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！

状况理论及状况语义学的创始者 - 巴怀斯 

程京德

    巴怀斯(Kenneth Jon Barwise, June 29, 1942 – March 5, 2000) 是美国逻辑学家、数学家、哲学家，是“状况理论(Situation theory)和状况语义学(Situation semantics)”的创始者[1-5]。巴怀斯是著名的斯坦福大学语言与信息研究中心(CSLI, Center for the Study of Language and Information)的创始人之一并且在1983-1985年担任创始首任主任。巴怀斯也是斯坦福大学人文科学学院符号系统项目(Symbolic Systems Program)的创始人之一并且担任创始首任主任。巴怀斯被邀请做2000年哥德尔讲演(Gödel Lecture)，但是他在讲演前因病逝世，享年仅不到58岁 [哥德尔讲演是由符号逻辑协会从1990年开始颁发的在数理逻辑领域的一项荣誉，每年在符号逻辑协会年度大会上举行]。

    美国哲学协会(The American Philosophical Association)为了纪念巴怀斯于2002年设立了巴怀斯奖(K. Jon Barwise Prize)，“以表彰在哲学和计算相关领域做出重大和持续贡献，在这一领域付出毕生努力的APA会员。 (The K. Jon Barwise Prize is for significant and sustained contributions to areas relevant to philosophy and computing by an APA member. The prize serves to credit those within our profession for their life long efforts in this field.)”[6] 

    斯坦福大学人文科学学院(School of Humanities and Sciences)的符号系统项目(Symbolic Systems Program)为了纪念巴怀斯于2001年设立了巴怀斯杰出贡献奖(K. Jon Barwise Award for Distinguished Contributions to the Symbolic Systems Program)，“The K. Jon Barwise Award for Distinguished Contributions to the Symbolic Systems Program was inaugurated in 2001, in honor of the late Kenneth Jon Barwise, Professor in the Department of Philosophy, who served as the first faculty director of Symbolic Systems and a member of the program's founding committee.”[7] 

[照片来自巴怀斯纪念文章]

    巴怀斯于1963年毕业于耶鲁大学并获得哲学数学学士学位；他在美国逻辑学家、数学家、哲学家费弗曼(Solomon Feferman, 1928-2016)的指导下和逻辑学家、数学家、哲学家斯科特(Dana Stewart Scott, 1932-, 1976年图灵奖获奖者)的协助下于1967年在斯坦福大学获得数学博士学位，工作领域为无限逻辑(infinitary logic)，博士论文题目为“Infinitary logic and admissible sets”[因为费弗曼是塔斯基(Alfred Tarski, 1901-1983)的直传学生，所以巴怀斯是塔斯基的直系弟子][8,9]。巴怀斯去世后，其导师费弗曼曾专门在符号逻辑通讯(The Bulletin of Symbolic Logic)上撰文纪念他[8]。

    巴怀斯曾经于1968-1970年在耶鲁大学担任数学助理教授，1970年他成为威斯康星大学的数学副教授，1979年他曾回到斯坦福大学，1981年又回到威斯康星大学，不过很快就回到斯坦福大学创建语言与信息研究中心CSLI，1983年他在斯坦福大学担任哲学教授，1990年他转到印第安纳大学任教，担任过哲学、数学、计算机科学、认知科学和语言学五个系的教授。1992年，他被宾夕法尼亚大学授予荣誉博士学位。1999年，他当选为美国艺术与科学院院士[8,9]。

    巴怀斯和哲学家佩里(John Richard Perry, 1943- )于1980年合作发表了论文“The Situation Underground”[1]，这是关于“状况理论和状况语义学”的第一篇论文；“状况语义学(Situation semantics)”一词首次被巴怀斯用在其1981年论文“Scenes and Other Situations”[2]中；巴怀斯和佩里合作的论文“Situations and Attitudes”[3]发表于1981年，同名的学术专著出版于1983年[4]；巴怀斯深入详细讨论这个主题的学术专著出版于1989年[5]；他们的工作开创了“状况理论和状况语义学”这个领域[10-15]。另外，数学家德夫林(Keith James Devlin, 1947- )对状况理论和状况语义学的发展也做出了重要贡献[10]。

    简而言之，“从20世纪80年代中期开始，状况语义学就是基于状况理论对自然语言语义问题的分析(From the mid 1980s onward, therefore, situation semantics was an analysis of semantic issues of natural language based on situation theory)。”[12]。

    那么，何谓“状况”？巴怀斯和佩里认为，“世界不仅由对象、属性和关系组成，还由具有属性并相互关联的对象组成。世界有某些部分，在常识和人类语言中被清晰地识别（尽管没有精确地个体化）。世界的这些部分被称为状况。事件和情节是时间的状况，场景是视觉感知的状况，变化是状况的序列，事实是被语言丰富（或污染）的状况。(The world consists not just of objects, or of objects, properties and relations, but of objects having properties and standing in relations to one another. And there are parts of the world, clearly recognized (although not precisely individuated) in common sense and human language. These parts of the world are called situations. Events and episodes are situations in time, scenes are visually perceived situations, changes are sequences of situations, and facts are situations enriched (or polluted) by language.)”[1]

    笔者认为，“状况语义学”最本质的核心思想就是，一个自然语言句子的语义，不是绝对的而是相对于话者说出该句话时所处“状况”而不同的。故而，语义与特定“状况”及其所包含的局部性/部分性信息有关，与特定“状况”的动态有关，与特定“状况”的上下文脉有关。于是，既然语义依赖于“状况”，那么当然需要把“状况”（以及“状况”之间的关系）先定义清楚，而基于逻辑学和数学来定义清楚“状况”是什么的理论，就是“状况理论”。显然，对现实世界中“状况”（以及“状况”之间的关系）的认知和理解，使用怎样的逻辑学及数学作为工具来构建“状况理论”，就直接影响到“状况理论”的内容。另一方面，要把“状况”说清楚，就不仅仅是语言问题，还与话者看到了什么亲身体感到了什么直接相关，从此角度来说，“状况理论”又可以说是“关于信息感知、获取、变化、表达的理论”。

    如上所述，“状况”与另外一个更为基本的概念“信息”相关，而从哲学意义上来说，“信息”究竟是什么也还是一个没有完全定义清楚的概念[16]。但是，“信息”绝非“数据”（在计算机科学与技术领域，“信息”和“数据”在概念上的本质差异似乎经常被忽视）[17]。

    巴怀斯和 Gabbay 及 Hartonas 于1995年合作发表了论文“On the Logic of Information Flow”[18]；巴怀斯和 Seligman 于1997年出版了他们合作数年的成果学术专著“Information Flow: the Logic of Distributed Systems”[19]。巴怀斯自述道：“Barwise's  attempts at trying to understand information flow date back at least to his book written with John Perry, Situations and Attitudes, which appeared in 1983”[19]。巴怀斯及其合作者们阐述了信息在人类社会中的定义和位置，试图为信息科学提供逻辑学上哲学上合理、数学上严谨的基础，构建比“状况理论”更为抽象的更为基本的基础理论。

    巴怀斯对“状况语义学”的一个应用尝试是基于“状况语义学”来解释和解决著名的语义悖论 - 说谎者悖论[20]。

    巴怀斯在逻辑学领域的其它重要贡献还有：

    巴怀斯于1977年主持编辑出版了第一部数理逻辑手册(Handbook of Mathematical Logic)[21]，这部手册被称为“the mother of all handbooks in logic and related fields”[8]。

    巴怀斯和他在斯坦福的同事 Etchemendy 共同获得 Educom 哲学奖，以表彰他们研发了计算机程序用于更好地教授逻辑学课程，他们于1999年合作出版了一部划时代的带有教学用程序的逻辑学教科书[22]：“Language, Proof and Logic”，该教科书一直在世界范围内被广泛使用[8,9]。

    笔者将另文详细介绍状况理论及状况语义学（以及信息流理论）和说谎者悖论。

参考文献

[1] J. Barwise and J. Perry, “The Situation Underground,” in J. Barwise and I. Sag (Eds.), “Stanford Working Papers in Semantics,” Volume 1, Section D, pp. 1-55, Stanford Cognitive Science Group, 1980.  

[2] J. Barwise, “Scenes and Other Situations,” Journal of Philosophy, Vol. 78, No. 7, pp. 369-397, 1981.

[3] J. Barwise and J. Perry, “Situations and Attitudes,” Journal of Philosophy, Vol. 78, No. 11, pp. 668-691, 1981.

[4] J. Barwise and J. Perry, “Situations and Attitudes,” MIT Press,  1983.

[5] J. Barwise, “The Situation in Logic,” CSLI Lecture Notes, Volume 17, CSLI Publications, 1989. 

[6] The American Philosophical Association, “The K. Jon Barwise Prize,” The American Philosophical Association.

[7]  School of Humanities and Sciences of Stanford University, “Barwise Award for Distinguished Contributions to Symbolic Systems,” Stanford University.

[8] S. Feferman, “IN MEMORIAM: KENNETH JON BARWISE, 1942–2000,” The Bulletin of Symbolic Logic, Vol. 6, No. 4, pp. 505-508,  2000.

[9] Indiana University Bloomington, The College of Arts + Sciences, Department of Mathematics, “IN MEMORIAM: K. JON BARWISE,” Indiana University.  

[10] K. Devlin, “Logic and Information,” Cambridge University Press, 1991. 

[11] J. Perry, “Semantics, situation,” Routledge Encyclopedia of Philosophy, 1997.  

[12] K. Devlin, “Situation Theory and Situation Semantics,” in D. M. Gabbay and J. Woods (Eds.), “Handbook of the History of Logic,” Vol. 7, pp. 601-664, 2006. 

[13] 白井英俊, “状況意味論の立場から,” 情報処理, Vol. 27, No. 8, pp. 887-896, 日本情報処理学会, 1986.

[14] 向井国昭, “数学的側面からみた状況理論,” 京都大学数理解析研究所講究録, Vol. 709, pp. 1-14, 1989.  

[15] 鈴木浩之, “状況理論の基礎概念,” 人工知能学会誌, Vol. 7, No. 3, pp. 385-391, 日本人工知能学会, 1992.

[16] P. Adriaans and J. van Benthem (Eds.), “Handbook of the Philosophy of Science, Volume 8, Philosophy of Information,” Elsevier, 2008. 

[17] 程京德，“从“数据”与“信息”的概念之差看 AIGC 工具衍生数据对人类社会的影响”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2023年4月24日。

[18] J. Barwise, D. Gabbay, and C. Hartonas, “On the Logic of Information Flow,” Logic Journal of the IGPL, Vol. 3, Issue 1, pp. 7-49, 1995.

[19] J. Barwise and J. Seligman, “Information Flow: the Logic of Distributed Systems,” Cambridge University Press, 1997.

[20] J. Barwise and J.  Etchemendy, “The Liar: An Essay in Truth and Circularity,” Oxford University Press, 1987-1989.

[21] J. Barwise (Ed.), “Handbook of Mathematical Logic,” North-Holland, 1977. 

[22] J. Barwise and J.  Etchemendy, “Language, Proof and Logic,” CSLI Publications, 1999; D. Barker-Plummer, J. Barwise, and J.  Etchemendy, “Language, Proof and Logic, 2nd Edition,” CSLI Publications, 2000-2011.

微信公众号“数理逻辑与哲学逻辑”