逻辑系统相关论文
针对现有电力隧道巡检机器人自动化程度不足、视野和观测角度有限的问题,设计了一款子母式自动巡检机器人。其中:具有移动功能的巡检......
自然语言逻辑的新尝试──语旨逻辑弓肇祥现代逻辑在很大程度上朝自然语言方向发展。这从本世纪70年代初就已成为明显的事实。逻辑向......
QL指一个命题逻辑系统L的纯量化扩张。克里普克语义学给出了处理命题模态逻辑的一种合理方法(当然也有例外)。但就一阶模态逻辑整体......
多值逻辑与其他非经典逻辑的根本不同在于认为命题可以取真假之外的其他各种真值,这与弗雷格等人的思想相违背,因此它的合法性更需要......
多模态逻辑是模态逻辑理论体系的重要组成部分。多模态逻辑系统是指这样的逻辑系统:在一个系统内同时包含两种或两种以上的模态算子......
<正> 知识逻辑(Epistemic Logics)研究知识的内在逻辑规律,它属于哲学逻辑的一个分支。近年来,知识逻辑在经济学,语言学,计算机科......
推演系统并不一定是逻辑系统,在讨论一个推演系统是不是逻辑系统时,完全性是一个重要的标准。然而,完全性是相对于语义解释的,如果允许......
美国逻辑学家M·斐汀在2010年对核证逻辑与混合逻辑的组合进行了初步尝试,给出了第一个混合版本的核证逻辑系统JT及其完全性和显式......
语用逻辑是言语行为理论的逻辑分析工具和逻辑分析系统。本世纪中叶,奥斯汀创立了言语行为理论。1985年,塞尔和范德维克建立了一个非形式......
休谟提出了著名的归纳问题,并对归纳推理是否具有普遍必然性,以及如何证明,给出了否定的答案。本文认为,演绎推理具有与归纳推理类似的......
《伤寒杂病论》是中医学的重要典籍,逻辑学是研究人类思维的学科,从中国古代名学、墨家思想以及现代西方逻辑的角度对张仲景方证理......
伴随社会的快速发展,人类思维发展的不断深入和认知科学水平地不断提高,越来越多的学者关注和重视道义逻辑的研究。虽然道义逻辑属于......
本文提出一个新的逻辑系统——自由模态的摹状词理论Lk,指出了该逻辑的理论背景,给出了它的语法系统及相应的语义解释。不仅证明了Lk......
由于议论文本身具有严谨的逻辑系统,又由于学生认识活动的发展规律是从感性到理性、从具体到抽象,因此,议论文的写作教学必须由简......
两年前,当我听到2011年诺贝尔化学奖的消息,晚上浮想联翩,竟至失眠。脑子里涌现出一大串看似关联,又非关联的故事:准晶体、王浩瓷......
建筑可以是媒介,像电影那样讲故事;也可以是生物,与我们互动快乐和哀伤。建筑学的基础之一是几何学。在古希腊人眼里,点、直线和图......
知识是思维活动的结果,又是思维的工具。学习知识和训练思维既有区别,也有着密不可分的内在联系,它们是在小学数学教学过程中同步......
江西省武宁县茶场中学教师张绪贵在初中三年级政治课教学中,试行“五步法”的课堂教学形式,老师由过去处于支配地位进行满堂灌,而......
1.引言 Foundation Series 1.4是Xilinx公司1998年推出的用于FPGA和EPLD器件的开发工具软件。它支持Xilinx公司生产的XC3000A/L、......
深圳大学EDA技术中心是华南地区首家立足高校,既对教学、科研、实验开放,又对电子产业界新产品开发、新技术应用开放的,以产、学、研结合......
高师有机化学教学中通常第一节上课就直接进入主题,对学生的实际情况和学习兴趣的提高没有足够的重视,使很多学生在学完有机化学后......
本文简要介绍了上海华丰钢铁厂微震压实造型自动线电控采用的逻辑线路图,并以造型机为例说明逻辑线路的具体使用。同时介绍了该逻......
PLD设计技术已越来越多地应用在大规模数字系统设计开发中,它克服了传统逻辑芯片逻辑功能固定,设计工作量大等问题,可由设计人员自行......
北爱尔兰的化学家们设计了一个运用化学输入信号和光学输出信号的分子水平计算系统,可进行加到二的计算。 贝尔法斯特理工学院的化......
库卡焊接设备和机器人公司为美国一家公司设计和安装了一条全自动油箱焊装生产线。这条生产线采用的是缝焊技术,每小时可加工油箱......
文章从塔斯基(Tarski)经典语义解释出发,阐述变元在逻辑系统中扮演的角色,并对比话语表现理论中话语所指与传统变元差异,从中得出......
逻辑系统在人工智能及计算机科学中有相当广泛的应用。人们不但利用它们来对知识进行表示和推理,还非常关心它们之间的表达能力关......
经济全球化已成为世界经济发展的总趋势,国际贸易中的关税壁垒日趋降低,技术法规、行业标准、评测程序已经产生了举足轻重的作用和......
小学生数学思维能力是小学数学能力中的一个重要的能力,它不仅包括了创造思维能力、形象思维能力,还包括直觉思维能力和逻辑思维能......
休谟提出的归纳问题是哲学史上一个极其重要问题。在归纳问题的影响下,逻辑学家们也逐渐开始质疑以往深信不疑的演绎推理,追问演绎......
揭示中国哲学的潜在系统是现代学界的使命。完成这一重大课题是可能的,一些学界前辈的研究为此奠定了坚实的基础。反身叩问是领会中......
上海耐火材料厂广大职工遵照毛主席关于“独立自主、自力更生”的教导,在鞍山焦耐院协助下,研制成功800吨全自动油压压砖机,为耐......
编辑部先后收到云南省昆明市86岁的罗祖根老人的两封来信.谈的都是“关于两数平方差规律的汇报”.第一篇是就“有理数”来谈的,第二......
这是一个警告。请仔细阅读。现在你可能已经看到预测器了,当你阅读本文时这东西已经售出了上百万个。如果你还没见过这种东西,它其......
有一位物理教师教力的概念时,先提问:“谁能讲出力的表现?”学生回答很踊跃:“人提水”,“起重机吊钢管”,“磁铁吸铁钉”等。教......
如罗素说,界说不是逻辑系统的部分。但是逻辑哲学却总要讲到界说。 所谓界说,本在亚里士多德之前,在苏格拉谛与柏拉图手里已既有了......
沙漠是一个可分空间,所以它包含一个可数的稠密点集,可以以此构造一个以狮子为极限的子序列. 接着我们沿着这个子序列悄悄地接近它,然......
人类的创造力是和对逻辑惊人的尊敬联系在一起的,逻辑地(理性地)阐明理由的能力和智能密切相关,这在柏拉图的著作中讲得很清楚。......