网络谣言犯罪证明困境及其出路——兼论否定性命题之司法证明

网络谣言因其虚假性信息的本质,呈现为一种否定性命题。网络谣言犯罪在刑事诉讼中存在证明困难,主要表现在三个方面:主观方面明知、故意要素的确定,客观方面信息、言论的真实性以及发布虚假信息、言论与危害后果之间的因果关系的确定。变更待证事实、严格责任制度、阶梯型罪名体系、法律推定等方法都具有解决犯罪构成要件证明困难的功能。这些模式在解决证明困难的范围、有效性、正当性上有各自优势与不足。相较而言,法律推定是解决上述证明困难的较佳选择,然而法律推定在正当性层面存在冲击无罪推定原则、破坏法治之虞,因此,要合理设置法律推定适用的实体与程序规则,谨慎适用法律推定。

“不是其所是”:萨特戏剧的否定性命题

萨特存在主义人生价值论里包含的"不是其所是"的否定性命题,要从根基上颠覆西方传统理性主义形而上学决定论基础上的价值观。这种颠覆在萨特戏剧里主要表现为破碎了传统理性主义价值观所制约的历史想象,揭示了传统理性主义价值观所孕育的社会现实。

为真者:基于否定性真命题的一种考察

分析哲学注重从语言和命题分析来阐述、解决哲学问题的主张,决定了一些为其专属的术语与概念,如真、真之载体、为真者等。在"为真者"问题上,阿姆斯特朗的探讨比较典型,从而使之成为具有广泛影响的话题。结合维特根斯坦对否定性真命题的"为真者"所提出的具体确定来考察"为真者",有利于推进分析哲学对世界与命题关系的理解以及这种关系所体现的哲学意蕴。

宜用反证法证明的命题

Ⅰ.关于否定性的命题 当命题中含有“不存在”、“不可能”之类的否定性结论时,命题可采用反证法.例1：圆内非直径的两弦相交不能互相平分.

几类多项式命题的反证法证明

多项式理论中涉及许多命题的证明 ,其中有些命题无法或不易用直接证法证明 。

数学分析中的反证法

众所周知,反证法作为一种间接证明的方法在数学分析乃至整个高等数学中有着广泛的应用。它对于那些抽象程度颇高而用直接证法难于达到目的的数学命题常常凑效。但如果问;“哪些类型的问题可用反证法”,一般来说是难以回答的。尽管如此,我们还是可以对大量的用反证法处理的命题进行分析、归纳、总结出一些规律性的东西进而提高运用反证法的自觉性。本文以数学分析课程为例试图阐明这一问题。