证明逻辑相关论文
“孤证不能定案原则”在司法实践中被广泛采用,但其适用范围的扩张与功能异化的问题逐渐在司法实践中显现出来。这源于学界对“孤......
初中数学几何证明一直是教学的重点,几何证明其实质是形象思维的锻炼,但是从目前教学的实际反馈可以看出,初中学生对于几何证明会......
专业技术性问题超出法官经验范围,法官根据经验常识判定事实、适用法律的传统裁判模式遭遇危机,无法对案件事实形成内心确信。法官......
发现是由未知到新知的过程,应包括两大类:经验事实的发现和理论发现。发现与证明是不可区分的,发现与发明是互相渗透、互为前提的。科......
【正】 在科学发现与科学证明的思维过程中是否存在逻辑性?是否存在某些可循的逻辑方法?这些都是合理重构发现逻辑与证明逻辑以及......
发现问题是科学方法论的中心课题。科学发现究竟有无逻辑性,长期以来,哲学家、逻辑学家、心理学家及科学家都有不同的见解。传统理......
【正】 最近发现一些逻辑学著作,其中甚至有权威著作,竟用“数理逻辑”方法“证明”矛盾律和排中律.比如,美国斯坦福大学教授帕特......
当代哲学反思的兴奋中心已经转向方法,特别是科学方法。五六十年代以来的科学方法论研究,在科学的合理性及其标准、科学逻辑和科学......
讨论了内隐记忆的证明逻辑和内隐与外显测验中的意识和无意识影响问题。间接证明内隐记忆的逻辑应用在功能分离实验中。它的前提假......
核证的概念自柏拉图时代以来就是认知研究中的一个重要部分,柏拉图对知识有三个准则:核证,真,信念,但是,尽管逻辑研究者在知识和信......
辩护逻辑是用于认知推理的逻辑系统群。以在传统逻辑形式化进程中缺失的辩护算子作为研究对象,辩护逻辑吸收了数学证明论和主流的......