【摘 要】
：
<正>什么是"弗协调逻辑"(Paraconsistent Logic)?弗协调逻辑是哲学逻辑的一个重要的分支,能处理经典逻辑中的矛盾关系,也能够容纳矛盾,不取消矛盾,但不能从矛盾推出一切的逻
论文部分内容阅读
<正>什么是"弗协调逻辑"(Paraconsistent Logic)?弗协调逻辑是哲学逻辑的一个重要的分支,能处理经典逻辑中的矛盾关系,也能够容纳矛盾,不取消矛盾,但不能从矛盾推出一切的逻辑理论。从A和□A两个互相矛盾的命题,一般不能推出任意命题B。弗协调逻辑又称为不协调逻辑、次协调逻辑、超协调逻辑、矛盾逻辑、悖论逻辑与亚兼容逻辑等。经典逻辑是否认矛盾,认为矛盾是不可能的,必须从我们"人"的思维中祛除,当然也要从逻辑系统中排除。一个经典逻辑系统是具有协调性的,即不矛盾性。协调性即不矛盾性定理,是经典逻辑系统的一个基本定理。弗协调逻辑是迄今能处理不协调性的唯一一类的逻辑理论,也是非经典逻辑的一个重要分支。
其他文献
随着经济和科技速度的发展越来越快，计算机在高速发展的同时也开始广泛应用与社会各领域，然而目前社会因计算机信息被泄露发生的安全事故越来越多，这种现象也使得社会对计算机网
高速公路工程招投标管理工作已形成规范化、程序化，但是在招标投标政策执行实务中，招标采购效率仍然不高，部分政府工作人员干预招标管理工作，投标人围标、窜标现象突出，中标人履约
购物旅游是上海发展都市旅游的一项重要内容 .但对如何发展购物旅游尚未形成系统的共识 .作者在对购物旅游进行研究后发现若干问题 .对购物旅游的发展现状提出了若干质疑 ,并
利用来自全国农村的8 181个样本考察阶层分化对农民选举参与行为的影响,结果表明：在村兼业阶层的选举参与积极性最高,然后依次为规模化经营大户阶层、一般农业经营者阶层和亦
在通信系统中,物理层作为最底层,提供能够传送原始比特数据的物理信道。通过对GSM通信系统物理层的分析,运用Matlab/Simulink设计模型,对信道编码、交织、调制等过程进行基本
心阳虚证是临床常见证候及最终转归,是导致死亡的主因之一。仲景《伤寒论》和《金匮要略》对于心阳虚证有其独特的辨治规律。心悸、心胸痞满、胸痹心痛和畏寒肢冷是心阳虚证
<正> On the Acceptance and Dissolution of State Discourse ——"Classes" and "Class Struggle" within the Field of Vision of People’s CommunesZhang Letian, Profe
随着信息技术的快速发展和互联网应用的广泛普及,云计算技术受到越来越多的企业和开发人员的关注。云计算平台的发展,尤其是以基础设施为服务(IaaS)的云计算平台的快速创新,
阐述了健康物联网技术在健康促进领域的应用,基于智能健康管理系统模式的进展与趋势,探索新型的健康医学服务模式与机制,促进基层医疗服务机构由传统的被动医疗服务向主动健