基于模糊逻辑的医学人工智能:开启道义之维

基于模糊逻辑对医学人工智能进行探讨,论述了医学人工智能在医学和医学伦理学领域的重要性,并对传统人工智能在处理复杂系统和模糊领域方面的局限性进行了讨论,提出模糊逻辑作为解决方案的观点,并强调模糊逻辑相较于经典二值逻辑的优势以及模糊逻辑在医学人工智能中的发展和应用。通过阐述模糊道义论的发展,说明它为医学人工智能在处理规范性领域提供了新的逻辑框架和操作化工具,并能为医学人工智能决策和伦理决策提供支持。总之,基于模糊逻辑的医学人工智能对于处理医学伦理难题和医学的复杂性具有重要意义,为医学实践和伦理决策提供了实际相关性的支持,并展望了其与道义逻辑相结合后在未来的发展前景。

规范性语词的法理意义与范围——基于转向规范逻辑学的新分析法学的立场

通过语义分析和逻辑分析,研究规范性语词的法理意义及其在法律场域中的适当范围与边界,认为规范性语词是理解法律本质的核心范畴,即规范性语词是规范体系的逻辑根基,其特殊功能在于创设法律规范的规范性。必须注意道德场域的价值词在转换为法律场域的规范性语词的过程中,语词本身所传递的行为标准的耗损问题。

法律规范的逻辑结构:概念辨析与逻辑刻画

帝俄时期的法学家科尔库诺夫在《法的一般理论》一书中曾以专门的篇幅讨论过与“法律规范的结构”相关的主题。他的理论后来被苏联法学界改造成了“三要素说”,这个学说在我国法学理论上也一直占主导地位。然而,我国法学界对于“法律规范的结构”之“三要素说”的理论谱系缺乏了解,对其中涉及的关键概念没有进行有价值的理论辨析。本文在梳理相关概念的基础上提出:一个完整的法律规则在逻辑上应当包含4个要素,即“行为条件”“行为命令”“行为构成要件”和“法律后果”,并在这4个要素之间建立起一个两规则(行为规则和裁判规则)的结构方式,从逻辑上刻画出联结法律规则诸要素的6个表达式。

一种基于SDL的角色系统描述框架

将SDL(standard deontic logic)引入到角色管理系统,提出一种基于SDL的角色系统描述框架SBDF(SDL-based role systemdescription frame).在该框架中,对系统中的角色进行分类.提供一系列的逻辑谓词,通过对各类角色的操作行为进行规范化描述,从而达到提供系统安全级别的目的.同时,为提高角色行为执行的效率,引入Agent技术,由Agent执行各角色的具体操作,通过对系统进行描述,方便对用户及角色的管理,提高了系统的安全级别.

代理倒逼行政:村干部在乡村建设中的道义驱动

乡村建设的初衷是保障农民的基本生存权利。作为乡村建设的关键行动者,村干部的行为逻辑尚未获得已有研究的充分关注。采用内容分析法、参与式观察法和深度访谈法,对中部地区M镇农村低保动态管理的案例研究结果表明,村干部在道义逻辑———“安全第一”的农民生存伦理驱动下成为守义人。面对基层政府避责行为,村干部坚守道义方式升级加码,并在基层政府政绩追求转向助推下,迫使基层政府承认并顺应道义逻辑,进而形成代理倒逼行政机制。“村干部的道义驱动”是对中国基层治理研究领域的理论增补,更新了村干部角色与行为逻辑微观理论,扩充了乡村社会自我保护理论,修正了“‘双轨政治’转向‘单轨政治’”的学理判断,改进了对基层政权运行状态的理论描摹,但适用范围仍有待进一步实证检验。

道义悖论研究

道义逻辑是逻辑学发展的新分支,道义悖论也因此成为一个全新的研究领域。四种重要的道义悖论并不是严格意义上的逻辑悖论。其中影响最大的悖论是齐硕姆悖论,它主要涉及到如何可靠地表达条件义务的问题,因此,要想可靠地表达条件义务,必须建立二元道义系统。

法律规范的逻辑演算Q_s系统

本文是《法律规范逻辑》系列论文的第４篇。它以狭义谓词演算为基础，在其形式语言中添加专指“制裁”行为的谓词常项，添加专指“国家机关”这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。它能满足法律提出的种种逻辑要求，远多于任何一个传统的规范逻辑系统。

相关演绎逻辑与分析哲学悖论的消解

分析哲学宣称可以通过对语言的逻辑分析解决传统的哲学问题,并倡导通过分析手段研究一切哲学问题。的确,分析精神已经在演绎推理和归纳推理两个方面获得了长足的发展,也取得了令人瞩目的成功。但与此同时,当用恰当的逻辑符号来重建哲学的概念和原则时,也遇到了难以克服的障碍,甚至出现了悖论等现象。例如,罗斯(Ross)的道义悖论、赫斯(Hesse)的确证悖论以及塔契-密勒(Tichy-Miller)似真性悖论等。这些悖论的出现是由于经典一阶逻辑中不加限制的添加原则,用舒尔茨(Schurz)的相关演绎逻辑能对这些悖论进行消解。

规范推理中的义务冲突问题探析

义务冲突问题是规范推理发展过程中所必须解决的主要问题。通过分析义务冲突问题的产生根源及其主要类型,首次提出规范推理的研究应进行语用转向,建立多种类型的语用规范推理系统,这有助于使规范推理的研究更加具体地推进到法学实践领域。

道义逻辑D──系统的一种布尔值模型

