简介:铜鸟柄灯,战国时期青铜器。1992年临淄商王墓地出土,敞口,壁内弧,浅盘,平底略下凸,粗柄,中腰呈倒葫芦形隆起,喇叭形圈足,盘中央有一锥形烛柱。在盘底一侧伸出一圆柄,柄上铸一只小鸟,低首引颈,口衔灯盘,双翅合羽,尾部上翘并呈扇形散开。
简介:古典命题逻辑的函数完备性定理是说,每一个真值函数都可以用古典命题逻辑中标准的逻辑常项来定义。由此,我们可以说古典命题逻辑就是真值函数的逻辑。但是,对于作为现代逻辑的主要研究对象的一阶逻辑,我们却没有类似的结果。塔尔斯基在1966年为逻辑概念提出了一条标准,即“塔尔斯基论题”。塔尔斯基论题的精神来自于19世纪德国数学家菲利克斯·克莱因关于几何的“厄尔兰根规划”,这个规划对几何理论提供了一个系统划分。在塔尔斯基论题经历了半个世纪的发展历程之后,我们可以以此为基础为一阶逻辑的函数完备性提出一个初步的研究结果。
简介:阳明对"存在"的阐述容易引起争论,因为他的论证似乎不太一致.但是,若仔细分析他的"良知"说,就会化解疑虑.因此,我们从分析他的良知说展开我们的讨论.首先看他说明良知的几段文字:
铜鸟柄灯
塔尔斯基论题
阳明良知说与霞谷生理说的比较——由存在论看王阳明与郑齐斗的区别