民事诉讼证明标准再探析

民事诉讼证明标准是民事诉讼法的一个基本问题,对民事诉讼证明标准进行了界定,明确提出客观真实与法律真实是证明任务,不是证明标准,介绍了证明标准的类型和作用范围,并对我国民事诉讼证明标准的构建进行了初步设想.     

论康德与托马斯·阿奎那对存在论证明的批判

安瑟伦关于上帝存在的存在论证明自提出以来,就遭到过诸多批判。在西方哲学史上,关于这个证明的比较著名的批判主要来自托马斯.阿奎那和康德。托马斯.阿奎那把这个证明视作先天论证,认为从先天出发并不能证明这个证明,要想证明这个证明必须从后天出发。康德却视其为存在论证明,认为即使从后天出发,也不能为上帝存在提供证明。他把他的批判主要集中在＂上帝到底是不是一个实在的谓词＂上,认为从后天出发的证明——宇宙论证明和自然神学证明,依然是＂伪装的存在论证明＂,证明不了＂上帝存在＂这个命题。康德在哲学史上第一次真正击中了存在论证明的中枢神经,动摇了该证明。     

论证明标准在税务行政诉讼中的适用

证明标准是证据理论中的核心问题。一般认为证明标准可以分为优势证明标准、清楚而有说服力证明标准和排除合理怀疑证明标准三种。本文从一个实际案例出发,详细的分析了税务行政诉讼中证明标准的适用问题。     

证明责任分配之要素分析

证明责任分配是证明责任之分配主体根据特定的实质性标准将待证事实的证明责任在承担主体之间予以分配的活动,证明责任分配的主体、客体和标准构成证明责任分配的基本要素,而分析证明责任分配之构成要素,有利于揭示证明责任分配的基本理论逻辑。     

民事诉讼证明标准探析

证明标准是证据制度的核心和灵魂。传统的三大诉讼同一的“事实、情节清楚,证据确实充分”的证明标准与当今学术界积极倡导的“高度盖然性”民事诉讼最低证明标准,各有其存在的合理性与局限性以及本质上的统一性。民事诉讼应有自己的证明标准,其证明标准内部应有层次之分。在“自由证明”与“法定证明”相结合的模式下,合理地对“盖然性”进行程度量化是我国民事诉讼证明标准的层次性体现。     

证题方法浅谈

在数学中大多数的命题,是需要证明的。给了一个证明题,不少的中学生往往感到无从下手。本文通过几个例子,简单谈谈数学中的证题方法,也许对读者会有一定的帮助。数学中的证明方法很多,不胜枚举,一一列举,详细论说,并非一两篇文章可做到的。本文仅以初等数学为例,概括地从逻辑的角度来阐述数学的证题方法。证明按命题是一般和特殊来划分可分为演绎的证明和归纳的证明。如果一个命题是一个特殊判断,就要从一般原理原则方面去探求立论的根据,加以证明,这样的证明叫做演绎的     

证明线段成比例的几种方法

证明线段成比例是初中学习的一个重点和难点,也是中考里的一个考点。学生通常对证明四条线段成比例的问题感到困难。证明线段成比例的问题,思路灵活,辅助线的添加方法亦很巧妙,本文着重阐明了几种证明的方法。     

关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中,教材一般都是利用逆否命题的证明方法来加以证明,本文则是采用直接的证明方法对定理进行严格的证明。     

论诉讼证明目的之确定依据

诉讼证明目的因案件性质不同、诉讼证明主体的职责不同、利益诉求不同,其具体证明目的也不同,但不同诉讼证明主体最终都是为了案件事实真相的发现,使案件得到公正地处理。诉讼证明目的之确定依据包括哲学依据、法理依据和主体依据。     

CH和P—NP的间接证明

