一种感知情景的存取控制策略的规范和分析方法

对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。     

从条件句悖论看信息流理论的哲学基础

经典逻辑中的一些有效推理规则对自然语言条件句推理的失效导致条件句悖论.情景语义学认为,造成条件句悖论的原因跟条件句所描述制约关系的背景条件有关.信息流理论继承情景语义学使用内涵方法处理内涵问题的传统、使用信息通道的概念在通道等级系统中表征条件句所描述制约关系的背景条件,对造成条件句悖论的原因给出令人信服的合理解释.根据信息流理论对条件句悖论的分析和解释,本文进一步分析阐释信息流理论在本体论和认识论方面的哲学基础.在本体论上,信息流理论认为世界是一个由情景和关系构成的关系网络.在认识论上,信息流推理与认知主体及其知识状态紧密相连.     

论逻辑真理的范围

通过考察两大类逻辑系统:实在论逻辑系统和反实在论的逻辑系统,发现Henkin的方法能够给出这些系统的完全性证明.用这种方法可以构造出包含所有系统逻辑真理的集合,而这个集合就是逻辑真理的范围.所以完全性是一个划分逻辑真理和非逻辑真理的标准.     

逻辑能认识真理吗？

逻辑可修正吗？逻辑真理可错吗？近期逻辑学界对此进行了激烈的讨论。逻辑可修正的争论实质是概念内涵与外延之争,而逻辑真理可错的争论却是认识之争,在其背后隐含着逻辑能否认识真理的问题。如果把逻辑真理等同于逻辑有效式,认为逻辑真理不是真理,则必然否认真理在逻辑中的存在。逻辑真理不应该是指那些在一个系统内有效的逻辑式,而是那些在系统内外都成立的有效式,因此逻辑真理是不可错的,是真理的一种形式,真理是能够在逻辑中找到的。     

符合真理论在20世纪的演变

本文指出，符合真理论在２０世纪经历了以下变化：Ｂ·Ａ·Ｗ·罗素和Ｌ·维特根斯坦提出了逻辑原子主义符合论；Ｊ·Ｌ·奥斯汀提出了约定主义符合论；Ａ·塔尔斯基运用语义论对符合论作出了精致解释；辩证唯物主义对亚里士多德的符合论的接受和改造。本文认为，定义真理必须把握三点：第一，真理是对客观事物本质的反映。第二，真理是从整体上反映客观对象的理论体系。第三，真理概念不仅应当包含“与事实相符性”，还应包含“无矛盾性”和“功效性”     

模态的语用逻辑

清华学人、中国著名逻辑学家周礼全先生从 195 0年开始研究语言逻辑 ,1989年起指导作者对奥斯汀的言语行为理论和塞尔的语用逻辑进行研究。文章介绍周礼全先生对语言逻辑的重要贡献 ,并给出模态的语用逻辑系统 MF,以期与作者先期发表的《命题的语用逻辑》、《量化的语用逻辑》共同形成对语用逻辑形式化研究的全面描述。     

基于莱布尼兹偶然真理概念的逻辑

事实的真理是偶然的,它们的反面是可能的.基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出.基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的.通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的“弱框架”下是可靠的且完全的.偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理“不可证真理”等一类哲学问题.     

从科学研究方法的角度分析逻辑真理和事实真理

本文通过对经验层次和理论层次两种科学研究方法各自特点的分析,以及在科学发展过程中的共同作用,最终将事实真理和逻辑真理与经验层次和理论层次两种科学研究方法的结果联系起来,从而达到逻辑真理和事实真理只有共同作用才能探索未知领域规律的认识。     

关于逻辑真理是否可错问题的再探讨——兼复梅祥同志

真理是对客观事物及其规律的正确反映,真理是不可错的.真理可分为科学真理和逻辑真理,前者是有关思维具体内容正确反映客观事物的真理,后者是有关思维形式正确反映客观事物的真理,亦即正确思维形式的真理.由演绎逻辑系统所揭示的各种有效式(恒真式)也即是逻辑真理.逻辑真理乃是客观事物某些最一般的性质和关系的正确反映.逻辑真理是不可错的.逻辑定理和逻辑真理不可混同,只有那些确实是恒真式的逻辑定理(它们是逻辑定理中的大多数)才是逻辑真理,并非是恒真式的所谓"逻辑怪论"的逻辑定理就不是逻辑真理.逻辑真理是不可错的,逻辑定理是可错的.     

逻辑合理性及其衰微

科学进步的逻辑合理性模式把真理或逼近真理看作科学的目标 ,寻求一种判别知识进步 ,进行理论比较和选择的不变的方法论规则 ,通过理论之间的逻辑联系比较不同理论趋向真理而进步的程度。这种逻辑合理性标准导致一种纯粹累积的科学进步观 ,它完全不符合科学史的实际。为了解决这一矛盾 ,拉卡托斯尝试重建科学史 ,提出科学研究纲领方法论 ,使之能最大限度地说明科学史。但是 ,这一努力仍然囿于传统的逻辑框架 ,对科学进步的合理性的说明仍然离不开某种方法论。奎因以一种整体论科学进步观对逻辑合理性模式提出尖锐批评 ,从而为科学进步的历史合理性学说的诞生开辟了道路