今天是世界逻辑日|张建军:极简逻辑史话
在《工具论》的《前分析篇》中,他运用概念变元和全称、特称量项及肯定、否定联项,刻画了直言(性质)命题及其推理的形式结构,提出了历史上第一个严整的演绎逻辑学说——直言三段论理论,并进而探讨了基于“必然”“偶然”这样的模态词之逻辑性质的模态三段论理论,从而成为演绎逻辑的创始人。他的学生德奥弗拉斯特和此...
魏斌:法律计算机化、数字化、智能化的区别到底在哪里?
法律语言使用机器语言来表达,而机器语言的发展经历了由一阶逻辑语言向可废止逻辑、模态逻辑、模糊逻辑、道义逻辑等现代逻辑的转变,法律概念和规则的开放性、可废止性、模糊性和权利—义务属性都被更精确地表达。(二)法律专家系统上世纪70年代至80年代,计算机系统辅助法律工作进入到法律专家系统(IKBS)的时代。法律专家...
达米特论逻辑与元逻辑的关系
然后以模态逻辑为例,特别讨论了关于模态命题逻辑的布劳威尔公式(B)和量化模态逻辑的巴坎公式的争议。可能世界框架内的模态逻辑语义理论符合达米特的要求,因为该语义的非模态性质使对象语言的模态逻辑与元语言的模态逻辑无关。然而,这并不能帮助有争议的模态原则的支持者和反对者相互理解。相反,它使语义理论几乎与争论无...
逻辑学专业培养目标和发展方向
逻辑学是一门探讨思维规律的哲学分支学科,通过对思维规律的研究,揭示了人类思维的基本特征和规律。在逻辑和逻辑学的发展历程中,经历了具象逻辑、抽象逻辑和具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。逻辑学作为研究思维的学科,关注思维的内容和形式两个方面。思维内容是指思维所反映的对象及其属性,而思维形式则是用...
逻辑系统 | 是什么,让你沉迷于烧脑的推理小说却不能自拔?
当我们在研究一个逻辑的时候,如命题逻辑、谓词逻辑、模态逻辑...我们需要研究什么?至此,我们已经学习完了命题逻辑的所有内容,我们在这里尝试通过回顾命题逻辑的学习路径,来为大家展示一个逻辑系统从无到有,从粗糙到严格,再到对这个系统本身进行考察的过程。这一过程也就是在逻辑学领域内,对任何一个逻辑系统进行研究...
这才是真正的哲学和历史学
逻辑学是一个哲学分支学科,其是对思维规律的研究,主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识,受到公理化方法、形式化方法和语义分析方面的基本训练,具有专业研究的基本能力(www.e993.com)2024年11月19日。课程学习:数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、四论导引等。就...
图博弈的设计与模态逻辑的发展
基本的蓄意破坏模态逻辑的模型检测复杂度是多项式空间(Pspace)而非多项式时间(Ptime)。这意味着,在包含干扰的博弈算法中出现了复杂性的跳跃。此外,虽然这类模态逻辑仍可以有效地翻译为一阶逻辑,但它不是可判定的;尽管原则上它是可公理化的,比如说使用适当修改的表列系统(tableaux)方法,但简单的公理化结果仍然...
模态实在论及其在数学实在论中的根源
模态实在论的基本观点是,除了我们所在的这个世界,还存在着其他可能世界。相信可能世界存在的人被称为模态实在论者。由于大多数非哲学家认为这种主张存在其他可能世界的学说过于离奇,因而人们会奇怪是什么说服当今那些知名哲学家成为模态实在论者。让学者接受这一形而上学观点之为可能的原因之一,是模态逻辑在20世纪的发展...
韦洁|论霍菲尔德权利分析理论与道义逻辑在人工智能司法中的应用
道义逻辑是现代模态逻辑的一个重要分支,是逻辑学家把伦理概念予以逻辑分析而开辟的推理新领域。道义逻辑研究关于“规范”的推理与论证,表达伦理“规范”的“强制”(obligatory)、“允许”(permitted)、“禁止”(forbidden)等概念,表现的只是对于人的祈使和命令,但其中包含着奇妙的逻辑关系。因此道义逻辑也被称为规范逻辑...
评述讨论 | 荣立武 苏庆辉 梁飞 马明辉
第一,推理是合逻辑性和合目的性的统一。逻辑推论规则的单独或组合运用不是推理,如果不清楚这种运用的目的是什么。鹦鹉恰好说出了满足推论规则的一串语句,能认为它是在做推理吗?不能,因为这个推理没有作者,也不是为了解决某个问题,更不是有目的、有意识地运用推论规则的一个活动。格莱斯将推理定义为:“x从A(非...