量子逻辑、量子悖论与量子疑难

我们可以把为了解释各种量子疑难(包括所谓的量子悖论)而发明或创立的量子逻辑群总结为四类:冯.诺意曼等开创的量子格论学派、莱欣巴赫为代表的多值量子逻辑学派、玻尔等学者坚持的互补性辩证逻辑学派、范.弗拉森原创的模态逻辑解释学派。这四类量子逻辑对量子疑难的解决既有成绩也有不足。通过我们对量子力学理论的细致理解,来自于不确定关系、波粒二象性和双缝实验等的典型量子悖论都可以消解,因此前三种量子逻辑的创立基础很可能并不存在,而测量难题也并不能仅通过模态逻辑解释消解。但即便如此,仍不能说量子逻辑对于解释量子疑难不是有意义的尝试,更不能说量子逻辑作为非经典逻辑的本性已经完全昭然若揭。因此无论如何,量子逻辑进路是并且仍将是通过量子力学解释达到理解微观世界不确定性本性的一个十分重要的科学及哲学的理论传统。     

“811汇改”前后人民币汇率波动溢出效应研究——基于时频视角

2015年8月11日，中国人民银行发布关于完善人民币兑美元汇率中间价报价的声明后，人民币汇率的波动幅度增大，双向波动特征逐渐显著，与世界主要货币的联系日益密切。基于集合经验模态分解方法，对货币序列进行有效分解与重构，以提取最适合表达汇率序列波动特征的短期波动项，并进一步采用动态溢出和复杂网络的方法，从“811汇改”前后人民币汇率短期波动项的溢出强度和方向两个维度，定量考察此次汇改的成效。结果表明：“811汇改”对人民币汇率对外溢出指数和净溢出指数的影响都是短期的，波动溢出效应有限；人民币国际化水平仍需进一步提高，反映出汇率制度改革的复杂性，由此提出相应建议。     

基于静动态特性的数控带锯床仿真与优化

针对某型号带锯床在锯切材料过程中存在着振动较大等问题，对其动静态特性进行仿真研究。通过对该带锯床整机锯架部 位的受力平衡分析，确定了双立柱式为该带锯床最合理的布置方式。利用专业有限元分析软件对该带锯床进行了模态以及谐响应分析，得到该带锯床的主要振型 以及整机由于激励的作用而造成的响应，据此对该带锯床进行了优化设计。结果表明：该型号带锯床的单立柱结构布局方式需重新设计为双立柱式；该带锯床一 阶频率较低，需对其进行优化设计；优化后的带锯床性能优于改进前的带锯床。大部分带锯床均可采用文中针对该型号带锯床的静动态特性进行分析与研究的方 法来提高其抗振性能，最终达到提高锯切效率和锯切精度的目的。课题组的研究成果在工程上具有比较高的应用价值。     

多模态话语分析视角下的英语演讲技巧

英语演讲能有效地提高学生对英语的应用能力。成功的英语演讲能够有效地使用语言模态及非语言符号模态,不仅语言方面要突出主题,思想独特,而且非语言方面要辅以声调、语调及语速等伴语言和目光、面部表情、头部动作及手势等体态语来配合。     

中美国债市场溢出效应研究——基于集合经验模态分解

集合经验模态分解(EEMD)是目前国际公认的可以有效处理非平稳非线性时间序列的方法。在中美融合不断加深的背景下,首次将该方法用于中美国债指数的分解,筛选出的低频分量及趋势项能够有效表征原始序列。基于此建立了二元VAR-GARCH-BEKK模型,从均值与波动两个维度考证了中美国债市场的溢出效应,结果发现:面对重大事件及经济政策的冲击,两国国债之间表现出双向的均值溢出,但影响程度不对等,美国对中国的溢出相对较强,而波动溢出效应则是对称的;国债市场长期运行过程中,两国具有双向的波动溢出,但仅存在美国对中国的单向均值溢出。中国应进一步完善国债市场交易机制,丰富国债交易品种,加强金融市场监管等,来有效对冲美国市场对中国的溢出效应,防范与化解系统性风险。     

论广义模态结构词的逻辑否定及其依据

作者通过比较量词结构、认知模态词结构、规范模态词结构三者间的惊人类似,引出了源于本体论之存在或非存在的广义模态结构词的一般逻辑否定算法,从而为从命题模态到系动词模态再到情态动词模态的逻辑否定演算,提供了一种能行的研究思路。     

试析亚里士多德的模态逻辑理论

本文通过对亚里士多德的模态算子、模态命题、必然模态三段论、偶然模态三段论进行分析、评价，进而说明亚里士多德的模态逻辑理论虽然多有矛盾、错漏之处，但它不仅是模态逻辑这门既古老又年轻的逻辑科学的源头，而且已孕育着现代模态逻辑、尤其是多值逻辑的萌芽。亚里士多德的模态逻辑理论与其其他逻辑理论一样，是亚里士多德留给我们的一份珍贵遗产。     

量子力学诠释的哲学观照

1927年形成的对于量子力学的"哥本哈根解释"是一个带有浓厚哲学韵味的"概念"解释体系,该解释是在当时缺乏系统的数学形式体系的状态下形成的;1932年冯·诺依曼系统总结并沿用至今的"标准体系"为"哥本哈根解释"弥补了空缺,它是"一个复杂的不断摸索的概念演化过程的产物",完全满足工具主义的要求;但是从实在论的观点看,量子力学仍需要描述基本粒子存在的属性,以"标准体系"为基础的"正统解释"通过本征值-本征态关联对此作了正面回应;而如果从方法论的角度讲,"正统解释"依然不能令人满意,1972年提出及其以后发展的量子力学"模态解释"作了进一步的追求;然而,"模态解释"的不足又给我们留下许多遐想的空间.     

巴坎公式和自由逻辑

在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。用自由逻辑系统解读巴坎公式,增加扩展公理和收缩公理,可以获得常域选择下的模态谓词逻辑。但这种逻辑仍有谜团需要我们去化解。     

模态判断辨析

一些形式逻辑著作将模态判断分为客观模态判断和“主观模态判断”的做法,导致了概念“模态”的歧义性,导致了模态判断的分类违背同一律的要求。而且,“主观可能判断”不符合形式逻辑对于判断的基本要求,不具备判断的逻辑特征;“主观必然判断”所反映的主观认识的高度确定性在形式逻辑中没有意义。所以,“主观模态判断”在形式逻辑中没有存在的根据和价值。