STIT逻辑的发展与应用  CNKI文献

STIT逻辑是以模态逻辑为工具来研究主事性的逻辑分支。除主事性的形式刻画以及系统构建外,STIT逻辑还研究了其他很多与主事性相关的问题,例如繁忙选择者问题、如何刻画"不做"以及主...

贾青 《哲学动态》 2019年06期 期刊

道义逻辑的新发展  CNKI文献

道义逻辑研究的是关于"应当"、"允许"等规范模态的逻辑,属于广义模态逻辑。道义逻辑在发展过程中借鉴动态逻辑、认知逻辑、类型模态等领域的研究成果...

刘珂 胡泽洪 《学术研究》 2012年02期 期刊

法律逻辑发展方向与系统建构初析  CNKI文献

法律逻辑以普通逻辑理论和原则为基础已有了完整的非形式内容的建构,但法律逻辑若要发展成一门独立的学科,就不能依附于普通逻辑加法律案例。而应以现代逻辑和数理逻辑为工...

张武杰 张叶青... 《中国校外教育》 2009年07期 期刊

实践推理基础上生成的道义逻辑——道义逻辑发展  CNKI文献

实践推理基础上生成的道义逻辑———道义逻辑发展源流初探周祯祥２０世纪的逻辑科学具有多方向的穿透力。逻辑和数学的联姻形成了极富活力的数理逻辑；逻辑和语言的结合正在形成...

周祯祥 《广东社会科学》 1998年03期 期刊

陈波谈道义逻辑的发展概况  CNKI文献

4月20日,中国人民大学哲学系逻辑教研室副教授陈波在北京市逻辑学会作了“道义逻辑概观”的报告.陈波说,道义逻辑又叫义务逻辑、规范逻辑,它是研究含有规范表达式的语句的逻辑

李毓英 《哲学动态》 1992年08期 期刊