也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

选言命题与析取运算——从布尔代数看3种不同的析取运算

运用逻辑知识分析选言命题的形式及意义,区别3种不同的析取运算,讨论多元不相容命题的逻辑意义。从理论上讲,p1p2∨p3在现实中没有应用。对于3个支命题构成的选言命题,现实中只有2种情况:或者是二元相容析取(∨)形成的命题形式(p1∨p2∨p3),或者是三元运算形成的命题形式(p1△p2△p3)。     

复合判断推理不同推理形式间的互通

从现代形式逻辑的观点看，许多不同形式的推理实际上是等值的。但是，由于表达形式的不同，就显示了不同的特征。不同类型的推理，可以显示出从不同角度考虑极为重要的性质。诚然，这在传统逻辑中却极少论及。本文探讨了假言推理中充分条件假言推理与必要条件假言推理的等值关系；探讨了充分条件假言推理、必要条件假言推理与相容选言推理间的等值关系，并说明了诸推理式间的互通问题。     

复合矩阵与复合伴随矩阵间的关系

给出了复合矩阵与复合伴随矩阵间的一个关系式,由此推出了复合伴随矩阵的若干性质,它们正是通常意义下相应结果的推广。     

关于拓扑关系复合表适用性的实验与分析

实现了一个拓扑推理算法,并以基本不同平面图Ｋ５为实验对象,研究了拓扑关系复合表的适用性问题,实验结果表明,拓扑关系复合表只适用于同维实体间的拓扑推理。     

究竟如何看文学艺术与意识形态的关系——对一个传统命题的再探讨

关于文学艺术与意识形态关系的大讨论在近几年显得特别引人注目。这一似乎在中国理论界得到解决了的同题之所以又引起诸多理论家的关注。我们认为，一个重要的原因在于：中国文学理论界在走出极左路线造成的误区之后，开始了对文学艺术的本质更加深入的探讨，人们的理论兴趣较多地集中在文学艺术的独特性上面，     

三维复合岩层损伤本构关系与演化方程

根据岩石微结构模型及应力应变发展规律,运用统计学与损伤理论,建立了三维复合岩层的损伤演化方程及损伤本构关系。实验结果表明,二者吻合良好。这对正确描述复合岩层损伤破坏过程,深入研究层状岩体的稳定性具有实际意义。     

论英语情态意义的表达

阐释了情态意义的概念，指出将情态意义与情态助动词的意义等同起来的观点未免有些片面。论述了情态意义的分类和表达方法。     

解析命题符号化

在命题逻辑学的整个推理过程中 ,命题准确、正确的符号化是关键的、重要的第一步 .若命题符号化是错误的 ,则最终的推理结果必然错误 .在有关“命题逻辑学”的教材及参考书中对此缺乏详细的介绍及讲解 ,本文结合教学对命题符号化中的一些问题进行探讨 .     

直接引语中的情态在《林肯传》中的人际意义研究

系统功能语法"情态引喻"的运用把情态分为无标记性情态和标记性情态,借助于情态的这种划分和情态的取向,对"The life of Abraham Lincoln"中直接引语的人际意义研究发现:林肯的话语除非标记性情态用的多以外,在情态取向上更多的是采用主观取向,这些都有助于表达林肯果断、坚决、敢于承担责任的品质.标记性情态在林肯的话语中表现了其幽默风趣、体恤人民、关爱家人的一面.     

Desargues命题的应用

由Desargues命题和Desargues逆命题证明了三点共线或三线共点的问题。还应用这两个命题解决了轨迹问题与求定点问题及作图问题。     

论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。     

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

模态逻辑的信息框架

针对一些学者对情景语义学的质疑，该理论创始人之一巴威斯采用信息流模型理论的技术手段提出从信息视角解释模态概念的信息框架。信息框架，作为模态逻辑的语义框架，与克里普克框架有相同的解释力和适用范围。信息框架能够为形式描述容错性信息流推理的模态信息流逻辑研究提供可能语义基础，为信息流逻辑的进一步深入研究提供理论支持。     

基于清华汉语树库的复句关系词识别与分类研究

根据清华汉语树库的标注方法, 利用规则从中提取复句关系词并标注其类别, 然后分别抽取带功能标记和不带功能标记的自动句法树的句法、词法、位置特征, 进行复句关系词的识别和分类。实验结果表明, 复句关系词判断准确率达95.7%, 复句关系词类别判断F1值为77.2%。     

艺术形式美与时代的关系

随着社会以及生产力的发展 ,不同历史时期形成了不同特点的艺术形式美。艺术形式美与时代是一种辩证的关系 ,当生产力发生变化 ,新的社会形态和技术产生以后 ,艺术形式也相应地发生变化。它受时代的影响和制约 ,但同时又为时代服务 ,是当代精神文化和生产水平的标志。探讨艺术形式美与时代的关系 ,对于艺术形式美的发展与前进具有重要的意义