关于“现在”算子冗余性的一个注记

关于“现在”算子的技术分析始于坎普(H.Kamp)。他在研究“现在”算子的冗余性问题时,通过引入■-tense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩。本文利用伯吉斯(J.Burgess)证明“现在”算子的冗余性思路,重新对“现在”算子在时态命题逻辑中的冗余性定理进行证明,补充了简化公式存在性这一关键步骤的证明,并利用证明中的处理方式,来分析自然语言中的时态语句。     

油画画面中的虚实与节奏感浅析

通过对东西方传统艺术的对比,以及对不同时期的大师对油画虚实的处理方法的研究,对油画画面中的虚实做了大致的分析,并由此归纳出任何杰出的画作均是巧运虚实的结果。虚实来自于对客观物象的感受和个人情感的融合,是画家的个人情感在画面上的流露。虚不代表飘,实不代表僵,虚中见实,实中有虚,虚实相生。无论倾向画实还是倾向画虚,虚与实这对矛盾都必然要有机地结合。