本文为道义模态逻辑D—系统建立布尔值模型 .首先定义道义模态公式○α的布尔值‖○α‖ ;其次证明在该定义下 ,道义模态逻辑系统D1、D2 和D3 的所有公理的布尔值为 1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数 )也是道义模态逻辑系统D1、D2 和D3 的布尔值模型 .

约根森难题与真值语义学

约根森难题意味着,一方面规范语句不能作为逻辑推理的前提或结论;而另外一方面,很多包含规范语句的道义推理在直觉上是正确的。真值语义学试图通过假定规范语句可以有真假来评价道义推理的有效性。这种方案的问题在于它没有解决这个难题,而是绕过了它。约根森难题的解决需要一种比真值语义学更为一般的逻辑后承概念,它否认逻辑必须依赖于真概念。

广义模态逻辑研究中的若干问题

模态逻辑不仅涉及逻辑的可能性,也涉及事实的可能性,两者存在着重要的差异;在对“罗斯悖论”的剖析中引入可能算子,通过对道义悖论作时态的分析,以辨明义务的相对性,是消除道义悖论的一条可行的途径。

道义逻辑、人工智能与法律——霍菲尔德法律关系形式理论的应用

1913年霍菲尔德发表了《司法推理中应用的基本法律概念》一文,发现了"法律概念的最小公分母",并建立起法律关系的形式理论。时经一百年,其价值与生命力更为凸显。本文比较了其与冯·赖特的道义逻辑思想,阐述了霍菲尔德的法律关系形式理论对于道义逻辑的发展的重要意义。本文认为,霍菲尔德的术语,表面上是自然语言,它们选自美国司法裁判文献中常用的法律术语和概念,但严格地说,它已经超越了自然语言,上升为一种人工的符号系统,是一套法律的符号逻辑。霍菲尔德的概念矩阵符合格鲁勃标准,它必然成为法律人工智能领域的本体论。A-霍菲尔德语言就是一项重要尝试。霍菲尔德的术语体系将影响未来的立法技术,成为一种极具革命性的符号系统。

论“道德悖论”作为一种悖论

基于道义悖论与"道德悖论"的比较分析,论证后者不能归于严格的逻辑悖论,而应视作一种"类悖论道德困境";结合逻辑悖论社会文化功能的探讨,指明开展类悖论道德困境研究的重要价值。

道义逻辑不是坏逻辑——与金承光先生商榷

道义逻辑不是坏逻辑;道义逻辑不是因为实际应用而产生,它不能够即时的被法律逻辑所应用并不表明它毫无作用;即使是在应用领域同样可以有广阔的前景;在知识表达领域,在多智能主体系统领域都可以看到道义逻辑在发挥作用。

行动、断言、事件和主体——动态道义逻辑的几个基本概念

1988年梅耶给出一个动态道义逻辑(DDL)系统,该系统不是处理一般的词项和命题,而是把行动和断言作为逻辑的处理对象。梅耶之后,这一系统不断完善,使得对于道义逻辑的讨论扩展到实施行动的主体,即行动者以及和行动者相关的事件。在此对DDL及其个体事件扩展进行粗略讨论,意在表明道义逻辑的探索,是一个不断地从抽象的一般道义范畴朝向具体的生活世界范畴的过程。

“罗斯悖论”研究述评及方法论思考

"罗斯悖论"是道义逻辑中的第一个"悖论",对此中外学者有过诸多研究,见解纷呈。在评述以往学界研究成果的基础上,通过语境原则的讨论和"悖论度"概念的引入,可以进一步澄清罗斯悖论的实质及其方法论价值。

冯赖特行动逻辑的构建和其特殊的否定概念

道义逻辑的经典系统是关于行动的逻辑.这种逻辑发展的新思路是在其系统中引入主体和场合概念;同时对正规逻辑的否定概念在道义系统中作了不同的理解;和否定概念相关的一些特殊的行动概念在行动逻辑中有其特定的意义。

“新”道义悖论——动态道义悖论及其哲学分析

在解析道义悖论的过程中,逻辑学家们给出了很多不同的方法,也各自面临着不同的问题。梅耶尔将道义逻辑归约为动态逻辑,并认为这种方法能够很好地消解道义悖论。但阿尔伯特指出,动态道义逻辑中仍然会出现"新"悖论。"新"的动态道义逻辑悖论与"旧"道义悖论之间有很多联系与区别。从哲学角度分析,动态道义悖论的出现缘于新算子的引入、新特性的刻画。一些所谓悖论只是动态道义逻辑的定理导致不符合直觉的结果,另一些与承诺悖论相似,缘于动态道义逻辑并未充分表达某些重要的道义概念。在"新"的道义逻辑系统中出现的"新"悖论,既有新特点,又与"旧"悖论有相关之处。道义悖论研究正是在这种"新"悖论与"旧"悖论的更替过程中不断推进的。

意愿的逻辑初步——马利的道义逻辑思想

恩斯特·马利(Ernst Mally),奥地利著名逻辑学家,于1926年提出了第一个道义逻辑系统,开辟了逻辑研究的新领域。但马利的系统遭到人们的长期批判,认为他的道义系统存在严重的缺陷。作者认为,马利的系统虽然存在着一些不足,但这些不足并没有人们想象的那么严重,只需稍做改进,其系统并不比其他逻辑学家提出的系统逊色。作者还认为,长期以来,人们习惯于从一元的角度来看待马利的系统,这实际不是对马利道义思想的正确反映,或许用二元逻辑的现点看待马利的系统更为合适。