说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 数理逻辑基础
1)  Fundations of Mathematical Logic
数理逻辑基础
2)  logic foundation
逻辑基础
1.
Yet the academic logic should act as the logic foundation by the two principles of academic ontology and social response.
我国研究型大学基层学术组织的现实逻辑基础可以概括为学科目录逻辑、问题逻辑和单位逻辑,但最为本原的逻辑基础是政治逻辑。
3)  Logical foundation
逻辑基础
1.
Based on the logical foundation of theory, the paper makes a particular analyze on the interaction between them by demonstratin.
本文对公司治理和会计信息的内涵作了简单的界定,运用委托代理理论、契约理论、产权理论对公司治理和会计信息进行了经济学分析,公司治理与会计信息在现代企业理论上互动影响的逻辑基础。
2.
Analysed from the mechanism of creativity, it includes the discovery of “logical foundation” of the object of study, the development process of the categories related to each other, and the establishment of the “logical model” of the object s system.
从创造性机制分析 ,它涵盖研究对象的“逻辑基础”的发现、“逻辑基础”内含众规定“胚芽”经由诸范畴关联交合的推进展示、以及对象系统整体的“逻辑模式”创建的全程。
4)  logical basis
逻辑基础
1.
Is there a firm logical basis of metaphysics? If so,what form should it take? Moreover,what kind of answer can it give us regarding Metaphysics? The Dogical Basis of Metaphysics,the masterpiece of Dummett,is just intended to answer such questions.
形而上学有一个坚实的逻辑基础吗?如果有,应该是个什么形式?它能给予我们一个什么样的关于形而上学的答案?达米特的代表著作《形而上学的逻辑基础》就是试图回答这些问题的。
5)  underlying logic
基础逻辑
1.
Paraconsistent logic is the underlying logic of all paraconsistent theories, it has a wide useful foreground on aspects of computer, artificial intelligence and law etc.
它限制了经典逻辑中矛盾律作用 的范围,能够容纳有意义的真矛盾,能够作为一切不协调理论的基础逻辑,在计算机和人工智能以及法律等领 域都具有广阔的应用前景。
6)  the rationality of logical foundation
逻辑基础的合理性
补充资料:数理逻辑
数理逻辑
mathematical logic

   用数学方法研究符号化、形式化的逻辑演绎规律的数学分支。又称符号逻辑、数学逻辑,是古典逻辑的发展。
    简史 古典逻辑又称形式逻辑,从亚里士多德的三段论式起已有2000多年的历史。古典逻辑分析语言所表达的逻辑思维形式。但人们的语言中常有含糊不清不易判别的语句引起歧义,甚至争论。17世纪德国哲学家、数学家G.W.莱布尼 兹提出用数学符号式的“通用语言”来进行思维演算,使人们能够证明思维的正确性,从而避免争论,这是数理逻辑最早的萌芽。从莱布尼兹以后,经过许多数学家、哲学家的不断努力,到19世纪初英国数学家G.布尔终于成功地构造了一种思维的代数,后来被称为布尔代数,初步实现了莱布尼兹的部分设想,又经过不少数学家的努力,布尔代数被发展为具有逻辑蕴涵式的命题演算,成为最简单的公理化的逻辑系统。命题演算的公理系统是一个完全的公理系统,即从公理出发推演出的都是恒真命题,而命题逻辑中任何一个恒真的命题都可以从公理出发推演出来。但命题逻辑的表现力不强,它只能分析简单命题的真假,不能分析命题中的主谓结构。与布尔同时代的英国数学家A.德·摩根,采用符号表示命题中的谓词,使数学中的“关系”,“函数”都可以在逻辑命题中出现,加强了逻辑的表现力。又经过G.弗雷格等数学家的改进,最终建立了公理化的谓词演算,成为数理逻辑的基础。
    谓词演算 又称一阶逻辑。主要研究如何把数学中一些命题表示为逻辑公式,判明哪些公式是恒真式,哪些公式相互逻辑等价,还研究如何把一般的公式逻辑等价地化为标准形式。谓词演算的另一个重要内容是逻辑推演,即从一些公式出发演绎出另一些公式。用作出发点的公式叫假设式条件,演绎出的公式叫结论。公理化的谓词演算由语言、公式、公理、推演规则和定理构成。语言是一些基本的符号。由基本符号依一定规则归纳地定义出公式。选定的一些公式构成公理,从公理出发依推演规则推演出的命题叫定理。数理逻辑可以把语言,公式、推演都当作数学对象加以研究。这就使数学方法得以引进逻辑,也使逻辑方法可以用来研究数学中的问题,从而产生许多新的方法,得到不少新的结果。
    数理逻辑与数学基础的关系 数理逻辑的发展与数学基础的研究有很大的关系。19世纪,对数学分析中实数系的研究吸引了许多数学家的注意,实数系的严格定义关系到整个数学的基础。19世纪70年代,G.康托尔建立起一整套集合论理论,使集合论可以研究无穷基数,序数的性质,实数系也可以用集合论的方法加以定义,这使人们欣喜地认为集合论可以作为数学的严格的基础。不幸的是1902年,年轻的哲学家B.A.W.罗素提出的罗素悖论动摇了集合论的基础。为了排除悖论,寻找严格的数学基础,数学家和逻辑学家做了大量的研究,展开了许多争论,形成了3个主要流派、以罗素为代表的逻辑主义学派,主张用逻辑推演出数学,罗素以分枝类型论试图排除悖论,但后来证明分枝类型论无法从根本上排除悖论,罗素的方法也会陷于矛盾。以L.E.J.布劳威尔为代表的直觉主义学派,认为悖论来源于排中律,即反证法,布劳威尔主张不用反证法,而完全用构造性证明来重建整个数学。直觉主义数学非常复杂,但取得了不少成就、以D.希尔伯特为代表的形式构造学派,主张捍卫排中律。他提出一整套的程序和限制,以求把数学的一些系统形式化,并在系统中严格地证明它的不矛盾性。然而1930年K.哥德尔用不可辩驳的严格证明推翻了希尔伯特的期望。哥德尔证明在一个较强的形式系统中,其不矛盾性不能在系统本身中得到证明。这就是有名的哥德尔不完备性定理。后来,哥德尔放宽了希尔伯特的限制,允许使用超限归纳法,证明了自然数系统的不矛盾性。这几个学派的争论促使数理逻辑迅速发展。除了命题演算、谓词演算,数理逻辑已有四个主要分支,即模型论、递归论、公理集合论和证明论。模型论用代数方法研究逻辑语法和语义的关系研究公理集的和谐性和完全性,也研究一些代数结构的模型论性质。递归论研究形式化的计算、可计算函数的判定、可计算函数的计算复杂性及不可解问题。公理集合论把集合论公理化,用公理对集合加以限制来避免悖论,公理集合论研究集合公理之间的和谐性和独立性,研究一些超穷基数之间的关系。证明论研究数学系统的不矛盾性证明,到现在,数学分析的不矛盾性证明仍然吸引逻辑学家的注意。数理逻辑的4个主要分支都已发展成为独立的学科,成为数学的分支。此外数理逻辑的一些新系统,如无穷长逻辑,高阶逻辑,附加量词逻辑,概率逻辑,拓扑逻辑等也迅速发展。一些非古典逻辑系统如模态逻辑、时态逻辑、问句逻辑也不断出现。现代数理逻辑的发展对哲学,数学,计算机科学,甚至对许多别的学科产生了深刻的影响。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条