形式推理相关论文
在《精神现象学》中,黑格尔曾把表象思维和形式推理视为思辨思维的对立面。不过,黑格尔认为,形式推理才是思辨思维的真正对手。与......
随着科学技术的发展,人们创造出许多机器来代替某些体力活动。由于电子计算机的出现,机器更能代替人的部分形式推理活动,如作复杂......
走向2013年,高考成为高三同学学习与生活中的主题词.如何高效备考,取得与自己实际水平相符的满意成绩,自然是你关心的焦点.不能期......
随着教改的深入和推进,课堂教学目标的达成发生了新变化,就是在每节课的最后五分钟进行当堂达标检测,检验学生掌握知识情况和教学......
该文旨在扼要介绍自动化定理证明(ATP)的发展历史与现状。其中,阐述了 ATP 的理论基础、基本原理和研究方向,列举了部分定理证明系......
实质推理是相对于形式推理的一种法律推理方法,是当法律或事实前提出现缺失,或者前提有争议的时候,在讨论中通过对问题(论题)的辩驳、......
法律推理方法是由形式推理方法和实质推理方法共同组成。在刑事司法领域,法官在处理具体案件时,往往通过寻找大前提刑法规范、确定小......
二十世纪六七十年代,西方学界掀起了一场“非形式逻辑和批判思维运动”,这场运动在九十年代开始波及我国,近年来更是愈加兴盛。由于演......
《英语课程标准》明确指出:“英语课是一门实践性很强的课程,应着重培养学生运用语言进行交际的能力。”人的语言能力以他的思维为基......
法律实质推理既是司法主体的一种思维活动,又是一种司法行为。在制定法国家,长期的审判经验导致法官偏重于形式推理而忽略实质推理......
法律发现是指在司法适用中,法官生成(找寻、确定、解释、填补等活动的总称)最适合于本案的裁判规范依据的一种专业性活动。它在司......
法律推理是逻辑推理在法律领域中的应用,其具体使用的推理形式包括演绎推理、归纳推理和类比推理。法律推理的基本类型既包括严格......
本文以法律逻辑为研究对象,从法律逻辑引出法律推理,介绍目前法律推理的研究状况,从法律推理中探究实质推理的作用和应用。笔者认......
遵循先例作为普通法系各国共同的基本规则,在英美两国司法过程中却存在差异。在贯彻先例规则时,英国的法官更注重形式推理,司法过......
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测......
《小学数学新课程标准》指出:练习课不能局现于巩固知识、操作技能和对常规问题的解决,应注重预感实验、尝试、归纳、猜想、类比等非......
针对求解爱因斯坦谜题的现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ公理集和Γ推理规则集给出......
本文证明了中介命题逻辑MP和中介谓词逻辑MF的可靠性定理,得到MP和MF的推理与演绎推理是相一致的结果。定义1(形式证明) 对于MP和M......
一、问题的提出向量是近代数学的产物,具有极强的形式推理和运算功能以及广泛的应用性,已成为沟通几何、代数与三角函数的有力桥梁,这......
根据文[4]构造的模型,本文证明了中介命题逻辑演算系统MP的完备性定理,从而得到MP的形式推理完备地反映了演绎推理的结果。......
经过多年法治思维的熏陶,我国刑事审判中的形式主义方法论已经占据主导地位。但是,一些热点案件也暴露出忽视实质主义的倾向。刑事......
在对实质推理进行简要概述的基础上,从我国司法实践的角度着重探讨实质推理在裁判过程中的具体适用,揭示实质推理的固有缺陷,从而......
为维护法律的权威,保障人们的合理预期,必须关注法律与社会秩序、法律的正式渊源和非正式渊源、历史、社会习俗和时代精神在司法审......
如何进行数学问题的设计,我觉得正如《上海市中小学数学课程标准》中指出的:不能局限于巩固知识、操练技能和对常规问题的解决,应注重......
<正> 什么是反证法?全日制十年制学校初中课本数学第5册第110页上已讲得很清楚,本文不准备重复,下面仅对反证法的推理过程作一点注......
四年前我发表了两篇论文,一篇是我的处女作《解释:还原与推导》,对法律解释的方法和步骤作了较为系统的逻辑分析,另一篇是《法律解......
遵循先例作为普通法系各国共同的基本规则,在英美两国司法过程中却存在差异。在贯彻先例规则时,英国的法官更注重形式推理,司法过......
疑难案件是近年来在法哲学领域中被重点讨论的一个问题,也是在司法实践中经常面临的一个难题。然而,关于疑难案件的含义、成因和界......
该文分析了法理学上的后现代主义思潮和中国法治的现状,在张保生所确定的法律推理在中国法治化过程中的重要地位基础上,进一步提出了......
依形式逻辑推导出结论,是现代语境下刑事审判该当的逻辑技术。但中国传统刑事司法,奉行的是实体主义原则下的实质逻辑推理,即非形式逻......
法律推理有广义和狭义之别.法律推理分为形式推理和实质推理.形式推理是在法律适用过程中运用形式逻辑推理的思维活动,是一个复杂......
法律推理是司法过程中重要的思维方法,尤其是法官在审判活动中必须借助法律推理论证判决理由的正当性,用以说明判决合理、合法,达......
我们时常看到蒙受司法不公的错案出现在各类新闻中,且往往能在社会上引起不小的震荡。这不仅使人们对司法机关的信任度降低,损害司法......
摘 要:实质推理是法官处理案件过程中,当法律出现漏洞、法律规定不明以及法律之间相互矛盾等复杂情况下运用的推理方法。这种方法,有......
判决推理强调司法判决的正当性证明,通过形式保障对人权的尊重,并努力通过各种措施促进判决结果的公正、公开。应当从当前的司法实......
从宏观角度论述法律推理的一般理论,通过对推理性质、特点的分析,阐明推理之所以能够根据前提推出结论是因为存在一个实质依据或者形......
现代数学的发展表明,数学的研究源于对现实世界的抽象,通过基于抽象结构的符号运算、形式推理、一般结论等,理解和表达现实世界中事物......
纵观这两年的全国卷,笔者发现试卷更加突出对数学知识应用性的考查,联系实际,重视数学文化,凸现核心素养在高考中的应用.同时《普......
根据法律推理定义的演变和发展,给出了符合当今法治社会特点的法律推理定义,阐述了还原推理、衡平推理、类比推理和辩证推理,探讨......
如果说,司法倒推是目前法律推理过程中普遍存在的一种惯常现象的话,那么,同案异判则是各国司法实践中亟待合理应对的棘手问题,二者......