费奇悖论的混合时态认知逻辑分析CSSCI

费奇悖论的形成原因是没有将证实原则和摩尔句子进行准确刻画。证实原则“真命题都是可知的”并不是指每个真命题都在当下可能被知道,而应该是指对每个真命题来说都存在一个时间点使得在这个时间点上此命题被知道。摩尔句子“p并且主体不知道p”应该是指“p并且在t时主体不知道p”。利用混合逻辑的技术可以对认知算子进行时间标记,进而可以形式化出证实原则和摩尔句子的准确思想,最终可以消解费奇悖论。     

康德哲学中的“人性公式”与尊严

历史上很多学者将康德的“人性公式”直接奉为尊严原理,主张“人性公式”的内容集中反映了尊重人之尊严的要求.这一观点是正确的,因为康德自己也说.人性本身就是一种尊严.由此,拥有人性就是享有尊严的前提和根据.事实上,人性的本质就是自由.作为道德法则的“人性公式”,其实质就是要求尊重人的理性能力.尊重人的自由,而这正构成了尊重人之尊严的核心要素.     

今本《周易》卦序排列数学规律新探

今本《周易》六十四卦卦序是依据什么道理排列出来的,迄今仍然没有一个完美的解答。本文尝试把卦序问题作为一个数学问题去考虑,探讨卦序的制作者所依据的数学思想与技巧。《六十四卦错综图》是我们研究序卦最重要的参考图,并指出十对三明三阳卦在序卦排列中起着骨架作用．无论是十对三明三阳卦,还是围绕这十对卦左右的其它卦,其排列在序数配置、卦区划分和爻画布排等诸多方面都蕴含着丰富的数学内容,充分反映了序卦的制作者运用数学技巧的娴熟技艺和精妙构想。     

国际维和民警的压力与心理适应刍议

国际维和民警由于任务和环境的特殊性,必须具备过硬的心理适应能力以适应维和任务带来的巨大压力。维和民警的心理适应能力建设,是维和民警素质教育的重要组成部分。只有对国际维和民警执行任务中的压力和心理适应问题进行认真的分析和研究,并运用先进的心理适应理论和正确的机制措施有效地增强他们的心理适应能力,才能保证其完成自身的神圣职责。     

新尝试"假设法脑出血测量"与常用方法的对比

介绍一种CT脑血肿体积测量的新方法-假设法.制作水模进行CT扫描,分别用CT脑出血测量之假设法与多田公式法、CT定量法对其测量,比较结果的准确性.该方法较多田公式法、CT定量法更便捷准确.此假设法,计算简单、快速、准确,比多田公式法、CT定量法更具优势.     

层次图(混合Horn)公式的部分极大可满足性

本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究。具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上进行WalkSAT和Tabu-Sat(及其变种)的比较,其次,我们在层次图公式上比较了上述过程的改进版本,这些公式编码了随机生成层次图的最小化跨边问题。本文所引入的Tabu-Sat过程,当在搜索空间中检测到一个圈的时候,动态地改变Tabu长度参数。另一个被称为Vector-Tabu-Sat的过程,对所有的布尔变元进行独立的Tabu长度参数管理。一些数值实验的结果显示,我们改进的Tabu-Sat变种在子句个数增长的时候优于Walksat.     

从逻辑哲学看模糊逻辑的形式化

