10.1 法律逻辑概述
10.1.1 法律逻辑思想发展
10.1.2 法律逻辑的定位
10.1.3 法律推理
10.2 法律论证
10.2.1 法律论证的研究综述
10.2.2 法律论证的传统框架
10.2.3 法律论证的模型研究
附录1 the axioms of extensionality of non?well?founded sets
附录2 非良基集合理论的研究及其应用
参考文献

反基础公理的模型研究 节选

《反基础公理的模型研究》在借鉴和吸纳国内外研究成果的基础上,研究内容主要包括:利用典范图探讨集合全域中的外延公理。特别的,利用哥德尔的可构成模型L,根据可构成公理V=L,为含有反基础公理AFA的集合论系统ZFC—+AFA和含有反基础公理族AFA~~的集合论系统ZFC—+AFA~~建立可构成模型;此外,在林德斯姆工作的基础上,采用阿克采尔的方法,为含有反基础公理族AFA~~的构造集合论系统CZF—+AFA~~建立构造性模型。这些研究工作对丰富集合论理论具有一定的意义,并对人工智能与法律领域的学者致力于运用人工智能技术处理法律领域内的论证识别、构造、分析、评价的过程以及进一步促进论证形式化系统可视化、软件化的应用升级有一定的促进作用。

 2/2   首页 上一页 1 2

哲学/宗教 哲学 逻辑学

在线阅读