浅谈信息与逻辑的哲学反思信息世界的发现是人类发展到目前阶段最令人振奋和影响深入的事件，无论对于日常生活亦或是学术研究，信息已经作为一个主要的、基本的材料或因素在发挥着基础性的作用。
与证明、真值、后承、算法等逻辑学传统研究对象比起来，逻辑把信息概念纳入视野作为研究对象还是新近的事情。
本世纪初，大量技术和哲学的研究汇集形成了逻辑与信息哲学这个新兴的领域。
随着信息世界的发现，哲学和逻辑的主题、研究内容和方向已经发生了信息转向，围绕信息展开学术研究激发和促进了思想的大发展和对世界的新理解。
一、信息为逻辑提供洞见和新的理解信息哲学近来得到很大发展，其元概念是信息。
信息哲学在探索交流是如何可能的问题时，发现了信息概念的哲学价值。
有哲学家把交流比作打网球，信息就是交流的网球。
我们发现，交流主体必然涉及不止一方，交流应该是至少两个以上主体间的交流，说明交流带有社会性;交流过程必然涉及不止一个单向的过程，交流应该是至少一个以上双向的对话过程，说明交流带有动态性;这种动态性必然涉及主体信息状态的不断更新过程或主体信念系统的修正过程，必然带有主体心理的因素参与其中，因此交流又应该具有心理性。
我们可以说，信息哲学带给现代逻辑的洞见至少有主体间性的洞见、动态修正性的洞见、主体心理性的洞见和逻辑真理的洞见。
(一)主体间性的洞见。
我们知道，信息世界发现后，交流成为哲学的基本问题。
交流应该是至少两方的主体间的交流，信息在两个以上主体间流动，最终达到通过交流认识世界的目的。
信息概念本质上涉及多个主体，生活世界中的信息是具有社会性的，信息成为逻辑的研究对象，必然为逻辑研究提供社会性洞见，从而为逻辑学发展开拓道路。
一个很好的例子是现代认知科学，认知科学主要研究主体的认知机制与过程，认知科学有一个很重要的概念是主体间性，认知科学发展也是有其逻辑支撑的，其中一种是认知逻辑，认知逻辑在表达信息的抽象形式，刻画信息流的动态过程中，就把认知科学的主体间性很好地刻画出来了，从而极大促进了认知科学的认识和深化。
信息的社会性洞见还为逻辑学的信息转向提供了具体的研究对象。
我们认为，包括经典逻辑在内的传统逻辑处理的主要是单主体的逻辑，主要是刻画系统内的推理过程，比较多个主体的信息流动的处理，有很大局限性。
多主体信息流的刻画成为逻辑学的挑战性课题，多主体逻辑同时对于人类理解信息世界，关照日常生活提供全新的理解。
因此，刻画多主体逻辑的理论意义和实践意义都很重大。
逻辑学在把握社会性的过程中必将得到极大的发展。
(二)动态修正性的洞见。
信息为逻辑提供的第二个洞见是动态修正性的洞见，主要体现为将逻辑研究视野转变到对主体动态活动的关注上来。
范本特姆把信息引入逻辑学，提出了新的逻辑学动态研究纲领：在逻辑学研究中引入主体活动这个范畴，把主体的活动作为同逻辑命题那样加以同等对待。
〔1 〕(P503-519 )这样，逻辑学就呈现出由静态认知研究转向动态认知研究的新阶段。
我们看到，逻辑开始转向对信息更新、交流和主体间互动等新内容的探索和研究。
逻辑不再满足于以往的抽象推理有效性的研究，不再满足于那种逻辑形式的静态的演绎，不再满足于从真到真的完美过渡，而是关注于实际生活中的人或某个智能体等这样的主体实际是如何在动态的思维的，关注主体在有限信息环境中是如何根据信息流动来得到结论的整个行动过程的，关注于立足主体行为与主体意图、信念等的变化之间的动态关系，关注于主体的行为的认知基础和认知解释。
比如当代动态认知逻辑研究人的会话过程的主要思路是结合具体情景分析信息如何生成、研究认知中的推理过程、分析信息的更新状态、分析人的信念的修正，在这个思路中，涉及大量语言学、认知科学和逻辑学知识，最终结果是建立会话过程的信息结构模型，理清信息流动轨迹。
也就是说，逻辑学动态性的重要标志是把信息活动作为逻辑学研究的中心任务，逻辑的大量工作都集中在对主体诸如言语行为、交流、观察、学习和信念修正等动态机制的研究上。
这样的研究既对语言结构分析意义重大，也对主体的动态化过程认识、计算机信息处理以及人工智能研究都具有重要的意义。
(三)主体心理性的洞见。
信息为逻辑提供的第三个洞见是主体心理性的洞见。
我们知道，逻辑学尤其是近代经典逻辑学是拒斥心理主义的。
弗雷格曾经为了给数学找到坚实的逻辑基础断然声明：要把心理的东西与逻辑的东西分开。
的确，分析哲学拒斥了心理主义后的逻辑一扫千年停滞的状态，得到了革命性发展，最终形成了数理逻辑宏伟大厦。
然而，在宏伟中，数理逻辑走向了一种抽象的、符号的困境，远离生活世界，远离人，某种程度上成为少数专门家的技术展示。
数理逻辑的另外一面是忽视了主体的能动性和信息的欠缺性，隐含着诸如将人类思维引入歧途等这样的隐患。
范本特姆认为这是一种系统禁锢〔2 〕(P225-288 )，由于远离人的生活实践，符号化抽象化的数理逻辑形式系统作为形式科学的固有的逻辑观念的狭隘性所导致的空洞性，这对于逻辑学发展和对于人的发展来说是无益的。
然而怎样化解这种有用的空洞性呢?按照信息的洞见，逻辑应该重返生活世界，关照日常对话，关照日常交流。
这里要首先考察信息更新的机制，信息哲学定义信息是主体的信息，信息在交流过程中是完成更新，新的信息状态构成主体的新的信念以达到交流的目的，而形成新信念的过程是主体结合原有信念与新信息进行综合处理的过程，即新信念=旧信念+新信息。
从这个过程中，我们看到，逻辑在刻画和表达这样的信念更新过程中，是不能不考虑主体的心理因素的，所考察的这部分心理因素不同于弗雷格所拒斥的心理主义，而是合理的心理因素，通过引入对主体心理因素的合理考虑，逻辑就能够很完善地刻画人的信念修正过程了。
这样，通过承认人这样的主体在实际上是如何推理的，并且引入认知心理学的东西使得逻辑得以很好刻画主体推理模型，就会使逻辑学研究别开生面。
(四)对逻辑真理的洞见。
社会性洞见通过使逻辑改变单主体格局而转向多主体格局，为逻辑学拓展了研究领域。
动态性洞见通过使逻辑改变静态的观点而转向动态的修正的观点，为逻辑学启发了研究视野。
而心理性洞见通过使经典逻辑改变对心理主义的拒斥而转向接受合理的心理因素的介入，为逻辑学增加了新的研究方法与研究视角。
信息的引入对于逻辑学发展的洞见还应该有很多，有待继续探讨研究。
但是仅就这些洞见就已经足以引起逻辑学的信息转向了〔3 〕(P117-122 )。
那么，这里还有一个根本性的问题，那就是怎么看待逻辑学的核心基础逻辑真理。
信息对于逻辑真理的影响又是什么呢?如果能够清晰地用信息的观点重新定义逻辑真理，那么信息对于逻辑的作用与影响将是革命性的，这应该是信息对于逻辑的最大的洞见。
有逻辑学者对逻辑真理进行系统总结认为，经典逻辑中用到的逻辑真理类型有：前提(或命题)真、推理真、指派(赋值)真、形式真与系统真〔4 〕(P230-241 )。
这些逻辑真理的类型分别从知识信念角度、从前提到结论的保真角度、从符号经济学角度、从形式公式抽象性和形式系统一致性角度系统总结了经典逻辑逻辑真理的本质。
然而，经典逻辑真理概念基本特征是单主体性的、静态性的和抽象形式的，完全与其所服务的经典逻辑概念相一致。
而信息视角下，也就是逻辑学开始面向社会性、动态性和心理性时，逻辑真理概念也将不容置疑地发生信息转向，社会性的、动态性的和心理性的因素应该得到深入思考和探究。
逻辑真理必须认真面对日常生活，面对生活世界。
在信息对于逻辑真理概念的洞见里，逻辑学要依据主体掌握的信息为根据来规定真，即新的逻辑信息真的逻辑真理观，应该得到高度关注。
二、逻辑为信息提供形式分析工具在分析哲学家看来，日常语言是混乱的并且到处存在误用，哲学的任务归根到底就是清理语言的混乱与误用，清除一切形而上学，给科学奠定一个严谨稳固的基础。
信息世界的逻辑就是要通过理解日常语言与生活世界进而把握世界。
(一)信息世界需要逻辑分析。
传统哲学认为逻辑是对推理的系统研究，是通过阐明或开启隐含在给定前提中的信息得到新结论的一种方法。
这意思就是说，比如一个典型命题推理从 A B，A得到B 的结论B道出了更多满足这两个前提的情况的信息。
但生活世界的逻辑推理应该被看做是信息处理。
按照这种理解，一些信息处理就是逻辑推理。
逻辑是一种很好的形式化分析工具，第一逻辑可以很好地去表达信息处理的任务，去刻画信息处理的过程。
而这些被表达的信息处理和过程在传统上是不被看做是逻辑研究的范围的。
逻辑在这里的作用主要有两个，一个是对信息处理任务的描述和解释，另一个是为逻辑模型的输入输出装配提供适合的逻辑语言。
信息的逻辑研究揭示和探讨了信息概念的许多非常基础性的定性的方面，正在慢慢成为哲学反思社会的利器。
有学者提出三种不同角度的信息的定义，〔5 〕(P63-67 )分别是基于范围的信息定义、基于联系的信息定义、基于编码的信息定义，分别从不同角度强调了信息的定性规定。
逻辑在对信息的刻画和对信息处理的表达方面提供了彻底的形式化工具，促进了对信息和信息处理概念的把握和理解。
(二)逻辑分析成为把握信息世界的基本工具。
基于范围主体和信息更新的形式表征与处理。
逻辑学对基于范围的信息定义的核心直觉理解是一个信息状态或许可以被某一时刻可接受信息相一致的主体状态的配置或状态概率的范围所定义。
获取新的信息与缩小这个范围相一致，这样就减少了事态的实际配置的不确定性。
在这种理解下，对于认知模态逻辑的可能世界语义学配置的证明足够支撑信息的各种不同语义的研究。
基于范围的信息定义的逻辑的一个鲜明的例子就是信息更新，由于不同主体相互间的交流，信息在主体间的社会性配置不断地发生与更新，而这种信息更新与不同的认知行为相伴随行。
基于联系情景语境和通道理论的形式分析。
逻辑学对于基于联系的信息定义的核心直觉理解是针对与信息流的刻画，信息流概念与结构化系统相联系，结构化系统内部各部分有着系统性的联结，逻辑在这个基础背景中刻画信息流的逻辑状态改变。
例如，树木年轮的数量能够告诉我们关于树木年龄的信息，并且树木年轮表述着树木经历的从过去走到现在的自然界事件如旱涝雨雪等是如何演进的信息。
逻辑学对基于联系的信息的形式化刻画包括结构化信息环境下信息关于情景语境、通道理论等内容。
基于编码相关逻辑线性逻辑的形式处理。
逻辑学对于基于编码的信息定义的核心直觉是信息片段(信息的编码)或者信息计算与推理过程的语法性结构的形式化描述。
对信息片段(信息的编码)或者信息计算与推理过程的形式化研究的一个重要的自然的逻辑装置就是证明理论。
逻辑学家近来对一些子结构逻辑，尤其是相关逻辑和一些线性逻辑的研究，就是对基于编码信息概念的相关方面的逻辑形式分析。
(三)对信息概念的形式化处理。
逻辑学对于基于范围、基于联系和基于编码这三种信息定义的形式化分析处理与概念理解并不是互不相容的，三种信息定义立场之间是可化约并且彼此之间是可以互相转化的。
