中国古代有没有逻辑--从普遍性与特殊性的角度看

在20世纪,"中国有没有逻辑"始终是逻辑学界争论不休的一个问题,有学者给以肯定的回答,有学者给以否定的回答.同样是以西方的逻辑作为普遍者,既可能导致中国古代无逻辑的虚无主义态度,也可能导致比附法在中国古代逻辑史研究中的泛滥.对"中国古代有没有逻辑"这个问题的回答,既应当注意到逻辑的普遍性也不能忽视逻辑的特殊性.忽视或取消逻辑的普遍性,会带来对不同民族、不同文化之间事实存在的交流进行解释的困难;忽视逻辑的特殊性,则一方面可能导致中国古代没有逻辑的结论,另一方面可能导致比附法的研究模式.中国古代也有关于逻辑的理论,但其系统性及其表现形式并不与西方逻辑学完全一致.     

资本逻辑与劳动逻辑的统一

到底是资本逻辑劳动还是劳动雇佣资本，经济学院历来有不同的看法。本文在对上述两种理论评析基础上，提出了一种中性理论，即 ：资本逻辑与劳动逻辑的统一。     

论科学研究中"发现"的逻辑制约性

长期以来，人们认为科学发现是非逻辑的，最近陈省身教授提出“科学最坏的是有计划，最好的科学是没有计划的，是发现出来的”观点，本文对此提出不同看法，笔者认为科学发现具有逻辑依赖性，它表现在：人们原有知识探索活动是制约灵感产生的逻辑基础；抓住机遇受理解力和思维方式的制约；灵感、直觉、顿悟到科学发现皖成要靠逻辑活动来实现。     

扰动模糊逻辑算子组

在扰动模糊逻辑命题及其算子的基础上,定义了扰动模糊逻辑算子组的概念,讨论了扰动模糊逻辑算子组的性质.从而使经典模糊逻辑的概念及性质得到进一步的推广,同时也揭示了在这种由一维到二维的推广中存在的问题.最后,从代数观点研究了扰动模糊逻辑算子组与经典模糊逻辑算子组之间的同态关系.     

扰动模糊逻辑算子组

在扰动模糊逻辑命题及其算子的基础上,定义了扰动模糊逻辑算子组的概念,讨论了扰动模糊逻辑算子组的性质.从而使经典模糊逻辑的概念及性质得到进一步的推广,同时也揭示了在这种由一维到二维的推广中存在的问题.最后,从代数观点研究了扰动模糊逻辑算子组与经典模糊逻辑算子组之间的同态关系.     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

变局中的中国式现代化新道路的形成逻辑

中国式现代化新道路的形成，有其哲学逻辑、主体逻辑、历史逻辑、文化逻辑。就其哲学逻辑而言，中国式现代化新道路的形成是矛盾的普遍性与特殊性辩证关系的体现，是马克思主义与中国发展实际相结合的产物；就其主体逻辑而言，中国式现代化新道路是中国共产党立足于马克思主义基本原理的主体选择，是中国共产党立足于中国历史文化根基的主体选择，是中国共产党立足于中国人民美好生活追求的主体选择，是中国共产党立足于中华民族伟大复兴的主体选择；就其历史逻辑而言，中国式现代化新道路是中国悠久绵延历史的必然产物，是世界现代化进程的必然产物，也是中国现代化进程的必然产物；就其文化逻辑而言，中国式现代化新道路是中华优秀传统文化传承与发展的必然要求，是中华优秀文化基因的现代性呈现。     

新型BCD加法器及其可逆逻辑实现

可逆逻辑是最近几年迅速发展起来的新兴研究领域,由于它在传递信息时能减少能量损耗而引起各方面越来越多的关注.该文设计了一种新型的4×4可逆逻辑门—NC门,该门能够独立实现可逆BCD溢出检测逻辑电路.同时,借助作者曾经设计的4×4可逆加法电路—ZS门,设计出一种新型可逆BCD加法电路.设计的电路与以往的相比,无论是在门的数...     

从资本符号看资本文明的演进逻辑及其发展趋势——马克思资本批判思想的当代反思与深化

现代社会越来越多的事物被符号化,越来越多的人讨论符号的哲学意义.从资本发展的历史看,实物资本和生息资本越来越被一切能带来更大财富增殖的"资本符号"所替代,"资本符号化"、"符号资本化"是资本突破实物、民族及国别界限的必然产物,是资本文明逻辑扩展的应然结果,成为理解当代文明的一个重要视角和基本线索.本文分析资本符号的五种存在形式,探究资本符号与资本文明之间的共变关系,探析当代资本与符号的连接和断裂、融合与对抗、统一与冲突的未来可能.     

中国共产党生态观念的逻辑发展

