亚里士多德直言命题理论的现代解析

对亚里士多德的直言命题理论作了全面的分析,指出亚里士多德在逻辑史上第一次引进词项变元,建立了对当方阵,为三段论奠定了基础.接着,比较分析了现代逻辑对亚里士多德的直言命题所作的几种解析,在此基础上,提出了一种符合亚里士多德原意的解析.     

亚里士多德直言命题理论的现代解析

对亚里士多德的直言命题理论作了全面的分析，指出亚里士多德在逻辑史上第一次引进词项变元，建立了对当方阵，为三段论奠定了基础。接着，比较分析了现代逻辑对亚里士多德的直言命题所作的几种解析，在此基础上，提出了一种符合亚里士多德原意的解析。     

自然语言逻辑的性质及研究状况

介绍自然语言逻辑学科的形成、发展及研究现状,论述了自然语言逻辑的应用价值.     

科恩否定原理的局限及其尝试性修正

科恩的否定原理是他的归纳概率逻辑体系区别于数学概率逻辑体系的重要标志.它的实质是,如果假说H基于证据E得到了大于零级的支持,那么基于同样的证据就不能对它进行否定,同时基于同样证据的其他假说相对于H不具有竞争地位.但它在理论内部和应用上都存在一定的局限,其根源在于科恩采取了过强的否定策略,弱化这种强否定可在一定程度上修正否定原理的局限.     

科技日语否定式中的否定范围及其它

本文从划分否定范围的角度,对科技日语中否定式的译法进行探讨。以实例对否定范围及与其有关的否定提前和否定中心进行了阐述,可供翻译时参考。     

浅谈英语中的含蓄否定

英语中不含否定词但表达否定意义的句子,叫间接否定句或含蓄否定句.含蓄否定可通过一些词、词组、句式和修辞手段来表示.虽然间接否定句形式上是肯定的,但汉译时应转换成否定句.     

英语中的各种否定形式及其译法

本文对英语中各种否定形式及其译法进行了分析和探讨.对容易误解的否定形式进行了比较.并提出翻译方法.     

早期维特根斯坦对逻辑命题的思考及其意义

现代逻辑的诞生使逻辑摆脱旧有束缚,进而开启了逻辑学发展的新局面。在逻辑获得新生的同时,逻辑的本质问题也日益凸显。维特根斯坦赋予逻辑命题3个重要特征：（1）逻辑命题是重言式;（2）逻辑命题假定对象和世界的存在;（3）逻辑命题不可说但并不神秘。这些特征是对弗雷格、罗素的逻辑哲学的反叛,但也对分析哲学乃至整个西方哲学产生了深远影响。     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷：一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑：首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

自然语言问答中的语义关系识别

为了避免问句理解阶段过度依赖命名实体,通过语义关系理解中文自然语言问句中关键信息的逻辑关系,提出基于依赖结构的语义关系识别方法,从问句的依赖结构集中识别出对生成语义关系有价值的三类依赖结构集,将三类依赖结构集组合或转换得到语义关系。在中文标准问答数据集上的试验结果验证了本语义关系识别方法的有效性和可扩展性,本方法在命名实体识别失败时也可以理解中文自然语言问句。     

关于词项和概念之争

近年来,在我国逻辑领域关于＂词项＂与＂概念＂的定义和使用问题一直存在着分歧。当代形式逻辑体系是否还有＂概念＂的位置？＂概念＂是否应被＂词项＂所取代？有两派观点,一派认为应该用词项取代概念 另一派认为词项和概念应该区分使用,不能完全否定其一。但毋庸置疑,概念的定义规则、分类与划分,限制与概括以及由概念断定的外延的范围等这些关于概念的逻辑问题仍然需要在＂概念＂的意义上讨论。因此,从逻辑学的角度研究概念在一定程度上也是必要的。     

数学分析中的否定判断浅谈

否定判断是数学中常见的判断方法,在数学分析中通过基本概念的结论得出结论的否定判断是对逻辑推理能力的极好训练。     

Pascal命题和Brianchon命题在解题中的应用

由Pascal命题及其逆命题和它对偶的Brianchon命题及其逆命题来解决三点共线,三线共点,四点共线,五点共线,六点或六直线在一条二次曲线上的问题,还应用这两个命题解决了求解定点问题与定直线问题以及作图问题.     

语域三变量中的英语否定形式

从一个新的视角，运用语域的语场、语旨与语式3个变量研究英语否定表达形式。提出在理解和选择英语否定形式的时候，应该注意在不同语境中选择最恰当的形式，特别是要把语域的3个变量看作一个统一的整体。     

否定选择算法在网络入侵检测中的应用

针对入侵检测中区别合法授权行为与非法授权行为的问题,从生物免疫系统中得到启发,采用生物免疫系统中的否定选择算法,建立了网络入侵检测模型.通过实验测试表明,在低误报率的情况下,提高了检测率.     

基于语音语料库的PSC“命题说话”项音错字浅析

文章基于普通话水平测试语音语料库,统计得出了PSC“命题说话”项字音错误字（以下我们简称音错字）98个,将其与《普通话水平测试用普通话词语表》进行比较,结果是71．4％为表一中字,其中,最常用词为60．2％,26．5％为表二中字;然后将音错字分为四类,即多音字23个、调错字51个、韵错字16个、声错字12个,分别占22．5％、50．0％、15．7％、11．8％,并列出了其错误人数、方式和示例;最后从知识、社会习惯、方言、语流等几个方面分析了音错字产生的原因。我们希望本文能有助于测试者改善其语音面貌并提高成绩。     

英语"否定、反对、逆转"前缀及其延伸意义

从英语派生法的构词手法上来解释英语"否定、反对、逆转"等前缀及它们的一些延伸意义的用法。具体而言,可籍此对派生法中的"否定、反对、逆转"的前缀进行仔细的说解,并对"否定"前缀的延伸意义进行了深入探讨,这一过程反映英语词缀从当初的简单意义到现在的多种意义发展和变化的过程,从而在一定程度上加深对英语构词法的了解。     

可拓命题与可拓推理句

进一步研究了可拓命题和可拓推理句,引进了静态真度、可拓真度、静态正确度、可拓正确度的概念,讨论了它们的一些性质,丰富了可拓逻辑的基本概念与理论．     

基于假言命题的“两型社会”研究

"两型社会"引发的资源节约和环境保护问题既是生态文明建设的重要课题,又是社会经济发展中不可避免的问题。可持续发展作为科学发展观的基本要求为建设"两型社会"指明了方向,但如何深入推行"两型社会"建设,缺少新的维度。从逻辑学的角度出发,运用假言命题发挥逻辑的社会文化功能,可以让逻辑和科学发展观在建设"两型社会"中相得益彰。     

证伪还是证实——电影研究中的真命题与假命题

讨论了电影学的肢解和分离,认为当下的电影研究不光是愧对电影的创作,更是愧对电影学本身的学术地位和学术尊严。讨论了电影研究中的真假命题,并对“商业电影与艺术电影”、“电影的本体研究”这2个假命题进行了剖析。认为中国电影理论工作者的历史责任是应多写些实实在在的文章,在电影的分支、细节、前沿交叉上多做一些实证研究,努力构建一个有影响力的学术话语场所和批评场所,在电影产业和电影观众之间搭起一座很舒坦的桥梁。