导读:本文包含了证明论论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:证据,恩格斯,摩根,逻辑,主义,逻辑学,时态。
证明论论文文献综述
梁飞[1]（2017）在《时态德摩根逻辑的语义与证明论》一文中研究指出本文从语义学与证明论的角度研究了时态德摩根代数所对应的逻辑DMt。一方面,基于时态德摩根代数的表示定理,本文给出了时态德摩根逻辑的关系语义,并证明了DMt相对于该语义是可靠且完全的;另一方面,本文构造了DMt的保守扩张显示演算系统D.DMt,并证明了D.DMt的切割消除定理与子公式性质。此外,本文还简单讨论了基于时态德摩根逻辑的显示条件刻画定理。(本文来源于《逻辑学研究》期刊2017年04期）
丁朋超[2]（2016）在《民事诉讼中的摸索证明论》一文中研究指出摸索证明是一种试探性的事实主张或举证,旨在通过法院的调查程序收集进一步的事证。摸索证明目前已经在德国、日本等大陆法系国家或地区得到一定程度的认可。由于目前我国的起诉制度、审前证据交换制度、申请法院职权取证制度以及诉前证据保全存在诸多不足,抽象主张在所难免,而摸索证明有助于缓解这一窘境。我国应当对摸索证明抱持较为宽松的态度。(本文来源于《大连理工大学学报(社会科学版)》期刊2016年02期）
胡学军[3]（2014）在《拥抱抑或拒斥:摸索证明论的中国境遇》一文中研究指出摸索证明是在德国、日本等国家解决证据偏在时持有证据方不提供事证而对证明责任方当事人的救济办法,我国学者多认为应当引进这一理论。摸索证明的效果并非转换证明责任,而只是导致具体举证责任转换。摸索证明的容许性或合法性与其所处的制度语境与诉讼模式密切相关,但从当今世界发展的角度来看,总体上呈逐渐放宽限制的趋势。摸索证明的容许性问题实质上就是应证事实的具体特定化应然要求与事实证据主张的盖然性与猜测性现实需要如何调和的问题。在我国诉讼模式转型阶段不宜过分强调这种后现代的理论倾向,但摸索证明论可以对接我国法院证据调查与保全的审查标准问题。(本文来源于《东方法学》期刊2014年05期）
张艳莉,李高鹏[4]（2014）在《基于XML的证明论研究》一文中研究指出XML渐已成为Web上数据表示和交换的通用语言。然而作为一种描述性的语言,XML不支持智能化的信息服务。本文提出了基于XML的证明论,用XDD(XML Declarative Description),一种由XML语法与说明描述理论相结合而得到的语言表示已知前提和待求解的问题,并通过证明论方法实现问题求解。该方法可用于建立基于XML的智能信息系统。(本文来源于《科技通报》期刊2014年08期）
周成泓[5]（2013）在《民事诉讼中的自由证明论略》一文中研究指出民诉法典的修正和司法实践中诉讼证明的乱象要求完善我国的自由证明规则。自由证明的核心内涵是不受证据方法和调查程序的严格制约,其价值在于缓和严格证明的僵硬性及平衡个人利益与国家利益。自由证明的适用对象包括程序法事实、法律法规及经验法则,自由证明也广泛适用于非讼程序、决定程序和简易程序中。在证据方法的限制方面,自由证明的证据关联性较为灵活,不要求最佳证据,证据排除规则较为宽松。自由证明程序可以不奉行直接原则和当事人公开原则,调查程序可以简略化,但仍需遵守宪法和民诉基本原则,注重保障当事人权利及相关权益。自由证明具有发展性,应当随时势不断进行调整。(本文来源于《河北法学》期刊2013年07期）
魏庆玉[6]（2013）在《摸索证明论》一文中研究指出民事诉讼中的摸索证明是指在当事人就其主张或抗辩成立所必要的事实和证据未能充分掌握或了解时,可以向法院申请对他方当事人掌握的相关证据进行调查,并试图通过该调查程序获取新事实或新证据,进而以该事实或证据作为支持其请求成立的依据。基于传统的辩论主义,大陆法系国家和地区最初对摸索证明采取禁止的态度,随着对辩论主义的修正与发展,摸索证明的价值逐渐为诉讼实践所接纳。我国受制于大环境影响,对摸索证明的处理应该更为宽松。(本文来源于《当代法学》期刊2013年02期）
庄威[7]（2012）在《简恩格斯对物质绝对运动的证明论》一文中研究指出一直以来,笔者心中都有一个困惑:历来在我国马克思主义哲学教材中都会强调的关于绝对运动的思想"世界是物质的,物质是运动的,运动是有规律的",马克思或恩格斯是如何证明的呢?笔者认为可以在恩格斯(本文来源于《学习月刊》期刊2012年18期）
杨惠[8]（2011）在《人性的证明——论张恨水小说《夜深沉》电视剧改编的思想深度》一文中研究指出电视剧《夜深沉》改编自张恨水同名长篇小说,在保留原着基本的情节、人物之外,电视剧扩展了小说所简略和空白的部分,不但加强了张恨水小说的社会批判精神,而且继承了原着对普通人人性善恶的理解和评判。(本文来源于《贵州大学学报(艺术版)》期刊2011年04期）
张继钢[9]（2011）在《不纯正不作为犯罪证明论》一文中研究指出不纯正不作为犯罪的构成是证明对象,不纯正不作为犯罪同样具备犯罪客体、犯罪客观方面、犯罪主体、犯罪主观方面等四个构成要件。负有特定作为义务作为主体要件要素、不作为认识作为主观要件要素、能履行而不履行特定作为义务作为客观要件要素,需要重点证明。(本文来源于《广西政法管理干部学院学报》期刊2011年01期）
温权[10]（2008）在《基于“假定”前提下的概念语言合法性证明——《论意义和所指》的逻辑分析》一文中研究指出弗雷格在其《论意义和所指》一文中关于"相等"概念的问题在段首提出了疑问,进而引出"意义"和"所指"这两个基本的概念范畴,而在对这两个基本概念的演绎过程中,作者又分别针对句子语词和句子本身做了不同层面上的分析,进而就"相等"这一抽象概念在"意义"和"所指"这两个不同层面上进行了逻辑上的明确阐述。而文中提到的"句子语词"和"句子本身"也同样是建立以这一系列关系为纽带的基础之上的。那么这个分析也就在所谓的"语词"和"句子"之间展开。(本文来源于《学术交流》期刊2008年12期）
证明论论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
摸索证明是一种试探性的事实主张或举证,旨在通过法院的调查程序收集进一步的事证。摸索证明目前已经在德国、日本等大陆法系国家或地区得到一定程度的认可。由于目前我国的起诉制度、审前证据交换制度、申请法院职权取证制度以及诉前证据保全存在诸多不足,抽象主张在所难免,而摸索证明有助于缓解这一窘境。我国应当对摸索证明抱持较为宽松的态度。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
证明论论文参考文献
[1].梁飞.时态德摩根逻辑的语义与证明论[J].逻辑学研究.2017
[2].丁朋超.民事诉讼中的摸索证明论[J].大连理工大学学报(社会科学版).2016
[3].胡学军.拥抱抑或拒斥:摸索证明论的中国境遇[J].东方法学.2014
[4].张艳莉,李高鹏.基于XML的证明论研究[J].科技通报.2014
[5].周成泓.民事诉讼中的自由证明论略[J].河北法学.2013
[6].魏庆玉.摸索证明论[J].当代法学.2013
[7].庄威.简恩格斯对物质绝对运动的证明论[J].学习月刊.2012
[8].杨惠.人性的证明——论张恨水小说《夜深沉》电视剧改编的思想深度[J].贵州大学学报(艺术版).2011
[9].张继钢.不纯正不作为犯罪证明论[J].广西政法管理干部学院学报.2011
[10].温权.基于“假定”前提下的概念语言合法性证明——《论意义和所指》的逻辑分析[J].学术交流.2008
论文知识图
