将逻辑证明纳入实践范畴的真理理论

传统的符合论真理观强调命题的真在于命题与事实的符合关系,否定逻辑证明在判断命题"真"与"假"方面的作用.通过对实践特点的分析,认为实践应该是人类对世界的已知和未知的验证和认识的过程性活动,强调逻辑证明也属于实践的范畴.并且认为命题通过与客观事实的直接符合,或者在已知客观事实基础上通过逻辑证明验证符合后,此命题就可以认为是"真"的,建立起这种"实践"意义上的真理观.     

对弹性变形能大小与加载次序无关的证明的思考

弹性变形能大小与加载次序无关这一论述,结论重要,基础作用大,在弹性理论中具有特殊地位,应该也需要有严格的逻辑证明。文献多以假定或特例的形式进行阐述或论证,作为一个重要证明尚显不足。文章从不同的角度对相关问题做了分析,并对这一命题的证明提出建议。     

法律逻辑的两个基本问题:论证结构和论证型式

当法律逻辑采用以论证为基础的方法进行构建时,法律论证的宏观结构分析以及证据推理、法律解释和适用的推理所使用的论证型式,就成为法律逻辑的两个基本问题.图解方法有助于诉讼双方理清各自的论证路线,也有助于裁决者整体把握诉讼双方的论证结构并进而评价其论证力量,更有助于裁决者在裁决书中向当事人和公众有力地证明判决的正当合理性.论证型式的使用,在适当的条件下,不仅丰富了证据推理的手段,而且赋予或增强法律解释和法律适用的正当合理性.     

图尔敏的论证域和论坛

图尔敏是逻辑学实践转向的重要理论先驱之一.他所倡导的论证逻辑理论或实质逻辑既从法律论辩实践中来,又到法律论辩实践中去.<论证的使用>(1958)虽然发起了对符号逻辑范式统治的挑战.但主要是从理论上论证逻辑(形式证明)和修辞学(不诚实的说服)之外的第三条道路--分析实质论证的中介方法.叙述了体现图尔敏逻辑思想的一般论证理论的论证域或论坛.     

民事证明责任倒置形态简析

采用逻辑划分的手段对民事证明责任倒置形态进行分类,可以得到动态与表态、裁量与法定、经验与逻辑的证明责任倒置。民事证明责任倒置的形态构建深化了证明责任倒置的理论研究,并从理论的高度指导证明责任在诉讼实践中的分配和适用。实践证明,责任倒置已由动态到静态、由裁量到法定、由经验到逻辑的司法———立法———司法演进。     

可计算性逻辑中CL4系统定理证明

可计算性逻辑的形式系统CL4具有强大的表达能力和很好的应用前景,为了进一步完善其理论基础,采用严格的逻辑方法,对该系统中的相关重要定理进行证明。证明过程及其结果显示,该系统中的一般原子表示一般的可计算性问题,在意义上有别于经典逻辑中的原子。     

一个组合等式的两种证明方法

本文用两种方法证明了一个有应用背景的组合等式。一种方法是对组合式直接运算，另一种则体现了数图结合的思想。从证明过程可以看出后一方法直观简洁。两种方法均可用于证明其它一些组合等式。     

利用LDAP目录解决证书注册中的POP问题

利用LDAP目录解决公钥基础设施中拥有证明问题的解决方案,并与其它的解决方案进行了比较,分析了该方案的可用性.摘要提出利用LDAP目录解决公钥基础设施中拥有证明问题的解决方案，并与其它的解决方案进行了比较，分析了该方案的可用性。     

论生产安全事故的证明对象和证明标准

生产安全事故证据对事故调查起着基础性和决定性作用,但实务中没有可以直接适用的生产安全事故证据规则,理论上对生产安全事故证据的研究较为薄弱,证明对象模糊、证明标准不清晰的问题较为突出。结合法律实务案例,阐明安全生产事故的证明对象及证明标准,对明确安全生产事故调查方向、增强事故证据收集的操作性有积极的意义。     

用凸函数的性质证明有关不等式

