共查询到19条相似文献，搜索用时 147 毫秒
1.
罗翊重 《昆明师范高等专科学校学报》2011,(4):23-31
逻辑矛盾仅是“量词-质词-真值词”皆矛盾的非等值关系命题,辩证矛盾仅是“主词-谓词-命题词”皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之“指断合一”的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。 相似文献
2.
从代数不等式的非反演算看哥德尔的第一不完全性定理 总被引：1，自引：1，他引：0
胥良 《昆明师范高等专科学校学报》2008,30(3):40-44
从代数不等式的负号运算中,归纳出其否定主词序对和关系谓词而不否定真值词的规律。又从逻辑否定（┐）代数不等式的运算中,揭示出其否定量词、质词和真值词而并不否定主词序对和关系谓词的规律。由此说明了哥德尔第一不完全性定理对包含了扩充自然数后的形式系统并不适用,从而引进了彻底根治一阶逻辑形式系统不完全性的基于负号（-）而推广的辩证否定算子（～）。 相似文献
3.
《科学技术哲学研究》2010,(6)
在形式主义学派数学哲学基本主张中,元叙事、基础主义和绝对主义构成了其现代性的思想特质。哥德尔不完全性定理表明,形式化证明对于论证数学真理是不充分的,这构成了拒绝形式主义的主要理由。伴随着基础主义思想的衰落,形式主义的整体数学观走到了其历史发展的终点。 相似文献
4.
万绍红 《阿坝师范高等专科学校学报》2005,22(3):22-24,41
一个不弱于初等数论的形式系统如果是一致的,则是不完全的。哥德尔不完全性定理明确揭示和证明自己把握“真”的能力限度。在这一点上,达尔似乎和哥德尔心心相通,拥有哈耶克式的知识论。达尔的多元主义民主通过多元因子的协同作用,使民主的影象越来越清晰。达尔对理性抱有深深的疑虑,因而不曾也不敢建构一个完美的形式系统以建构完美民主。民主从达尔开始具有了合理性。从乌托邦的纯粹民主步向了经验的协商民主。多元主义民主的合法性在博弈协商的过程中得以展现。 相似文献
5.
杜珊 《华中科技大学学报(社会科学版)》2005,19(3):21-25
麦金森定理在模态逻辑中扮演了举足轻重的作用。利用把Abs和Triv中的模态公式变为无模态公式的语法运算a与t我们可以给出麦金森定理的一个很简单的语法证明。一方面,通过这个语法证明所建立的加强的麦金森定理与波斯特完全性研究以及模态逻辑语义学中的几条基本原理等价。另一方面,麦金森定理本身清晰地提示了分裂对的两个最典型的实例,这在不完全性度的研究中是不可忽视的。 相似文献
6.
余俊伟 《西南师范大学学报(人文社会科学版)》2001,27(2):22-26
安德森认为依靠归约公式Op←→□(～p→S)能把道义逻辑归约为真值模态逻辑。但是，安德森的这种做法是不妥的。所有标准系统都不能把“帮助一名被抢劫者是应当的，并且禁止抢劫”这个命题形式化为系统的定理。善良的撒玛利亚人悖论属于这样一类悖论一公式A为某一形式系统的定理，但A的一个代入实例却是不可接受的。 相似文献
7.
胡塞尔反心理主义逻辑观的溃退具有必然性,一是由于其理论自身存在困难,例如他一方面试图摆脱主观唯心主义的束缚,另一方面却不自觉地以主观唯心主义的态度宣扬客观唯心主义理念论;他孤立地认识并且严格地划分了本质领域与经验领域、理念领域与事实领域以及绝对性与相对性等概念;他对怀疑主义的态度也有待商榷.二是由现代逻辑的发展需求所决定.随着哥德尔的不完全性定理、维特根斯坦的语言游戏说和乔姆斯基的心理主义语言学的出现,人工语言和形式系统的局限性日益显露,重返自然语言成为逻辑学的必然趋势. 相似文献
8.
9.
10.
哥德尔不完全性定理越来越受到人们的垂青和重视,但有些却是错解,需要予以澄清.哥德尔不完全性定理是整个逻辑学的中心,对其他许多学科也有重大的促进作用,甚至是有些学科的发端. 相似文献
11.
沈卫国 《天津职业院校联合学报》2011,(5):51-62
在前期一系列论文及著作中([2][4][5])对实数集(连续统)的可数性、康托对角线法等问题充分讨论的基础上,对序数的可数性问题进行分析,并由此引出对ZFC公理系统中的正则公理(基础公理,限制公理)的讨论。对与斯梅尔第18问题密切相关的哥德尔定理进行了分析,得到全新结论。提出实数的一进制表示法并在此基础上讨论康托对角线法的局限性问题。 相似文献
12.
This article discusses two theorems of Georg Cantor: Cantor’s Little Theorem and Cantor’s Diagonal Theorem. The results are obtained by generalizing the method of proof of the well known Cantor’s theorem about the cardinalities of a set and its power set. As an application of these, Gödel’s first incompleteness theorem is proved. Hints are given as to how to derive other deeper results including the existence of Parikh’s sentence. 相似文献
13.
狄爱芹 《商丘职业技术学院学报》2011,(5):1-2,5
基于局部凸算子空间表示定理,研究了有界向量测度ba（F,X）的序列完备性和P^＊＊-完备性,由此知道局部凸空间的序列完备性具有“提升性质”． 相似文献
14.
S. M. Srivastava 《Resonance》2001,6(7):29-41
This is a two-part article giving a brief introduction to mathematical logic. It will culminate in the so-called completeness theorem of Kurt Gödel, which will be proved in the second part. 相似文献
15.
张旭 《武汉工程职业技术学院学报》2002,14(2):40-46
在数据库管理系统中，如何保证数据库的完整性是一项重要的工作，本文以SQL Server数据库管理系统为例，介绍了用触发器实现数据库的数据完整性。 相似文献
16.
Vijay Chandru 《Resonance》2001,6(7):22-28
This paper presents an introduction to and an overview of the celebrated incompleteness theorems of Kurt Gödel. Starting with Richard’s paradox, the logical antimony that motivated Gödel to look at encoding metamathematics in the arithmetic of integers, this overview traces the highlights of the encoding and the gist of Gödel’s final arguments. 相似文献
17.
S. M. Srivastava 《Resonance》2001,6(8):60-71
In Part 11 of the article, we introduced the basic notions and techniques of mathematical logic. In this part, we present the completeness theorem of first order logic proved first by Gödel in 1929. We give a sketch of the proof due to Henkin. 相似文献
18.
吴能华 《金华职业技术学院学报》2011,(3):82-85
为了扩大了对耦合Schrdinger-Boussinesq方程组研究的成果,通过G′/G展开法,借助计算机代数系统Maple,对耦合Schr dinger-Boussinesq方程组进行求解,得到一系列新的耦合Schr dinger-Boussinesq方程组的显式精确解,拓展了G′/G展开法的应用。 相似文献
19.
以皖北地区2000到2011年的数据为研究依据,对农民工就业能力、市场分割系数、户籍分割系数、行业分割系数以及农民农业纯收入做了分析。研究发现,皖北地区的农民工劳动力市场存在着不完全性,而这种不完全性是由城乡差别、户籍制度、产业结构等多个原因造成的。为解决市场的不完全性就必须调整产业结构,加大对农民工的教育和培训,提升他们的劳动素质,同时要引导他们通过正规和非正规等多途径就业,提高他们的劳动收入。 相似文献