玄计华
- 作品数：9 被引量：3H指数：1
- 供职机构：中央司法警官学院更多>>
- 相关领域：哲学宗教自然科学总论政治法律自动化与计算机技术更多>>
- 卢卡西维茨的多值模态逻辑系统探析
- 1920年，卢卡西维茨建立第一个多值逻辑系统——三值逻辑系统，在此之后很多逻辑学家也先后建立了自己的多值逻辑系统，多值逻辑成为非经典逻辑的一个主要组成部分。在建立第一个多值逻辑系统之时，卢卡西维茨也提出了第一个多值模态逻...
- 玄计华
- 回溯推理在刑事侦查中的运用
- 2010年
- 对回溯推理研究最早可追溯到亚里士多德,被称为一种可以与演绎推理和归纳推理相提并论的独立的推理形式,之后发展缓慢,直到皮尔斯、汉森等人又重新将回溯推理摆到重要位置。今天,回溯推理在刑事案件侦查、事故调查、医疗诊断、科学发现等领域被广泛使用。究竟何为回溯推理,以及它在刑事侦查领域又是如何被应用,在本文中你将得到答案。
- 玄计华朱杰刘佳刘继荣
- 关键词：刑事侦查
- GLM矫正模型能否取代RNR矫正模型
- 2020年
- 为了有效降低服刑人员重新犯罪率,RNR矫正模型提出了科学矫正的三项原则:危险原则、需要原则和响应原则。相关研究表明,遵循三项原则的矫正能有效降低服刑人员的重新犯罪率。但有学者对RNR矫正模型提出质疑,认为GLM矫正模型可以替代RNR矫正模型。事实上,这些质疑并不能成立,GLM矫正模型不能成为RNR矫正模型的替代,不过其中一些内容可以成为该模型的有益补充。
- 玄计华吕云青
- 关键词：重新犯罪率
- 人的全面发展与人的素质提升被引量：1
- 2009年
- 马克思提出人的全面发展,既是未来社会的一种价值理想,又指明了人们为之奋斗的道路和方向。根据马克思主义哲学,人的全面发展不仅意味着人的劳动能力的提高、社会关系的全面丰富,而且意味着人的素质和个性的不断完善和发展。本文试着从人的素质提升的角度,通过分析目前社会中人的发展遇到的一些困境来阐述不断提高人的素质对于促进人的全面发展的重要意义。
- 玄计华吕云青
- RNR视域下我国社区矫正分管分教制度中的问题及改进建议
- 2021年
- 分管分教制度是社区矫正工作的重要制度,主要体现为分级管理和分阶段教育。在《社区矫正法》出台之后,各地对此又进行了新的探索。以RNR矫正原则为视角,进一步探讨是谁需要矫正、应该矫正什么以及如何进行矫正三个问题,重新审视分管分教制度具有重要的理论意义和积极的现实意义。在分管分教制度中,依然存在分类标准不够清晰、分管分教缺少针对性、分类方法较为粗糙等问题。应分别从理念、制度、队伍、工具、评估等角度进行深入分析,从而提出切实可行的改进建议。
- 玄计华吕云青
- 关键词：社区矫正分阶段教育
- 信息安全技术在监狱管理中的作用被引量：2
- 2010年
- 运用信息安全技术进行狱政管理,是监狱现代化的方向之一。本文将运用监狱管理和信息安全技术的基本理论知识,来分析信息安全技术在监狱管理中的作用,运用演绎法分析现状,提出一套信息安全技术的解决方案,并对解决方案在实际中的运用进行探索。
- 朱杰刘佳刘继荣玄计华
- 关键词：信息安全技术监狱管理
- 现实中的事物与观念中的事物,哪一个更伟大?
- 2015年
- 公元11世纪,安瑟尔谟提出著名的本体论证明,之后,引起哲学家们广泛的讨论。康德对传统的本体论证明提出最强有力的反驳,这同样也适用于安瑟尔谟的本体论证明。其反驳理由有三:第一,存在不是实在的谓词;第二,事物与该事物的观念内容相同;第三,理性不能推出现实。普兰丁格认为,康德对事物的内容与该事物观念的内容界定不清。于是他进行深入研究,结果得出不同的结论:康德对安瑟尔谟的本体论证明反驳不成立。对于普兰丁格的论证,有人可能会提出一些质疑。对于这些质疑,作者试以普兰丁格的角度代为辩护。
- 玄计华
- 关键词：本体论证明谓词
- 驳骑单车的数学家论证
- 2016年
- 为反驳本质主义学说,蒯因提出骑单车的数学家论证。这个论证不单为了反驳本质主义理论,更是为了拒绝量化模态逻辑。普兰丁格认为,蒯因的论证并不能驳倒本质主义,本质主义者不会接受该论证的前提。他指出这个论证的真正价值在于指明了如何正确理解从物模态命题。实际上,克里普克的理论能更好反驳蒯因的论证。并不是本质主义理论真能带来困惑,而是为了反驳的需要而构造。严格指示词理论能够解决语境晦暗问题,该问题不是由模态词导致,而是由于专名和摹状词不分。
- 玄计华赵宇
- 关键词：蒯因克里普克本质主义
