简介：古典命题逻辑的函数完备性定理是说，每一个真值函数都可以用古典命题逻辑中标准的逻辑常项来定义。由此，我们可以说古典命题逻辑就是真值函数的逻辑。但是，对于作为现代逻辑的主要研究对象的一阶逻辑，我们却没有类似的结果。塔尔斯基在1966年为逻辑概念提出了一条标准，即“塔尔斯基论题”。塔尔斯基论题的精神来自于19世纪德国数学家菲利克斯·克莱因关于几何的“厄尔兰根规划”，这个规划对几何理论提供了一个系统划分。在塔尔斯基论题经历了半个世纪的发展历程之后，我们可以以此为基础为一阶逻辑的函数完备性提出一个初步的研究结果。
简介：是唐朝孔颖达为魏、晋时王弼、韩康伯所作的疏,其总结并发展了汉易,促进了汉易向宋易的转化.并成为王弼"无本论"向张载"气本论"转化的桥梁与中间环节.孔颖达从"无本论"向张载"气本论"转化的主要标志,是他对"太虚"概念的阐发和对阴阳二气的阐释.
塔尔斯基论题
《周易正义》：“无本论”向“气本论”转化的桥梁
