分类： 哲学 >> 外国哲学 分类： 哲学 >> 逻辑学 提交时间： 2024-10-16
摘要：本文前面部分讨论维特根斯坦《逻辑哲学论》中的“事实”与“原子事实”，“语句”与“命题”的翻译和区分，后面部分列举了各译本全部译错的几个地方。
分类： 哲学 >> 中国哲学 分类： 文化学 >> 文化学 分类： 社会学 >> 社会学 分类： 综合学科 >> 综合学科 分类： 哲学 >> 科学技术哲学 分类： 哲学 >> 美学 分类： 哲学 >> 伦理学 分类： 哲学 >> 逻辑学 提交时间： 2024-10-09
摘要：中华文明是世界上最古老的文明之一，也是延续时间最长且未曾中断的文明。最早起源于长江流域和黄河流域，后来又吸收了丰富多彩的其他文明而成就今天的中华文明。中国的称呼有很多，如华夏、中华、诸华、诸夏、中夏、中土、中原、神州、中州、九州、中国、中华人民共和国等等。其中“中”出现的频次最高。“中”到底蕴藏着什么魅力，让几千年生存在这片土地上的人们“宅兹中国”，并以“中国人”自诩呢？甲骨文是迄今为止发现的中国最早的成体系文字，是今人使用简体中文的源头。本文立足甲骨文“中”的文线结构，试图追本溯源，寻根觅珠，发掘其道简理正、放之自然皆准的高效动态平衡本真源意，将泽被古今的先人信仰图腾与智慧结晶合浦还珠，以事天人合一的中庸盛世！
分类： 哲学 >> 中国哲学 分类： 哲学 >> 逻辑学 提交时间： 2024-10-08
摘要：公孙龙子的《名实论》是以名为研究对象的，他所谓的“实”就是今天所讲的“事实”，“实际”，他的“正其名”是逻辑学和认识论意义上的，其意思是“以实正实之名”，与孔子讲的“正名”是实学和实践论意义上的，其意思是“以名正实”，是完全不同的。公孙龙子无愧于中国古代纯正的逻辑学家的称号。
分类： 哲学 >> 中国哲学 分类： 哲学 >> 逻辑学 提交时间： 2024-10-08
摘要：尹文子历来主要被视为名家，现代人也是从逻辑学和认识论的角度去解读尹文子的思想的。其实，《尹文子》一书中不仅包含着逻辑学和认识论的内容，而且包含了非常丰富的实学和实践论的内容。
分类： 哲学 >> 逻辑学 提交时间： 2024-09-30 合作期刊: 《重庆理工大学学报（社会科学）》
摘要：借鉴亚里士多德的化归方法，通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则，可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如［ＹＹ］的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。
分类： 哲学 >> 逻辑学 提交时间： 2024-06-01
摘要：哥德尔不完全性定理是现代逻辑中的重大发现，一直备受科学界、哲学界瞩目。然而自哥德尔不完全性定理提出至今，其证明的科学性、哲学意义一直备受质疑，特别是维特根斯坦把其看作是某种逻辑悖论。作者对哥德尔不完全性定理的证明提出了几点质疑，找出了证明中存在的具体悖论形式，指出其证明方法与罗素悖论的高度一致性， 认为并不存在“真而不可证”的命题，这有力地支持了维特根斯坦的观点。所谓的哥德尔公式是一个逻辑无效的循环公式，它在谓词W的有效定义域之外。因此，本文的结论是：哥德尔不完全性定理的证明建立在一个无效的公式之上，证明的矛盾源于哥德尔公式自身，不能归结为系统的不完全性，因而证明是错误的。
分类： 哲学 >> 逻辑学 分类： 哲学 >> 外国哲学 提交时间： 2024-01-04
摘要：类型论是罗素为解决逻辑悖论而构造的一个重要理论，它以恶性循环原则为前提，其核心思想是不把类当实体看，其总体思想是任一函项必定属于一定的类型和阶。类型论提供了一种对悖论的统一的解决办法，其排除悖论的实质是把引起悖论的表达式归于“无意义”。类型论本身并不完善，引来了争论，争论的焦点首先是可化归性公理，其次是恶性循环原则，引起争论的实质是在类的实在性问题上实在论和唯名论的对立。类型论尽管在总体上不那么令人满意，但它给逻辑和哲学都带来了重大的影响，这种影响是积极的。
主办：中国人民大学 承办：中国人民大学书报资料中心
邮箱: yuyin@ruc.edu.cn 电话:62516972 62515820
地址: 北京市海淀区中关村大街59号
版权所有©2024 中国人民大学
点击量
待评议
点击量
下载量
评论
京公网安备11040102700185