马克思主义认为,自然界和人类社会之间是整体和部分的对立统一关系,人类社会只有和自然保持和谐,才能实现共生共荣.中国共产党继承和发展了马克思主义的生态观,经历了"制定保护环境的基本国策--实施可持续发展战略--贯彻落实科学发展观--建设生态文明"的逻辑发展过程,体现了我党生态观念和执政理念逐步完善发展的历程.     

我谈客车铰接系统技术逻辑安全

1 铰接系统技术逻辑安全 在世界各地主要城市公交线路上,人们总会看到铰接式客车在运行.铰接式客车因为其投资少、运量大,可以有效地缓解高峰期时的交通压力,投入运行的铰接客车在不断地增加.近20年来运行在各个国家的铰接客车综合性能在加强,车辆密封性在提高,车厢噪音在下降,平均车速在上升,乘客舒适度在提升,这些都是普通乘客可以感觉到的.但作为运营公司和专业人士,可能还需要更多地来关注铰接系统在安全方面的改善,铰接客车上的铰接系统经过多年的发展,归纳起来有几种不同的结构型式,不同的结构就会体现出不同的技术逻辑安全.     

一种新的模糊逻辑代数系统

基于对模糊逻辑和模糊推理的系统研究,一种新的模糊逻辑代数－Ｒ０代数已于近期被建立,这为模糊逻辑提供了一种新的代数框架。文中对Ｒ０代数作进一步研究,给出Ｒ０代数的一系列代数性质,并澄清Ｒ０代数与其它模糊逻辑代数系统之间的关系。     

基于逻辑的数据模型Datalog的递归应用

重点探讨了基于逻辑的数据模型Datalog在以关系数据库为基础的递归查询上的应用，给出了求解Datalog递归规则的两种通用算法，并通过实验进行了有效地说明了及验证。     

基于模糊逻辑及神经网络的列车自动运行控制系统方案

介绍一种预测性模糊逻辑列车自动运行控制系统。在此基础上提出了几种采用神经网络的模糊逻辑列车自动运行控制系统的新方案。这可大大改善列车自动运行控制系统的性能，从而实现列车自动运行的智能控制。     

语言的灵活性与逻辑的严密性

语言作为人类社会交际的工具,具有灵活性的特点。而逻辑作为一门古老的学科,则具有严密性的特点。语言的灵活性与逻辑的严密性关系如何?笔者通过对语言使用过程中所出现的人工语言以及在修辞手法过程中出现的语言现象进行详细分析,阐述了语言的灵活性与逻辑的严密性对立统一于人类语言使用过程中。     

数字逻辑设计与EDA仿真实验教学的实践与探索

结合实验教学实际,对传统数字逻辑实验教学体系进行分析,并分析数字逻辑与EDA仿真技术的侧重点、共同点.提出了在新形势下数字逻辑设计与EDA仿真相结合的实验教学目的、内容和意义.     

基于模糊逻辑理论的居民出行需求合理性评价

运用模糊逻辑理论,研究了城市居民出行需求合理性的评价方法.根据城市居民出行需求的时间分布特性和空间分布特性,选用高峰小时出行系数和高峰小时路网饱和度作为评价指标,并给出指标计算公式.以模糊逻辑理论和指标特性为基础,利用MATLAB中的模糊逻辑工具箱得到隶属度函数图形,并对指标值的评价结果进行了分析.文中提出的方法对扬州居民出行需求合理性进行评价,表明了该方法的有效性和实用性.     

信息化教学在高职“数字逻辑”中的应用

信息化教学是以信息技术为支持,应用现代教学方法的教学,是高职教育改革的一个发展趋势。本文以"数字逻辑"课程中的"计数器"这一教学单元为例,引入信息化教学方法,采用"线上加线下"翻转课堂和"实验驱动法"的方法,从教学设计、教学实施和教学反思三方面进行了分析。通过教学实践反馈,学生对于这种教学方式接受度良好,取得了良好的教学效果。     

基于小波和逻辑法的多目标跟踪数据处理

智能交通系统(ITS),常常要采用传感器对交通目标进行实时定位监控,但被跟踪目标的不确定性以及原始数据通常存在大量噪声的干扰,这对数据融合的精度产生很大的影响.针对这一问题,采用小波变换多尺度分解与重构结合阈值消噪的方法对原始数据进行降噪处理,它能很好的保持原始信号的瞬变特征,并对处理后的数据采用逻辑法进行目标航迹起始...     

时序逻辑及其表达能力综述

时序逻辑是研究状态随时间变化系统的逻辑特性，在软硬件验证中有着广泛应用，是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征，衍生出各种时序逻辑，具有不同的表达能力，正确理解其表达能力对于系统模型的形式化规约尤为重要。首先，介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL^*，以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL，对它们的表达能力及区别进行了详细阐述；然后，概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑，指出它们的特点及适用范围；最后，对时序逻辑的未来研究方向进行展望。