在利用凸函数的性质证明有关不等式的例子中探索一种比较简便的证明方法,可以在"丰富证明不等式方法,简化不等式证明过程"中发挥一定的作用.     

冷库稻壳热绝缘层热湿状态研究

本文对冷库稻壳热绝缘层的热湿特性进行了分析。提出用空气层解决冷库工程中热绝缘材料受潮的方法,通过工程实践和热工测试分析,证实了在冷库阁楼稻壳层表面形成自防潮壁垒理论;0℃附近的干燥带的存在。使得对冷库热绝缘层的热湿迁移现象的物理本质有了新的认识,对冷库热绝缘层保持干燥的设计方法起重要的指导作用。     

抗弹陶瓷的犁削机理和自锐作用研究

研制了铬刚玉抗弹陶瓷，其抗弹能力比标准均质钢有很大的提高，通过分析讨论，其主要抗弹机制为犁削机理和自锐作用。     

"以德治国"重在"官德"建设

在我国社会主义现代化步入新的发展时期,提出了"依法治国"和"以德治国"紧密结合的基本方略.在我国,治国主体是人民,而各级领导干部是治国主体的"代理人",其道德素质如何,直接关系到社会主义事业的兴衰成败,关系到党的前途命运.当前,我国干部的道德状况尚不能满足"以德治国"的内在要求,直接影响了"以德治国"的有效实施,因此,以德治国重在"官德"建设.在进行"官德"建设时,首先要澄清认识,其次要自律和他律双管齐下.     

钢结构防火

钢结构的防火是钢结构建筑主要存在的安全问题，通过对钢结构防火原理的介绍探讨钢结构防火的方法、措施。从结构设计和建筑技术的角度出发，分别探讨了相关的钢结构防火问题。     

Properties of Elliptic Integrals and Their Generalizations

In this paper, a conjecture put forward by G. D. Anderson, S.-L. Qiu and M. K. Vamanamurthy in 1995 and concerning elliptic integrals is proved to be true, and some monotoneity and onvexity properties of certain combinations of generalized elliptic integrals are obtained.     

承诺值在特定区间的高效证明

现有的证明承诺值x位于特定区间[a,b]的协议皆是先证明x不小于a．然后再重复同样方法证明b不小于x．为了去掉这种方法上的重复性，通过联合运用两承诺值相等协议及CFT证明协议提出了一个证明承诺值位于特定区间的新协议．协议运行一次便可使验证者确信承诺值x位于区间[a，b]中．该协议是统计零知识证明．与Boudor协议比较，该协议在计算量上少了一个指数运算，在通信置上由16176比特下降为13222比特．通信效率提高了18．26％．     

可公开验证的安全电子拍卖方案

在大多数电子拍卖方案中,如果第三方勾结,那么投标者的标价不再保密。在任何情况下保持标价的秘密性是非常重要的,它们很可能是投标者重要的商业秘密。该文提出了一种可公开验证的安全电子拍卖,结合零知识证明协议,使拍卖方案可公开验证并达到最小泄漏。该方案泄漏的只是中标价,其余标价及其相互关系在任何勾结情况下都是保密的,而且,标价的正确性可以公开验证。该方案的效率远远高于最近Brandit提出的方案。     

AHP中几个保序定理的新证明

在ＡＨＰ的排序理论中，保序性是一个十分重要的问题．本文给出ＡＨＰ中几个保序定理新的、简单的证明     

Krull交定理的一个初等证明

Krull交定理是交换代数中的一个重要定理,有着广泛的应用。针对交换代数书上的证明比较深奥,学生难以理解,本文应用Hilbert基定理,给出一个能够揭示其本质的简单证明,同时给出一个推论。     

夫妻共同债务的认定

近年来,因离婚而引起的债务纠纷屡见不鲜。《婚姻法解释(二)》第24条在确立夫妻债务的承担方式、强调维护第三人利益的同时却忽视了夫妻当中非举债一方利益的保护。因此,有必要清晰界定共同债务与个人债务的范围,合理分配婚姻关系当事人和债权人的举证责任,以便实现双方的利益平衡。