学科分类
/ 1
5 个结果
  • 简介:古典命题逻辑的函数完备性定理是说,每一个真值函数都可以用古典命题逻辑中标准的逻辑常项来定义。由此,我们可以说古典命题逻辑就是真值函数的逻辑。但是,对于作为现代逻辑的主要研究对象的一阶逻辑,我们却没有类似的结果。塔尔斯基在1966年为逻辑概念提出了一条标准,即“塔尔斯基论题”。塔尔斯基论题的精神来自于19世纪德国数学家菲利克斯·克莱因关于几何的“厄尔兰根规划”,这个规划对几何理论提供了一个系统划分。在塔尔斯基论题经历了半个世纪的发展历程之后,我们可以以此为基础为一阶逻辑的函数完备性提出一个初步的研究结果。

  • 标签: 塔尔斯基 论题 命题逻辑 真值函数 一阶逻辑 逻辑常项
  • 简介:帛书《周易·蓄》与《逸周书·大聚》连劭名马王堆帛书《周易》中的《蓄》一卦排在《根》卦之前,《剥》卦之后,为第十卦;在今本《周易》中为第二十六卦。帛书是西汉初年的写本,通篇字体为早期隶书,持与今本相较,异文甚多。《蓄》一卦的全文为:蓄,利贞,不...

  • 标签: 《逸周书·谥法》 《系辞》 《周易》 帛书 《说文》 郑玄注
  • 简介:天下观是儒家个人与世界关系的最高表达。唐虞之际、殷周之间的圣哲叙事凸显了儒家“有天下而不与”的天下观。尧、舜、禹之有天下,伯、文王、武王之让天下,都是为了“天下治”,其表征就是“至德”。这样的天下观,正是君子投身社会洪流的权力取向,即所谓“君子之于天下也,无适也,无莫也,义与之比”。

  • 标签: 论语泰伯 至德 天下
  • 简介:20世纪后半期,人类面临的最突出的问题就是全球性的生态危机和环境问题。摆脱人类生存的困境,走向具有生态持续性的文明社会是中国现代化实践面临的严峻挑战。本文试将孔子和德·本顿的生态观加以比较,求同存异,发掘其中蕴含的积极因素。两者在对自然的解读上,强调自然的客观实在性,重视自然的内在价值和对自然规律的遵循;在人与自然的关系上,阐发人与自然的息息相关性和密不可分性,强调二者相互作用。相互影响;在对自然资源的利用上,强调合理地支配和有限地利用自然,承认自然的极限。这些思想为我国生态文明建设提供了有益的借鉴。

  • 标签: 生态观 适应自然 人与自然关系 自然资源的利用