共查询到10条相似文献,搜索用时 15 毫秒
1.
一个多值逻辑的一阶谓词系统 总被引:1,自引:0,他引:1
鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑。本文将对推广的命题逻辑系统L^*建立一种一阶谓词系统,并证明其可靠性、完全性。 相似文献
2.
哥德尔(Kurt Godel)是现代逻辑史上的巨匠,他在逻辑史上有两大贡献:一是他证明了罗素和怀特海在《数学原理》中提出的一阶逻辑演算的完全性定理(1930),即任何有效的一阶公式都是可证的。二是他证明了著名的不完全性定理(1931),《数学原理》的系统和集合论的ZF公理系统不足以判定能在这些系统中形式化的所有数学问题... 相似文献
3.
4.
5.
本文研究了在所有有穷结构上SO.HORN*,SO—HORNτ和SO-HORNτ的表达能力。我们证明了SO-HORNτ,SO—HORN*τ和FO(LFP)的表达能力是一致的,SO—HORN*是SO-HORNτ的一个严格子逻辑。为了证明这一结果,我们提出了DATALOG*程序,DATALOGτ程序以及它们的分层版本S-DATALOG*程序利S-DATALOGτ程序。我们证明了在所有有穷结构上DATALOGτ和S-DATALOGτ是等价的,并且DATALOG。足DATALOGτ的一个严格子逻辑。最后我们还用两种方法证明了SO-HORN的一个扩展版本SO—EHORNτ逻辑可以在所有有穷结构有有结构上刻画co—NP。 相似文献
6.
7.
内隐记忆的证明逻辑与加工分离说(PDP)的修正模型 总被引:3,自引:0,他引:3
讨论了内隐记忆的证明逻辑和内隐与外显测验中的意识和无意识影响问题。间接证明内隐记忆的逻辑应用在功能分离实验中。它的前提假设是记忆测验都是"纯净"的。直接证明逻辑应用在匹配比较实验中。它认为测验中的意识和无意识影响是并存的,Jacoby等人近期提出的加工分离说(PDP)在匹配比较法的基础上,将测验中的意识和无意识影响进行了分离,并借用经典测验理论的公式计算这两种影响。作者认为,按照概率论关于两个随机独立事件之和与积的运算法则,必须把包含测验(inclusiontest)的公式修正为Inclusion=R(1-a)+A(1-R)。修正过的PDP由四个方程组成。它不仅考虑了原PDP忽视的外显条件下的无意识缺失(1-a),而且可以更加确切地估计回忆概率(R)。这在数学理论上已找到了证据。 相似文献
8.
<正>对角线方法是指德国学者康托尔 ( G. Cantor) 在证明实数集不可数时所运用的一种技术方法。在这种意义上,康托尔的实数集不可数论本身便是对角线方法的一种重要运用。此外,对角线方法还有两种重要运用,即哥德尔对角线定理和汤姆逊引理的证明。哥德尔对角线定理又叫 "哥德尔自指定 相似文献
9.
在贝尔瑙手稿中,胡塞尔不仅系统描述了二阶现前的结构与诸要素,而且也对一阶现前的诸环节展开了贴着地面的分析。通过对一阶现前概念的厘定,对一阶现前中前摄与滞留相互转化的澄清,以及对一阶现前中无限后退的描述,胡塞尔不仅确立了一阶现前与二阶现前关系,而且表明了一阶现前中充实的作用与原体现的特殊地位,以及一阶现前中必然出现的无限后退。由此,我们可以发现,与其早期时间观相比,在贝尔瑙手稿中胡塞尔对时间意识的探究推进到何种地步。 相似文献
10.
随着心理学从哲学的剥离,哲学认识论的实证研究任务转到了心理学的层面上来,但是试图割裂人类心理研究的思辨过程方显实证主义者的祛魅。[1]心理学的哲学性使认知理论研究属于一个既现实存 相似文献