期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
证明理性化与刑事定罪标准之调整——基于防控司法错误的视角 被引量:8
1
作者 林喜芬 《法制与社会发展》 CSSCI 北大核心 2011年第1期63-73,共11页
近年来,一些学者主张我国应吸收借鉴西方国家的排除合理怀疑的证明标准,客观地讲,该证明标准在西方确实能最大限度地防控错判无辜的司法错误,同时还可以兼顾错放罪犯的司法错误,但却是以一套科学合理的证明机制为配套的。鉴于我国现实... 近年来,一些学者主张我国应吸收借鉴西方国家的排除合理怀疑的证明标准,客观地讲,该证明标准在西方确实能最大限度地防控错判无辜的司法错误,同时还可以兼顾错放罪犯的司法错误,但却是以一套科学合理的证明机制为配套的。鉴于我国现实的制度语境,庭审证明标准能否松动不仅在于语词的改换,更在于语境的转换与配套证明机制之完善。 展开更多
关键词 证明理性 定罪标准 司法错误 社会控制
原文传递
理性主义、证据规则与证明理性——英美法律事实理论的前提与问题转向 被引量:4
2
作者 邹利琴 《法制与社会发展》 CSSCI 北大核心 2009年第5期82-94,共13页
英美法律事实讨论的理论前设历经乐观的理性主义到谨慎的理性主义,从严格区分法律问题与事实问题到反思这种区分,这种理论前提的调整也带来了英美法律事实理论内容本身的转变,从过分关注证据规则转向对证明理性的深入探讨,开辟了英美法... 英美法律事实讨论的理论前设历经乐观的理性主义到谨慎的理性主义,从严格区分法律问题与事实问题到反思这种区分,这种理论前提的调整也带来了英美法律事实理论内容本身的转变,从过分关注证据规则转向对证明理性的深入探讨,开辟了英美法律事实讨论的各种崭新论题。 展开更多
关键词 法律事实 证据规则 证明理性
原文传递
道德合理性证明意味着什么?
3
作者 谢礼圣 《井冈山大学学报(社会科学版)》 2015年第3期31-35,94,共6页
道德合理性证明问题是当代西方伦理学关注的一个中心问题。这个问题关涉理性与合理性的区分,反映出西方理性观的变化。基础主义证明方法在道德合理性证明问题上已经缺乏说服力。在当代西方伦理学中,道德合理性证明的两种主要方法是叙事... 道德合理性证明问题是当代西方伦理学关注的一个中心问题。这个问题关涉理性与合理性的区分,反映出西方理性观的变化。基础主义证明方法在道德合理性证明问题上已经缺乏说服力。在当代西方伦理学中,道德合理性证明的两种主要方法是叙事和道德论证。叙事和道德论证之间的紧张关系制约着当代西方伦理学的可能发展方向。 展开更多
关键词 道德 理性证明 基础主义 叙事 道德论证
下载PDF
数学证明教学策略探索 被引量:2
4
作者 邵婷婷 邵光华 林艳斌 《数学教育学报》 北大核心 2009年第2期28-31,共4页
证明可以分为实用性证明和理性的证明两类.学生学习数学证明前已有实用性证明观念,教师在数学证明入门教学中常常忽视学生的实用性证明观念.数学证明入门教学的有效策略是:实现由实用性证明到理性证明的过渡,并应有较为合理的证明... 证明可以分为实用性证明和理性的证明两类.学生学习数学证明前已有实用性证明观念,教师在数学证明入门教学中常常忽视学生的实用性证明观念.数学证明入门教学的有效策略是:实现由实用性证明到理性证明的过渡,并应有较为合理的证明教学观. 展开更多
关键词 实用性证明 理性证明 数学证明 教学策略
下载PDF
社区居委会“开证明”的尴尬与矛盾 被引量:1
5
作者 朱晓彦 《社会》 北大核心 2003年第6期25-26,共2页
我国的城市居委会体制建立于50年代初,自它成立之日起,就在城市人的社会生活中扮演着重要角色.尽管在单位体制下,居委会一直处于边缘状态,但它仍然与城市居民的社会生活息息相关.其中,一个很重要的纽带就是"开证明"--居民办... 我国的城市居委会体制建立于50年代初,自它成立之日起,就在城市人的社会生活中扮演着重要角色.尽管在单位体制下,居委会一直处于边缘状态,但它仍然与城市居民的社会生活息息相关.其中,一个很重要的纽带就是"开证明"--居民办理某些事务时,很多部门都要求由居委会来出具相关证明,比如居住证明、户口证明、婚姻状况证明等等.特别是无具体单位的居民,更是离不开居委会的证明. 展开更多
关键词 社区 建设 自治 居委会 权力 工作 “开证明 证明理性
下载PDF
对合同法合理性的思考
6
作者 赵融 《行政与法》 2006年第11期78-79,共2页
1999年合同法的颁布并不意味着对合同法合理性证明的完成,合同法的合理性应当来自于更高的社会规范,不能由其自身来加以证明。意思自治与财富最大化是当代证明合同法合理性的两种主要参考标准。
关键词 合同法 理性证明 意思自治 经济分析
下载PDF
正本清源:正当防卫权利之本的应然回归 被引量:2
7
作者 魏汉涛 《暨南学报(哲学社会科学版)》 CSSCI 北大核心 2021年第8期101-116,共16页
正当防卫的权利之本是正当防卫成立条件设置的基础与解释之源,但国内学者大多停留于介绍国外理论学说而没有进行必要的追问,以致正当防卫的权利之本没有达成共识,这是有关正当防卫成立条件的解读百家争鸣却难以平息的主要原因,也是有关... 正当防卫的权利之本是正当防卫成立条件设置的基础与解释之源,但国内学者大多停留于介绍国外理论学说而没有进行必要的追问,以致正当防卫的权利之本没有达成共识,这是有关正当防卫成立条件的解读百家争鸣却难以平息的主要原因,也是有关防卫案件的司法裁判难以让人信服的深层根源。由于法益大小的衡量、法益位阶高低的判断变得越来越困难,“法益衡量说”和“优越利益说”的解释力越来越低。“社会秩序维护说”难以发挥正当防卫成立条件的解释功能,“个人的自己保全说”无法演绎出正当防卫的边界。“社会相当性说”贴近正当防卫的自然法之源,可以实现法理与事理的对接,会使正当防卫制度更接地气,得到最高司法机关发布的指导意见及其指导案例的间接肯认。另外,将社会相当性作为正当防卫的权利之本,不会重回法律与道德的混同,社会相当性的判断标准模糊的缺陷可以克服,判断要素无限、判断标准多元的问题可以解决。 展开更多
关键词 正当防卫 权利本质 社会相当性 理性证明
下载PDF
Arithmetical Proof and Open Sentences
8
作者 Neil Thompson 《Journal of Philosophy Study》 2012年第1期43-50,共8页
If the concept of proof (including arithmetic proof) is syntactically restricted to closed sentences (or their Godel numbers), then the standard accounts of Godel's Incompleteness Theorems (and Lob's Theorem) ... If the concept of proof (including arithmetic proof) is syntactically restricted to closed sentences (or their Godel numbers), then the standard accounts of Godel's Incompleteness Theorems (and Lob's Theorem) are blocked. In these standard accounts (Godel's own paper and the exposition in Boolos' Computability and Logic are treated as exemplars), it is assumed that certain formulas (notably so called "Godel sentences") containing the Godel number of an open sentence and an arithmetic proof predicate are closed sentences. Ordinary usage of the term "provable" (and indeed "unprovable") favors their restriction to closed sentences which unlike so-called open sentences can be true or false. In this paper the restricted form of provability is called strong provability or unprovability. If this concept of proof is adopted, then there is no obvious alternative path to establishing those theorems. 展开更多
关键词 Godel numbers arithmetical proof Godel's Incompleteness Theorems Lob's Theorem
下载PDF
A Novel Provable Data Possession Scheme Based on Geographic Location Attribute
9
作者 Yaxing Zha Shoushan Luo +1 位作者 Jianchao Bian Wei Li 《China Communications》 SCIE CSCD 2016年第9期139-150,共12页
Increment of mobile cloud video motivates mobile users to utilize cloud storage service to address their demands, cloud storage provider always furnish a location-independent platform for managing user's data. Howeve... Increment of mobile cloud video motivates mobile users to utilize cloud storage service to address their demands, cloud storage provider always furnish a location-independent platform for managing user's data. However, mobile users wonder if their cloud video data leakage or dynamic migration to illegal service providers. In this paper, we design a novel provable data possession protocol based on data geographic location attribute, which allows data owner to auditing the integrity of their video data, which put forward an ideal choice for remote data possession checking in the mobile cloud storage. In our proposed scheme, we check out whether the video data dynamic migrate to an unspecified location (such as: overseas) by adding data geographic location attribute tag into provable data possession protocol. Moreover, we make sure the security of our proposed scheme under the Computational Diffic-Hellman assumption. The analysis and experiment results demonstrate that our proposed scheme is provably secure and efficient. 展开更多
关键词 cloud storage security provable data possession geographic location security boundary CDH assumption
下载PDF
麦金太尔“传统”观念探究——基于“追寻美德筹划”的分析
10
作者 张言亮 唐虎 《世界哲学》 北大核心 2023年第6期138-146,共9页
“传统”是麦金太尔“追寻美德筹划”中的核心观念。在《追寻美德》中,麦金太尔初步说明了何谓传统,它如何为理解美德提供背景。在《谁之正义?何种合理性?》中,麦金太尔论述了一种基于传统的认识论,引入了探究传统的观念,强调在进行道... “传统”是麦金太尔“追寻美德筹划”中的核心观念。在《追寻美德》中,麦金太尔初步说明了何谓传统,它如何为理解美德提供背景。在《谁之正义?何种合理性?》中,麦金太尔论述了一种基于传统的认识论,引入了探究传统的观念,强调在进行道德探究的时候离不开其背后的传统;在《三种互竞的道德探究观》中,麦金太尔论述了托马斯主义的探究观,认为这一探究观是基于传统的道德探究观。麦金太尔的“传统”观念引起很多学者的异议,他们批评麦金太尔加剧了道德相对主义、用权威和信仰替换了理性、这一理论并无现实性等等。仔细思考麦金太尔传统观念的语境,这些批评都能得到相应的回应。麦金太尔对于“传统”的强调为伦理学探究提供了新的视野。 展开更多
关键词 麦金太尔 传统 追寻美德筹划 理性证明 道德探究
原文传递
企业与人权的伦理关联
11
作者 孙丰云 《中国哲学年鉴》 2017年第1期355-356,共2页
从文献上看,关于企业与人权的具体讨论尚未进入中国伦理学者的视界,尽管对这一问题的伦理思考本身具有其他学科领域(如法律、政治等)的理论论证不可替代的基础性意义。外在的压力和挑战与内在的伦理动机是企业与人权伦理关联合理性证明... 从文献上看,关于企业与人权的具体讨论尚未进入中国伦理学者的视界,尽管对这一问题的伦理思考本身具有其他学科领域(如法律、政治等)的理论论证不可替代的基础性意义。外在的压力和挑战与内在的伦理动机是企业与人权伦理关联合理性证明的两个必要元素。 展开更多
关键词 必要元素 中国伦理学 人权 伦理思考 基础性意义 不可替代 理论论证 理性证明
原文传递
A Constructive Proof of Beurling-Lax Theorem 被引量:1
12
作者 Qiuhui CHEN Tao QIAN 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2015年第1期141-146,共6页
This paper deals with an alternative proof of Beurling-Lax theorem by adopting a constructive approach instead of the isomorphism technique which was used in the original proof.
关键词 Beurling-Lax theorem Shift operator Inner function
原文传递
A three level linearized compact difference scheme for the Cahn-Hilliard equation 被引量:22
13
作者 LI Juan 1,2 ,SUN ZhiZhong 1,& ZHAO Xuan 1 1 Department of Mathematics,Southeast University,Nanjing 210096,China 2 Yingtian College,Nanjing 210046,China 《Science China Mathematics》 SCIE 2012年第4期805-826,共22页
This article is devoted to the study of high order accuracy difference methods tor the Cahn-rnmara equation. A three level linearized compact difference scheme is derived. The u^ique solvability and uaconditional conv... This article is devoted to the study of high order accuracy difference methods tor the Cahn-rnmara equation. A three level linearized compact difference scheme is derived. The u^ique solvability and uaconditional convergence of the difference solution are proved. The convergence order is O(T2+h4) in the maximum norm. The mass conservation and the non-increase of the total energy are also verified. Some numerical examples are given to demonstrate the theoretical results. 展开更多
关键词 Cahn-Hilliard equation compact difference scheme CONVERGENCE SOLVABILITY CONSERVATION energynon-increase
原文传递
A NONLINEAR KREIN RUTMAN THEOREM 被引量:4
14
作者 K.C.CHANG 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2009年第4期542-554,共13页
A nonlinear version of Krein Rutman Theorem is established.This paper presents aunified proof of the Krein Rutman Theorem for linear operators and for nonlinear operators,and ofthe Perron-Frobenius theorem for nonnega... A nonlinear version of Krein Rutman Theorem is established.This paper presents aunified proof of the Krein Rutman Theorem for linear operators and for nonlinear operators,and ofthe Perron-Frobenius theorem for nonnegative matrices and for nonnegative tensors. 展开更多
关键词 EIGENVECTOR increasing map p-Laplace operator positive operator spectral radius.
原文传递
Stability analysis for a class of impulsive competitive neural networks with leakage time-varying delays 被引量:1
15
作者 AOUITI Chaouki ASSALI El Abed +1 位作者 CAO Jin De ALSAEDI Ahmed 《Science China(Technological Sciences)》 SCIE EI CAS CSCD 2018年第9期1384-1403,共20页
In this paper, we consider the existence, the uniqueness, the global exponential stability, the global asymptotic stability, the uniform asymptotic stability and the uniform stability of the equilibrium point of impul... In this paper, we consider the existence, the uniqueness, the global exponential stability, the global asymptotic stability, the uniform asymptotic stability and the uniform stability of the equilibrium point of impulsive competitive neural networks with distributed delays and leakage time-varying delays. The existence of a unique equilibrium point is proved by using Brouwer's fixed point theorem. By finding suitable Lyapunov-Krasovskii functional, some sufficient conditions are derived ensuring some kinds of stability. Finally, several examples and their simulations are given to illustrate the effectiveness of the obtained results. 展开更多
关键词 competitive neural networks leakage delay asymptotic stability global exponential stability IMPULSE
原文传递
Multiplicity one theorems, S-version 被引量:1
16
作者 WANG Song 《Science China Mathematics》 SCIE CSCD 2015年第2期233-256,共24页
It is well known by the strong multiplicity one thatπis uniquely determined by the Satake parameter c(π,v)for almost all v.Also,it suffices for us to test only finitely many v.We proved some S-effective version of m... It is well known by the strong multiplicity one thatπis uniquely determined by the Satake parameter c(π,v)for almost all v.Also,it suffices for us to test only finitely many v.We proved some S-effective version of multiplicity one theorems.Roughly speaking,ifπandπ′are not equivalent,then there is also a bound N(S)which is some expression in terms of K,d and max(N(π),N(π′)),which are analytic conductor ofπandπ′,respectively(will be defined soon),such that there is a v/∈S withπv~=π′vand N pv<N.We also proved S-effective multiplicity one for the Chebotarev Density Theorem,and for GL(1). 展开更多
关键词 multiplicity one theorem S-version automorphic form L-FUNCTION
原文传递
An Example Using Improved Lefschetz Duality
17
作者 Pascal LAMBRECHTS Jeremy LANE Donald STANLEY 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2017年第6期1269-1274,共6页
A theorem of Lambrechts and Stanley is used to find the rational cohomology of the complement of an embedding S^(4n-1)→ S^(2n)× S^m as a module and demonstrate that it is not necessarily determined by the map in... A theorem of Lambrechts and Stanley is used to find the rational cohomology of the complement of an embedding S^(4n-1)→ S^(2n)× S^m as a module and demonstrate that it is not necessarily determined by the map induced on cohomology by the embedding, nor is it a trivial extension. This demonstrates that the theorem is an improvement on the classical Lefschetz duality. 展开更多
关键词 Lefschetz duality EMBEDDING Extension problem
原文传递
Hyperbolicity of unitary involutions
18
作者 KARPENKO Nikita A. 《Science China Mathematics》 SCIE 2012年第5期937-945,共9页
We prove the so-called Unitary Hyperbolicity Theorem,a result on hyperbolicity of unitary involutions.The analogous previously known results for the orthogonal and symplectic involutions are formal consequences of the... We prove the so-called Unitary Hyperbolicity Theorem,a result on hyperbolicity of unitary involutions.The analogous previously known results for the orthogonal and symplectic involutions are formal consequences of the unitary one.While the original proofs in the orthogonal and symplectic cases were based on the incompressibility of generalized Severi-Brauer varieties,the proof in the unitary case is based on the incompressibility of their Weil transfers. 展开更多
关键词 algebraic groups INVOLUTIONS projective homogeneous varieties Chow groups and motives Steenrod operations
原文传递
论康德的善良意志概念
19
作者 张继选 《哲学门》 2001年第2期143-156,共14页
本文通过对康德的善良意志概念的分析表明,善良意志不仅是善的,而且是无条件的善,其它任何东西如果能够成为善的话必定是有条件而善的,因而是有条件的善,这些条件系列虽不是直接导源于、但其终极性却在于善良意志的善良性,由此引导出与... 本文通过对康德的善良意志概念的分析表明,善良意志不仅是善的,而且是无条件的善,其它任何东西如果能够成为善的话必定是有条件而善的,因而是有条件的善,这些条件系列虽不是直接导源于、但其终极性却在于善良意志的善良性,由此引导出与善相关联的伦理学的合理性证明:一方面有条件的善的合理性在扌其条件性,而这种条件性最终在理论上又导向善良意志;另一方面善良意志的善良性的合理性不仅在于有条件的善对条件的理论终极性的必然要求,而且最为重要则在于意志活动本身即意志的自.由性,因为善良意志的善良性之无条件性本身就显示出它如要满足合理性要求就不能诉诸于任何外在于、并有可能制约意志的东西。正因为如此,本文作者认为,康德的善良意志概念所要表达的重要道德意理就是,意志或者毋宁说意志之自由是任何善物之为善的根据,是我们借以进行道德判断的价值的源泉。于是在康德那里,作为道德哲学的核心概念善与自由便在意理上融入互通互释的概念结初之中。 展开更多
关键词 善良意志 无条件——内在的善 道德价值 理性证明
原文传递
A new proof of Wu’s theorem on vortex sheets
20
作者 WANGChao ZHANGZhiFIei 《Science China Mathematics》 SCIE 2012年第7期1449-1462,共14页
We give a new proof of Wu's theorem on vortex sheets by using WI'p estimate for the elliptic equation of divergence form with partially BMO coitlcients and Lp boundedness of commutators of Calder6n- Zygmund operators.
关键词 vortex sheet Birkhoff-Rott equation BMO Calderdn-Zygmund operators
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部