魏斌:法律计算机化、数字化、智能化的区别到底在哪里?

法律语言使用机器语言来表达,而机器语言的发展经历了由一阶逻辑语言向可废止逻辑、模态逻辑、模糊逻辑、道义逻辑等现代逻辑的转变,法律概念和规则的开放性、可废止性、模糊性和权利—义务属性都被更精确地表达。(二)法律专家系统上世纪70年代至80年代,计算机系统辅助法律工作进入到法律专家系统(IKBS)的时代。法律专家...

今天是世界逻辑日|张建军:极简逻辑史话

同时,经院哲学家十分重视逻辑学研究,他们不仅进一步完善了以直言三段论为核心的亚里士多德型词项逻辑理论,在亚里士多德工作的基础上进一步探讨了模态推理,而且又重新建构了当时已失传的命题逻辑理论,并做了很大的拓广性研究,从而构成了西方演绎逻辑学发展史上的第二大高峰期。亚里士多德型词项逻辑与模态逻辑理论、传统命题...

达米特论逻辑与元逻辑的关系

摘要:威廉姆森反驳了达米特的观点,即为了有助于逻辑原则的支持者和反对者相互理解,语义理论应该尽可能使对象语言的逻辑对元语言的逻辑不敏感。文章首先概述了谐音语义理论的一般优点。然后以模态逻辑为例,特别讨论了关于模态命题逻辑的布劳威尔公式(B)和量化模态逻辑的巴坎公式的争议。可能世界框架内的模态逻辑语义理论...

逻辑学专业培养目标和发展方向

考研方向包括逻辑学、中国哲学、外国哲学、法律(非法学)等。在课程设置方面,主要课程包括数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等。在历史上,韩非、沈有鼎、亚里士多德、希尔伯特等都是著名的逻辑学家或哲学家...

图博弈的设计与模态逻辑的发展

另一方面,逻辑学作为研究主体推理的一门重要学科,通过形式语言、语义、公理化等手段对其展开研究。模态逻辑是20世纪60年代开始兴起的一门新的逻辑学分支,克里普克的可能世界语义学的模型与图博弈有着非常多的相似点,每个顶点是一个可能世界,可能世界之间是基于主体认知的可及关系。这一部分,我们将通过两个实例和现有...

大学专业分享155:充当智囊团的“逻辑学”专业

核心知识领域包括数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等(www.e993.com)2024年11月18日。考研可以往逻辑学、中国哲学、外国哲学、法律等方向拓展。逻辑学专业是一门研究推理、论证、思维等问题的学科。它主要关注的是我们如何能够从已知的事实...

我在复旦学逻辑(四)

模态逻辑简单一些,学的内容大概就是一阶逻辑的一种推广。可计算性理论开始比较简单,后面就开始变难。有一个大定理,说的是五条图灵度和一阶句子的量词层级的关系,我就一直没有学会,甚至都死活记不住这几条结论。相比之下同样是计算机系的王飒学长就让人感觉在课下做足了功课,完全掌握了这个定理。但是之后杨老师...

中科大陈小平教授:《图灵假说70年:两类AI与封闭性挑战》

现代逻辑由两层组成，上面一层是形式公理系统的语法部分，也可以看成是一个知识库；下面一层是形式公理系统的语义部分，也就是知识库的一组“模型”，其中每一个模型是一个代数结构，还是抽象的东西。所以这两层都和真实场景没有严格定义的直接关系。可是，无尽性意味着出现这样的情况：有些变元x没有包含在代数...

逻辑系统 | 是什么,让你沉迷于烧脑的推理小说却不能自拔?

在命题逻辑中,∧∨都可以通过和→定义,所以,为了系统的简洁,我们只需要和→两个联结词就可以等价地表达所有的公式。一个常用的命题公理系统PA是这样的:公理:(这里A、B和C是任意公式)(a):A→(B→A)(b):(A→(B→C))→((A→B)→(A→C))...

逻辑:一种文化和精神-光明日报-光明网

公理化的逻辑体系表达出人类对臻至完美的理论所应当具有的形态的认识和向往。其中逻辑公理的选择体现出人们对理论本身的最深思熟虑的判断和洞察力。逻辑规则和定义体现出人们为追求无可置疑结论而对推论施加的严苛条件。推理链条的环环相扣反映出人们对思维编织的精细严密的要求。从公理出发,一些简单的定理立刻就能得到...