标签：逻辑 发展 弗雷格 谓词演算 系统 数学原理 谓词 数学家

 古希腊的亚里士多德等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹z于十七世纪中叶明确地 提出了建立通用的符号语言和通用代数的思想。

    第一个完整的逻辑系统是弗雷格在1879年建立的，弗雷格发展的逻辑演算系统没有引起广泛的注意, 影响深远的是英国逻辑学家、哲学赛罗素和英国数学家怀特海在他们合著的 《数学原理》中给出的系统。在《数学原理》中, 他们建立了完备的命题演算系统和谓词演算系统。 在《数学原理》中未对推理规则作出明确的陈述, 这主要是因为当时还未对对象语言和元语言作出明确的区分。德国数学家希尔伯特和阿 充曼在他们合著的《理论逻辑基础》 中给出了一个完全严格的一阶谓词演算系统。

标签：逻辑,发展,弗雷格,谓词演算,系统,数学原理,谓词,数学家
来源： https://www.cnblogs.com/pqz-0704/p/16385370.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。