一、历史线索。金先生的逻辑观可以简单地分为两个阶段：第一个阶段是1950年以前，为成熟的阶段，标志是《逻辑》一书；第二个阶段为1950年以后，为变化的阶段。第一个阶段的标志是谈逻辑而不谈形式逻辑，第二个阶段的标志是谈论逻辑一定要谈论形式逻辑，结果是《形式逻辑》一书。
二、论“必然”。1950年以前，除了介绍逻辑系统和探讨与逻辑系统相关的问题外，金先生论述逻辑的地方非常多，而且讨论的角度也不同。比如，他探讨过逻辑与逻辑学的区别，区分过逻辑与逻辑系统的不同，论述过逻辑的不同种类，也讨论过逻辑与哲学、生活以及关于世界的认识的关系等等。在这众多讨论中，由于涉及逻辑与其他东西的区别，因而“逻辑是什么”就是一个无法回避的问题。在关于逻辑的讨论中，“必然”出现得最多的词，也是一个核心概念。金先生围绕它论述了逻辑是从前提到结论的具有特殊性质的推理。
三、逻辑系统的“必然”。金先生围绕罗素的逻辑系统探讨了什么是必然，论述了一个逻辑系统中的命题是必然的，一个逻辑系统具有必然的性质，所有逻辑系统具有一种共同的性质，这就是必然。这些必然是不同层次上的，是有区别的。逻辑的性质实际上是由这些系统以及构成这些系统的命题体现出来的。因此逻辑的性质是惟一的，而逻辑系统（的形式）不是惟一的，构成逻辑系统的命题（的形式）也不是惟一的。
四、变化的“逻辑”与“必然”。1950年以后，金先生始终谈形式逻辑，谈论形式逻辑有一个目的，即与辩证逻辑相区别；最终也造成另一个结果，即区别出形式逻辑和数理逻辑，即传统逻辑与现代逻辑。但是金先生几乎没有从理论上探讨过辩证逻辑。在关于形式逻辑的探讨的过程中，金先生围绕着“必然”这一概念批判了自己过去排斥归纳的观点。通过抛弃“必然”，重新定义形式逻辑，又把归纳容纳进来。
五、我的几点看法。在金先生的学术生涯中，他表现出两种逻辑观。在1950年以前，他讲逻辑，谈论必然，排斥归纳，丝毫不谈辩证逻辑。而在1950年以后，一方面，他讲形式逻辑，涵盖归纳，明确与数理逻辑的区别；另一方面，他讲形式逻辑，注意与辩证逻辑的区别，回避或谨慎地谈论辩证逻辑。这两种逻辑观的差异显然是很大的。
23.王啟義（香港中文大学哲学系）：From Formal Semantics to Two-Dimensional Modal Semantics
Two-dimensional modal semantics (two-dimensionalism) has been one of the most philosophically interesting recent developments in philosophical logic and has of late attracted significant and increasing attention.Two-dimensional semantics originated in work on two-dimensional modal logic for tense and modality in the 1970s by Frank Vlach, Lennart Aqvist, Krister Segerberg, J.A.W.Kamp, and Bas van Fraassen, and also formal work on context dependence by Richard Montague, David Lewis, and David Kaplan.Over the past two decades or so, it has developed into a framework for studying such notions as content, meaning, intentionality, and conceivability, owing to the effort of, particularly, Martin Davies and L.Humberstone, Robert Stalnaker, Frank Jackson, and David Chalmers.
This paper aims to offer a concise presentation of two-dimensionalism and comment on two issues concerning its interpretation.The presentation begins with a simple, model-theoretic semantic framework for extensional, context-free languages.Extensions of the framework will then be given that can handle indexical and context sensitive expressions.The last section discusses two issues.The first is the problem about the individuation of utterance tokens.The second concerns the interpretation of ‘a world considered as actual’, a central notion in two-dimensional modal semantics.It will be pointed out that some thoughts about how the notion of the actual world can be obtained in formal semantics lend support to the contextual reading of ‘a world considered as actual’.
26.韦世林（云南师大文学与新闻传播学院）：通俗科普读本的典范：试析金岳霖等著《形式逻辑简明读本》的“三简”
金岳霖先生离开我们二十余年了。但先生对逻辑学科的独有开拓和对中国逻辑事业的特殊贡献是永不磨灭的。先生对中国逻辑事业的特殊贡献之一，是努力在中国大地推广和普及逻辑学，以求提高中华民族的逻辑思维水平。金岳霖等著的《形式逻辑简明读本》（以下简称《简本》），就以实绩体现了先生推广和普及逻辑学的学术精神。《简本》虽然出版于上世纪70年代末，但除了个别离子显现出历史局限之外，其真理性仍然经得起实践的检验和逻辑学科的认同，因为《简本》既保证了通俗易懂，又保证了科学系统；既照顾到设定为中等文化程度的广大读者的认知水平，又绝没有放弃对逻辑学科的严密阐析，堪称科普读本的典范。《简本》在上世纪曾经让千万人了解到逻辑学，并或多或少帮助了几代人的思维，现在纪念金岳霖先生110周年诞辰，最好的方式之一，就是继承金岳霖先生推广和普及逻辑学以提高中华民族思维水平的事业，那就需要更多的逻辑学工作者写出成千上万的优秀科普文本，因此，总结和发掘逻辑学科优秀科普读本的精华所在，就应该是逻辑学工作者的天职之一。本文试从著述的编排及表述、择取及强调、过程及效果等方面，阐析《简本》的“三简”：简洁、简要、简明。本文的论述包括三个部分：简洁的编排与表述，以少胜多；简要的择取及强调，以简驭繁；简明的过程与效果，以明驱暗。