论模态逻辑的合法性——对蒯因式模态词解读的批判考察

全面考察蒯因式的模态词解读,可以发现这种解读是狭隘的,它过分地依赖于逻辑、语言之外的内容上的联系,不利于从外延角度来对模态词做一般的、形式化的研究;同时蒯因反驳第三等级的模态词的使用,这也是错误的,模态谓词逻辑是合法的。     

模态形而上学在当代的复兴

虽然模态概念在形而上学中是不可缺少的,但哲学中的经验主义者一直对启用这些概念持反对态度。然而模态逻辑语义学的发展使得哲学家们相信经验主义的挑战是可以应对的。模态语义学的核心概念是多元可能世界。模态形而上学认为这一概念应当也完全有理由受到尊重。模态形而上学的复兴不仅为澄清和刻画命题的模态,同时也为澄清和刻画事物的模态提供了重要的工具。     

基于沪深300股指期货高频数据趋势持续期模型的构建与检验

文章针对我国沪深300股指期货高频数据时间序列具有趋势运动特性,提出了趋势持续期模型.首先采用泊松过程对趋势持续期的市场微观结构进行建模,得出了趋势持续期在理论上服从Gamma分布;基于经验模态分解算法提取股指期货日内高频交易数据的趋势持续期,采用最大似然估计法,估计趋势持续期的Gamma分布参数,同时通过Kolmogorov-Smirnov检验验证了模型的有效性;最后对不同采样间隔下的趋势持续期进行标准化处理,趋势持续期模型具有很好的稳健性.     

AP1100汽机基础动力特性研究

基于相似原理,本文按照1:8的比例设计建造了汽轮机组基础的模型,以研究其动力特性。本课题采取多点随机激振方法,测试结构的自振特性。采用锤击法考查动刚度信息。值得注意的是,本模型中尝试模拟凝汽器,模态分析后,也得到了凝汽器的振动。通过测试,得到了该汽机基础模型的各阶频率、振型、阻尼比以及各轴承160—240HZ的动刚度变化规律。     

模态性质命题传统逻辑方阵的建立

通过建立模态性质命题：模态A、模态E、模态I、模态O命题间的5个逻辑方阵,以及将模态单称命题：模态单称肯定命题（a）和模态单程否定命题（e）引入模态性质命题逻辑方阵,能够有效地涵盖模态性质命题推理的56个有效式,以及关于模态单称命题与模态A、模态E、模态I、模态O命题之间推理的48个有效式,从而有利于用传统逻辑的方法掌握繁多的模态性质命题问的关系及推理。     

基于刚柔耦合模型的混凝土泵车臂架系统动力学仿真

以某五节臂混凝土泵车臂架系统为研究对象,结合有限元理论和多体动力学理论,采用模态综合法,建立混凝土泵车臂架系统的刚柔耦合模型,以实测转台位移时间历程为激励,通过动力学仿真软件ADAMS对水平工况下臂架系统的泵送过程进行了动力学仿真,通过现场试验数据,验证了该方法的合理性。为泵车臂架系统结构动力学分析和结构改进提供了一种有效方法。     

基于Pro/E软件的传水机构特性分析及优化设计

水墨平衡是保证胶印印刷质量的关键。借助Pro/E软件,建立传水机构的三维模型,然后对传水机构的动态性能进行了系统的分析,并根据分析结果,对印刷机墙板结构进行了优化,从而为印刷机的传水辊设计和改进提供了一定的借鉴。     

一种基于模态语境的分析性刻画新方案

在借鉴前人,特别是蒯因与周北海对分析性的研究成果的基础上,提出了一个分析性刻画的新方案:在普通外延性逻辑语言的基础上再引进模态语组"必然地"及相关可能世界解释,在这种强化的语言中,就可以通过两个谓词的外延间在所有相关可能世界内的必然同一关系(即同义)而刻画分析性。这种做法既满足了蒯因要对分析性做严格外延化处理的要求,又能有效避免周北海先生的弱化结论。     

语用逻辑研究的新进展--蔡曙山的语用逻辑形式化研究述评

20世纪80年代以后,中国语用学与语用逻辑的研究开始起步.虽然起步较晚,但以蔡曙山教授为代表的一批学者,却能够站在当代西方语言哲学,特别是言语行为理论和语用学研究的基础上开展研究工作,在受到当代语言哲学大师塞尔高度赞誉的<言语行为和语用逻辑>一书中,蔡曙山构造了命题语用逻辑、量化语用逻辑以及模态语用逻辑的自然推理系统与形式公理推理系统及其各自的语义模型,探讨并证明了元逻辑问题.蔡曙山在这一领域的研究成果,拓展了语言逻辑研究的空间,促进了语用逻辑的形式化研究,从而为进一步推进计算机与人工智能逻辑、认知科学的研究,提供了完备的、精密的研究工具.这项研究成果标志着中国语用逻辑的形式化研究达到西方现代语用逻辑研究的相同水准,同时也发扬与光大了中国古老的语用学与语用逻辑的思想传统.     

哲学逻辑的指称与量化探析

在哲学逻辑之模态逻辑里,“指称”这一涉及语义关系的问题,曾引起人们的广泛关注。并由此产生了本质主义与反本质主义的两大阵营。本文在阐述模态、指称、模态语境等诸多方面的基础上,探析了模态语境条件下的指称与量化问题。