模态逻辑可能世界与情境

模态逻辑可能世界具有穷尽可能性、排斥性、层次性和绝对良构性,而情境则除了排斥性,还突显时空性、主体性、部分性和非绝对良构性。利用这两组性质,分别对最大的可能世界类或可能世界模型W进行理想化限制,就可以得到这两类可能世界。而且,按照数学的排列组合观念,这两类可能世界的深层关系就清晰可见。

关于蔡元培“以美育代宗教”的思想及其逻辑可能性

蔡元培百年前提出"以美育代宗教说",学界主要从论域错位、美育不是信仰等方面对该说提出质疑。本文认为,蔡元培将宗教与美育均视为广义的情感教育,二者之间不存在论域错位。我们从张世英"万有相通"的哲学思想和关于美的神圣性观点以及其他学者的相关论述,结合中国传统文化特点,可以看到"以美育代宗教"的逻辑可能性。

由颠倒色觉的逻辑可能性澄清实指定义

石里克在《意义和证实》一文中写道:“没有一种理解意义的办法不需要最终涉及实指定义,这就是说,显然全都要涉及‘经验’或‘证实的可能性’。”“通过实指定义,可证实性就同第一种意义的经验(指感觉材料——笔者注)联系起来了。”什么是实指定义?实指定义就是用指明某些词的实际用法的行动解释这些词。

论佛教作为对世界的解释范式的逻辑可能性——一种元佛教研究的思路

对佛教作为解释范式的逻辑可能性的研究具有在先性和基础性地位,这是佛教存在的合法性和解释的有效性的前提。作者运用元研究的理论视界,从智证结构、解释范式、形式系统三个维度对佛教作为一种解释范式的可能性、必然性、能行性及相关性问题分别进行了论证。

高等教育系统学术权力异化逻辑可能、经验表现与解决对策--基于布尔迪厄场域理论的视角

布尔迪厄场域理论提供了学术权力运行分析的有效视角。以此为基础分析高等教育系统学术权力发现,高等教育系统学术权力在逻辑上存在着异化的可能性,而在现实的学术行为中也存在着一定的学术权力异化表现。高等教育系统学术权力异化的逻辑可能和经验表现主要存在于自主性“不适度”导致学术权力生态场域破坏;利益主导导致学术行为“权力寻租”和竞争策略失范导致学术权力行为扭曲三个方面。解决学术权力异化要做到:以反思性保持学术权力运行的客观性和规律性,增强学术权力对外来场域渗透的选择性和自主性,确立“知识处理”对利益诉求的优先性,降低学术资本的继承性和形式性。

从隐喻角度探究“飞马”的逻辑可能性

隐喻有其独特的工作机制,它使事物的类属关系或分类空间不再僵化和固定不变,使无法经验和不可言说的事物显示出新的可能与意义。从隐喻的角度来分析"飞马"一词,通过解释"飞马"中"飞"的隐喻意义,不仅可以让"飞马"一词摆脱所谓的空名或空指称短语的指摘,还可以使其内在的逻辑可能性得到合理的解释。

基于可能性测度的计算树逻辑

首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。

可能性缺省逻辑及其应用

本文分析了 Yager用可能性理论框架来表示缺省知识的形式化方法 ,并测试了三类不同的应用方案。得到的结果与 Reiter的缺省逻辑得到的结果相比较 ,表明只在具有严格约束的缺省逻辑下 ,Yager的形式化方法才与 Reiter的缺省逻辑具有一定的相关性。我们指出了它们在一般缺省理论下的不匹配处 。

基于可能性逻辑的不确定性本体描述方法研究

本体作为语义Web体系架构的基础组件,在知识形式化描述、语义理解和分析、信息智能化检索等方面发挥着重要的作用.然而由于本体描述逻辑的局限性,只能表达处理确定性和完备性的知识,限制了本体的实际应用效果和适应性.本文则关注于该类问题的解决,尝试利用非经典逻辑对本体描述机制进行改进和完善,提出一种基于可能性逻辑和概率统计的不确定性语义关系定量化描述方法,该方法将知识描述中的主观判断和推理决策中的客观统计相结合,从可能性和必然性两个方面来综合表达本体语义关联的不确定性程度,力图提高本体在知识表达和语义分析上对各类不确定性因素的理解和处理能力,并通过案例分析和实验对比验证了该方法的有效性和可行性.

广义可能性决策过程的计算树逻辑模型检测

模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题。结论表明,其模型检测算法的时间复杂度也为多项式时间。所获得的结果扩大了广义可能性测度在模型检测中的应用范围。

论文艺中准不可能世界的受众接受问题

可能世界理论应用于叙述分析具有广阔的学术空间,“准不可能世界”理论可以为文艺中诸多反常情节提供解释。“准”字揭示出文学艺术的虚构本质,准不可能世界是一种可能的不可能世界,或者说不可能的艺术可能,是可能世界理论卷入不可能逻辑在文艺文本中呈现的结果。围绕虚构框架的隐与显,受众对准不可能世界的接受有两种情况:在幻觉中抹除虚构框架,浸入故事;强化虚构框架,间离式欣赏艺术家的作伪表演和技巧。这两种接受背后,追求艺术审美快感均是驱动力。违反形式逻辑规则的“逻辑不可能”之所以可在虚构叙述中立足,原因在于文本内真实性可以不遵循逻辑,接受者依据这种真实性对虚构叙述进行自然化的变通接受,虚构文本是否处在某种文化所能接受的程式中决定其可读与否。