从逻辑哲学观点看,在“符号化、公理化的模糊逻辑”与非形式化的“人脑使用的模糊逻辑”（苗东升的说法）这两者之间,只是形式模型及其现实原型的关系,决不相互排斥。真正的问题不在于,在现实生活中人脑所使用的实际上行之有效的模糊推理,是否应该和可能符号化、公理化,而是在于如何恰当地进行形式化。笔者采用苏珊·哈克（Susan Haack）的逻辑哲学观点,认为非经典逻辑可划分为扩展逻辑和异常（deviation）逻辑,模糊逻辑归属于异常逻辑。本文以模糊逻辑系统FZ为例,具体分析了虽然经典逻辑中一些较强的公理和推理规则均不成立,但是与之对应的较弱的“合经典的”（well-behaved）公理和推理规则却仍然可以成立,由此导致一系列新奇性质。笔者采用了达·柯斯塔（da Costa）的形式化技巧,它是关于“在虚设不矛盾律成立的前提下”（相应公式可以称为“合经典的”）才能成立的逆否律。当我们撤除了“虚设不矛盾律为前提”的限定,它又重新回到了无条件成立的情况。笔者也推广了玻尔（N.Bohr）和冯·威扎克（von Weizsaecker）关于对应原理的思想,认为作为非经典逻辑的模糊逻辑与经典逻辑之间也应当遵守“对应原理”：经典逻辑是模糊逻辑的前身,模糊逻辑将构成更为普遍的逻辑形式,经典逻辑作为模糊逻辑的极限形式,在局部情况下还保持自身的意义。     

财产保险定价博弈研究

本文运用不完全信息动态博弈论的有关知识,地建立了被保险人影响出险损失概率道德风险和保险人审核之间的不完全信息动态博弈模型,研究了保险双方的均衡博弈策略,推导出了满足保险人的期望利润的保险定价公式,并通过实例计算分析了它的合理性,为我国保险业的财产定价问题提供了理论依据.     

人生公式

人很难将某种癖性或行为坚持到底,无论是好的癖性还是坏的行为。这大概是毫无疑问的事情。毛主席早就教导我们：一个人做一件好事不难,难的是一辈子做好事。有人篡改了毛主席的语录说,一个人做一件坏事不难,难的是一辈子做坏事。说起来这个命题好像也能成立。因此,如果把毛主席那句话抽象出来,我们可以获得公式一：一个人做X不难,难的是一辈子做X。这个X几乎可以被置换为人世间任何一件具体的事情,比如勇气——我愿意冒险把勇气也大而化之地称作事情。     

超模态逻辑K[T_nK]和K[TK_n](英文)

本文的工作是在D.M.Gabbay的一篇论文《超模态逻辑理论:在模态逻辑中的模转换》基础上所做的,主要是将他的两类满足关系扩充到n+1种满足关系,然后在此基础上得到两类一般性的逻辑类K[T_nK]和K[TK_n],其中n≥1。我们得到了一些更为一般性的结论:（1）逻辑类K[T_nK]的定理模式是:对任意n≥1,□^j+（n+1）kp→□^i+（n+1）kp,其中0≤in]的定理模式是:□^1+（n+1）kp→□^（n+1）kp,其中b≥1。不过,□^j+（n+1）kp→□^i+（n+1）kp,其中0≤in]的定理模式,因此,（3）每一个逻辑K[T_nK]都是相应的逻辑K[TK_n]的真扩张,其中n≥1;（4）必然化规则在两类逻辑K[T_nK]和K[TK_n]中都不成立,但是,这样的规则成立,即如果A分别是两类逻辑K[T_nK]和K[TK_n]的定理,那么对于任意n≥1,□ⁿ⁺¹A也分别是逻辑类K[T_nK]和K[TK_n]的定理;（5）等值替换规则在逻辑类K[T_nK]和K[TK_n]下都不封闭;此外,（6）我们将D.M.Gabbay的从超模态逻辑到正规模态逻辑K的两类翻译τ₀和τ₁扩充到n+1类翻译τ₀,τ₁,…,τ_n。在超模态逻辑K[T_nK]和K[TK_n]与正规模态逻辑K之间,我们找到了点模型满足对应理论,即对任意的超模态逻辑公式α,在某个世界ω上为真,当且仅当,在正规模态逻辑K中τ_i（α）在世界ω上也为真。其中τ_i（α）是公式α从超模态逻辑到正规模态逻辑K的翻译。