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

简介：2014年7月30日，新疆艾提尕尔清真寺伊玛目哈提甫居玛·塔伊尔大毛拉刚刚主持完晨礼，3名受宗教极端思想影响的暴徒便将其残忍杀害。案发后，公安机关迅速锁定目标，当日中午即实施抓捕，击毙2人，抓获1人。此案一发，全国一片震惊，各界人士纷纷表示强烈愤慨。党中央对案件高度重视，全国政协主席俞正声作出重要批示，中共中央政治局委员、国务院副总理刘延东打电话表示哀悼和慰问。新疆维吾尔自治区党委书记张春贤表示，要以铁的手腕、铁的意志，重拳出击，迎头痛击，坚决把暴恐分子嚣张气焰打下去，维护各族群众根本利益。国家宗教局新闻发言人8月1日发表谈话，声讨极端暴徒的挑衅行为，号召新疆伊斯兰教界人士继承居玛·塔伊尔大毛拉的遗志，继续发扬爱国爱教的传统，与宗教极端思想作斗争。中国伊斯兰教协会从伊斯兰教义的角度出发，怒斥暴力恐怖行为的组织者和参与者，直指宗教极端主义的凶残本质，同时对失去一位德高望重的穆斯林长者表示沉痛惋惜。逝者已去，唯其德行留于世间。本期，我们约请中国伊斯兰教协会副秘书长、解经办主任金汝彬撰写了纪念文章，以表达我们对居玛·塔伊尔大毛拉的缅怀与追思。