辅助变元之于命题与量化布尔公式的作用

使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复。这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并讨论了有趣的相关应用。我们把以下两者联系起来:一是,反复使用中间结果而不通过定义重复;二是,布尔函数其他表达中的相似概念。特别的,我们表明带定义的命题逻辑与具有任意输出端的布尔线路以及约束变元满足Horn性质的存在量化布尔公式(记作(?)HORN~b)具有相同的表达力。本文还考虑了定义结构的限制,以及命题定义的扩充。特别的,我们检验了正命题定义与带存在量化的正定义之间的关系(或等价地,检验了(?)HORN~b公式和约束变元未被Horn限定的存在量化的CNF公式(记作(?)CNF~*)之间的关系)。对命题定义的进一步扩充,是允许在定义中使用任意的量词,或等价地,允许布尔公式的嵌入。我们还证明了,量化CNF公式中的约束变元的表达力,是由子句中被约束部分的极小不可满足子公式或极小假子公式的结构所决定的。     

梅洛-庞蒂与自然

自然课程与梅洛-庞蒂对本体论突破所做的修正相符合,因此发挥了重要的作用。他把对自然的追问深植于知觉现象学之后的思想运动中。在他看来,知觉现象学所通向的对语言表达的分析展现了意义作为建制(institution)的定义,梅洛-庞蒂将它理解为使表达自得(appropriation expressive)的开放系列肇始的东西。正是这种建制理论使对被感知事物的分析转向自然反思的方向:被感知事物是区别于被制定的事物(l institué)的自然事物。自然是"非构造的,非制定的",因此是表达的源泉。本文认为以下四个命题可以用来概括自然哲学:(1)"全体并不比部分更不真实";(2)存在一种否定的实在,因此在存在和虚无之间不存在二择一;(3)自然事件并不具有惟一的时空定域;(4)只有作为发生性的普遍性。     

PRL-3在宫颈鳞癌组织中的表达及临床意义

通过RT-PCR和Western blotting来检测45例宫颈鳞癌组织和20例正常宫颈组织中PRL-3的表达情况。RT-PCR和Western blotting结果均显示宫颈鳞癌组织中PRL-3的表达明显高于正常宫颈组织(P0.01),PRL-3的表达与宫颈鳞癌组织的分化程度及淋巴转移密切相关(P0.05),而与患者年龄、肿瘤直径无关(P0.05)。因此PRL-3可能参与了人类宫颈鳞癌的发生、发展,并与宫颈鳞癌的部分临床病理特征有关,将可能作为宫颈鳞癌靶向治疗的一个新的分子靶点。     

“陌生+熟悉=美”,易用的设计美学公式

一件事物如果想使观者对它产生美感,就必须具备两个基本要素,一个要素是陌生,另一个要素是熟悉。我们可以给美下一个简单的定义,即:美就是陌生加上熟悉。用公式表达就是:陌生+熟悉=美。设计的使命就在于它完美地协调了熟悉和陌生之间的关系,让这对本来就共存共生却又截然相反的矛盾体介入人们的审美过程中,最终体现在美的设计作品中。     

宗教权威视角下的宗教组织变迁——对湘北某基督教堂的个案研究

大街教堂是地处湘北某地的一个基督教堂。该教堂自1999年成立以来,迅速发展成为当地人数最多、影响最大的基督教堂。但是,大街教堂在当地取得迅速增长的同时,也与其他基督教教堂和宗教管理部门之间发生了诸多复杂的互动现象。本研究在详细阐述大街教堂的发展历程和经验事实的基础之上,尝试从"宗教权威"视角来理解这一宗教变迁,并以"宗教权威的建构与表达"为概念工具来把握个案。最后,本文提出了"宗教权威"的定义,并对其加以了进一步讨论。     

《梁祝》标题意蕴的器乐表达及其人文品读

何占豪和陈钢创作的小提琴协奏曲《梁山伯与祝英台》,是20世纪华人音乐经典名作,是世界乐坛上演率最高的中国管弦乐作品之一.识读其作品标题内容的器乐表达语境,释读其“非语义性”音乐语言的艺术情景,是乐曲的音乐审美及其艺术分享的正道路向,是音乐一度创造(作曲家实务)与“音乐耳朵”三度创造(欣赏者实务)关系和谐中的基本意向和意图效应.大众的音乐欣赏实践和小众的配器学习及其作曲活动,更需要深入关注乐曲的标题意蕴与器乐表达的音乐规律.     

试论造型语义中的诗意

从古至今人类对于造型的情感都通过各种方式被传达或记载了下来,这些方式包括神话故事、诗、音乐、造型艺术等。其中直接对于造型方式有描述的以诗和造型艺术居多。而造型语义的传达和设计方法中十分强调情感词汇的准确性,例如凯迪拉克汽车造型的语义和保时捷汽车的造型语义都有自身明确的定位。所以尝试研究诗中传达情感的方式和词汇,对开发造型艺术的语义,提高造型语义情感表达的准确性,丰富造型美学的表达方式,都会具有借鉴和完善以及升华的学术价值。     

浅论会众唱诗在礼拜中的意义

<正>基督徒礼拜或聚会时总要齐唱圣诗,到底会众唱诗的价值何在?本文对此作一些探讨。一、表达敬拜的虔诚敬拜是人们对神爱的回应,而音乐是人们表达情感的重要手段。圣经中常有这样的事例,就是当人们难以用言语表达自己丰富情感时,往往以音乐和歌唱来表达。当年撒迦利亚哑巴重开     

毛泽东与纪念活动的政治功能表达

纪念活动是一种政治仪式,也是一种政治象征,有其独特的政治功能.民主革命时期,毛泽东通过多种途径和方式,使纪念活动的政治功能得以充分表达和释放.具体表现为:借助纪念活动诠释马克思主义基本原理与中国化马克思主义,纪念活动成为理论诠释的重要载体;借助纪念活动提出自己的政治主张,表达自己的政治诉求,纪念活动成为政治动员的重要契机;借助纪念活动协调国共关系、整合各派力量、凝聚各方人心,纪念活动成为政治整合的重要途径;借助纪念活动给予共产国际、苏联和世界其他国家以配合和支持,纪念活动成为协调国际关系的重要媒介.     

得形忘意——简论当代工笔人物画造型的写意性

当代工笔人物画作品大多依赖于对照片的复制,人物造型过多追求西方绘画的写实性,而忽略了传统人物画的意象表达,从而造成了流传几千年的工笔人物画形式的逐渐消失。