基于可能性逻辑的结构化论辩理论P-ASPIC+

抽象论辩框架(AF)是定性分析非单调常识推理的经典理论,基于AF关注论证结构化研究的一类论辩理论ASPIC+无法显化处理论辩理论中的不确定、不完全知识。本文基于可能性逻辑,提出结构化论辩理论P-ASPIC+,该理论满足良性论证系统的合理性公设条件,可量化处理论证中的不确定性知识,拓展ASPIC+的定性推理能力,避免利用概率理论量化AF理论所导致的概率分布不一致、不完全,以及论证概率解释不清等问题。

埃弗斯谈“模糊实在的逻辑可能性”

瑞典女哲学家埃弗斯(K.Evers)博士于1992年5月8日在中国社会科学院哲学所就“模糊实在的逻辑可能性”问题发表了演讲.埃弗斯说,对于“世界会是模糊的吗?”这个问题,经典的分析哲学家肯定竭力否定,他们不会承认世界上存在模糊的要素,也不承认任何模糊的边界或区分.但是,现在大量的科学家和哲学家已放弃了这种实在是由分离确定的部分组成,或者彼此光滑连接形成统一体的观点.一系列的证据表明,模糊实在的逻辑可能性是成立的,也就是说,反对模糊实在的主要逻辑证据即,(1)语词表达;(2)自我同一性;(3)莱布尼茨的同一性定理皆不能作为证据.因此,我们应该在某种程度上容许模糊实在的存在.

广义可能性计算树逻辑模型检测中的成本分析

为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义。然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法。最后,通过一个实例说明了该模型检测算法的实际应用。

基于可能性测度的计算树逻辑CTL~＊与可能性互模拟

提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。

广义可能性计算树逻辑和计算树逻辑的关系

广义可能性计算树逻辑(generalized possibilistic computation tree logic,GPo CTL)在不确定性模型检测中扮演着非常重要的角色,但其表达能力还尚未研究全面。为此,讨论了GPo CTL与计算树逻辑(computation tree logic,CTL)表达能力之间的关系。首先定义了区间广义可能性计算树逻辑(interval generalized pos-sibilistic computation tree logic,IGPo CTL),并给出了IGPo CTL公式和CTL公式等价的定义。然后证明了CTL是IGPo CTL的一个真子类,因为IGPo CTL是GPo CTL的一种简单分明化形式,则CTL可看作GPo CTL的一个真子类。此外,还给出了IGPo CTL公式和CTL公式α-等价的定义,并得出了一些更一般的结果。

中国传统文化中的互主体思想及其现实意义

互主体思想体现了中国传统文化的思想精髓和根本价值追求,突出表现在对不同主体间相互和合关系、相互敬爱关系、相互平等关系、相互包容关系、相互诚信关系一以贯之的追求和建构。这与中华文明起源时期独特的人文基础、地理环境以及社会结构有着密不可分的联系。深入研究中国传统文化中的互主体思想,对于我们深入认识中国传统文化,建设社会主义条件下的互主体关系,构建人类命运共同体,增强文化自主性和自信心,无疑具有重要的借鉴意义。

“穷尽可能”的逻辑真理观的认识价值

"穷尽可能"的逻辑真理观具有重要的认识价值,这种认识价值表现在金岳霖对"思维三律"的研究中。同时,"穷尽可能"的逻辑真理观对金岳霖逻辑观的塑造也起到了重要的作用,使得他的逻辑观能适用所有的承认强化的排中律和强化的矛盾律的系统。由此,在和其他的逻辑真理的比较中,我们可以看出"穷尽可能"的逻辑真理观的优势所在。

简析维特根斯坦关于可能性的理解

前后期维特根斯坦对可能性(即可能情形)给出了两种截然不同的分析。前期给特根斯坦认为,可能性是一种独立于语言表现的、虽然没有实现出来但却(现实地)存在的事态。因而,可能性可以说是一种“影子式的实在(现实)”。后期维特根斯坦则认为,可能性并非是一种独立于语方表现的存在物,“某某事项是可能的”这种说法只是意味着“关于某某事项的语言表现合乎相关的语法规则”而已。

逻辑全能为何是问题

辛提卡构造的认知逻辑系统所刻画的认知主体具有"逻辑全能"属性,即认知主体知道自身知识的所有逻辑后承同时知道逻辑系统的所有逻辑后承。霍克特认为这一属性表明辛提卡构造的认知逻辑系统不可能是逻辑;李金厚和蒋静坪认为逻辑全能问题是个伪问题。在这里认为逻辑全能问题是认知逻辑系统表达认知主体过于理想化,该问题的解决需要在逻辑可能与认知主体的认知可能之间寻找一个平衡点。