说明　已经证明 ＧＣＨ和Ｐ≠ＮＰ ,及其他一些重要结果。整个证明包括三个部分 :一 , ＣＨ和Ｐ≠ＮＰ的间接证明 ;二 , ＧＣＨ的直接证明 ;三 , ＧＣＨ的形式证明。限于篇幅 ,本文只是第一部分 ( ＣＨ和Ｐ≠ＮＰ的间接证明 )的证明摘要 ,第一部分的所有证明细节及第二、第三部分的证明将在后续文章中给出。1　证明思路( 1 )根据Ｇ ｄｅｌ第一不完全性定理 ,对任一个数学的形式公理系统ＦＡ来说 ,如果ＦＡ满足 :①ＦＡ是真正形式的 ;②ＦＡ足够丰富 ,可以展开一个适量的数论 ;③ＦＡ是协调的 ,那么ＦＡ中至少包含一个命题Ｆ ,使得Ｆ和 Ｆ…     

导数在不等式证明中的应用

导数是研究函数性质的重要工具之一，也是中学数学中最基本和最重要的内容之一，利用导数的方法证明不等式是不等式证明中重要的组成部分。掌握导数在各种不等式中的证明方法和证明技巧对学好数学有很大的帮助。在数学教学中，将数学问题系列化，能够有效地提高学生解决数学问题的能力，本文将通过举例和评注的方式来阐述在不等式证明中导数的一些方法和一些技巧，提高学生利用导数证明不等式的能力。     

多项式函数根的零知识证明协议

多项式函数是数学和理论计算机研究中最常见的一类函数,而多项式函数根的零知识证明,是零知识证明在数学领域的重要应用,有重要的理论和应用价值。为有效解决多项式函数根的零知识证明问题,利用计算离散对数的困难性假设,提出并解决了多重离散对数问题,以此为基础构造了多项式函数根的零知识证明协议。理论分析结果表明该协议是安全和可靠的。     

试论我国刑事诉讼中证明责任的两个问题

本文旨在证明这样两点:一是在公诉案件中,证明责任的发生时间成立于审判阶段,检察机关是证明责任的唯一承担者;二是非法所得罪的证明责任由公诉人与被告人的双向证明责任关系构成,公诉人与被告人均负有各自的证明义务。     

关于反证法证题的一点补充

反证法是数学证明中的一种基本方法,关于它的论著颇多,但有一点却普遍地被忽略了,即对一个命题,是否能用反证法证明?事实上,许多命题的证明,使用反证法和直接论证都是行之有效的。     

定理机器证明思想的产生与发展

 一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。     

行政诉讼证明标准多元化初探

借鉴他国经验,构建多元化行政诉讼证明标准是必要的;行政诉讼多元化证明标准的构建应考量行政案件的类型、证明的难易程度、行政决定的重要性和行政管理的特点等因素,结合具体行政行为的类型设计不同的证明标准。     

试论我国刑事诉讼证明标准的体系化及相关问题

刑事诉讼证明标准的体系是指刑事诉讼证明标准在其模式以及刑事诉讼的性质、诉讼证明、证据理论的共同作用下,结合立法司法实践所自有的体系化内容,也可以说是以证明标准模式与具体的证明标准为主要内容的产物。也有学者认为刑事诉讼证明标准的体系是指刑事诉讼证明标准法律规定的体系。笔者同意前一种观点。我国刑事诉讼证明标准的理论探讨中,存在对到底选择哪一种证明标准的模式或多或少地予以回避,对模式支配下的具体证明标准研究不够深入等问题。这反映出证明标准的体系化研究不够到位,本文以此为出发点,着力论证刑事诉讼证明标准的体系化及相关问题。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

隐函数存在定理证明方法探讨

隐函数存在定理是数学分析和高等代数中的一个重要定理,但是隐函数存在定理的证明是一个较为复杂,不易被学生理解和掌握的定理。本文给出了三种证明方法,并对其证明方法进行了比较,文章分别利用零点定理、压缩映射原理、多元微分中值定理证明了隐函数存在定理,并对其证明方法进行了比较。     

概率论思想在一些不等式中的应用

随着概率论的应用和迅速发展,概率论的应用逐步深入到各个领域,涉足到各个行业。在数学上一些常见的不等式的证明,若运用代数方法较难得到解决,而运用概率方法就可以较方便地得到证明。这种证明方法沟通了不同学科之间的联系。应用概率方法证明不等式,是个很有用的方法,建立适当概率模型,使不等式的证明得到简化。本文主要研究了应用概率论的方法证明代数不等式、积分不等式和相关理论的应用。