高等数理逻辑2序言

AdvancedMathematical西安交大电信学院计算机软件AdvancedMathematical序逻辑oyos(罗各斯，英语logic)音译。原意是指思维。思维：

。形式逻逻辑：辩证逻辑数理逻形式逻辑：(formallogic)形式逻辑也称为初等逻辑。它研究思维的(逻辑)形式结构和(逻辑)规律，而不管思维的的具体内容。同时也研究一些认识现实的简单的逻辑方法。毛泽东在延安文艺座谈会上当谈到形式逻辑时说过：形式逻辑只管形式，从错误的形式逻辑： 演绎逻辑(deductivelogic)演绎逻辑的任务在于研究如何检验演绎的正确性(即决定一个推理是否是正确的演绎出一个已知规则)以及如何构造出正确的未知(演绎推理)规则。归纳逻辑：(inductivelogic)归纳逻辑的任务在于研究如何測定不充分置信的推理的归纳概率的大小，从而决定该不充分置信推理的归纳强度规则，并且研究如何构造出归纳强度高的推理规则。辩证逻辑：(dialecticallogic)辩证逻辑也称为高等逻辑。它是研究人类的辩证思维及其规数理逻辑：(dialecticallogic)数理逻辑也称为符号逻辑。它是用数学的方法来研究形式逻辑(主要是演绎逻辑)数学方法：这里所指的数学方法，就是引进一套符号体系，用以建立一类数学符号语言(形式语言)，以其作为思维的载体，进而建立起逻辑的各种形式系统，从而来研究思维及其规律的方法。数理逻辑： 狭义逻辑：(speciallogic)狭义逻辑是指用数学方法只研究数学思维、数学性质、以及数广义逻辑：(generalizedlogic)古希逻辑的三大发源地：古代中国古印代表人物；亚里士多德(Aristoteles，公元前384-322)，西方称其为逻辑之父，西方三圣之一。另两位是苏格拉底(Socrates，公元前469-399，柏拉图的老师)和柏拉图(Platon，公元前427-347，亚里士多德的老师和同学)；代表人物；墨子(公元前468-376,一说公元前476-390,又一说公元前480-400;鲁国人，有的说是宋国人):春秋末战国初时期的思想家、学者，墨家学派(约公元50-《正理经》(约公元250-350)；古印度称逻辑为因明(梵语hetu-vidya，希都费陀)；数理逻辑：西方公认的创始人是十七世纪德国的莱布尼茨(Leibniz，公元1646-1716)，他早期有贡献者；布尔(Bool，公元1815-1864)，建立了逻辑代数；德摩根(deMorgan，公元1806-1876)施罗德(Schroder，公元1841-1902)等建立了关系中期有贡献者；弗雷格(Frege，公元1848-1925)，出版《计算概念了第一个皮亚诺(Peano，公元1838-1932)罗素(Russell，公元1870-1970)怀特海(Whitehead，公元1861-1947)近代有贡献者；康托(Cantor，公元1845-1918)希尔伯特(Hilbert，公元1862-1943)，提出了《希尔伯特计划》和著名的23哥德尔(Godel，公元1906-1978)，1930证明了狭谓词演算的完备性定理，1931证明了广义实用谓词演算的两个不完备性定理，提出了能行性和丘奇(Church，公元1903-?)，提出了可判定性理论，与克利尼一起1933-1935建立了能行性理论的-图灵(Turing，公元1912-1954)，提出了图灵机模型，形成了图灵理 经典逻辑：

。西方哲学指导思想：西方哲学指导思想＝形式逻辑＋一切通过实验找因果关系爱因斯坦在1935给加里福尼亚的朋友舒卫特的信中说：欧洲现代科学技术是伟大的，它之所以伟大，是因为当时它们是在一种指导思想下产生的。这个指导思想是什么呢？是古希腊的哲学，即形式逻辑体系和文艺复兴时代的一切通过实验找它的因果关系的思想。因为有这样的哲学指导思想，所以才产生了近代的科学体系。中国为什么没有产生近代科学体系爱因斯坦在同一封信中又说：但是令人惊讶的是，古代中国在早期科学技术的各个方面都取得了许多重大的成果(李约森：几乎是一大半)，但是为什么在中国没有产生象西方那样的哲学指导思想？没能形成象西方那样的近代的科学体系？主流意识一般认为原因在于：中国漫长的两千年封建专制统治摧残了社会精英；保守的主流文化、教育——儒家文化、教育抑制了人才成长：中国人内敛的性格不适于作冒险的科学技术实践。子贡南游于楚，反于晋。过汉阴见一丈人方将为圃畦(qi)，凿(zuo)“奈何？”曰子贡瞒(man)然惭，俯而不对(由于现代科学技术迅猛发展的刺激，尤其是计算机科学技术的很多特殊需求，传统的、经典的数理逻辑已经远远不能适应如此复