形式语义学视角下的命题符号理论研究综述

语言符号系统因具有逻辑化、系统化、动态化的特征,汲取了人文社会科学和自然科学中有关信息编码、传输、解码和语义的理论和思想,发展成为新兴的交叉学科研究热点。命题符号、模态符号、感知符号作为认知符号学的重要研究领域,受到国外学者的关注,但国内相关研究并不多见,本研究基于形式/逻辑语义学理论,通过研究综述,试图探寻形式语义学视角下命题符号理论研究的发展方向。     

一种搜索孪生素数的方法

给出了一种搜索孪生素数的方法，在这种搜索算法的基础上，既得到了孪生素数猜想的一个等价命题，也得到了偶数可德巴赫猜想的一个等价命题。     

人的本质及其命题的新思考

文章从客体论与主体论统一的规定上界定了人的本质，并从这一界定出发剖析了“人的本质是自私的”命题的错误，指出“自私是人的本质的可能性成分。”最后提出并阐述了“人的本质倾向是集体主义的”命题。     

中远集团船员英语适岗考试轮机英语笔试命题原则与规律

轮机英语适岗考试对各轮机员英语适岗考试具有不同的适岗要求和标准,即岗位不同,对各轮机员所应掌握的专业知识和业务知识的要求不同,英语的评价标准也不同。因此命题时,要根据适岗要求,轮机英语专业知识,业务知识的合理分布以及语言的难易程度分别拟订各个级别的试题,遵循这一命题原则和规律,拟订符合各轮机员适岗要求的笔试命题。     

关于一类微分中值命题辅助函数的构造方法

给出了一类微分中值命题辅助函数的构造方法。     

安全是永远的命题

安全,一个老生常谈却又不得不谈的话题。 离开了安全,一切的一切皆不复存在。 安全是永远的命题,对我们公交行业来说更是人命关天、重中之重。那么,怎样破解这道难题呢？我认为——要抓住一个点,扭住一条线,稳住一个面。     

“天人合一”命题的生态伦理学解读

本从生态伦理学的角度解读“天人合一”命题,认为该命题不仅表现对人与人关系的认训,而且体现了对人与自然关系的探究。它潜在地具有生态道义观和生态价值观的双重意义,揭示这些内涵不仅具有一定的学术价值,而且具有重要的现实意义。     

关于多项式互素的等价命题

给出十几个关于多项式互素的等价命题，其中包括数论孙子定理在多项式理论中的反映。     

马克思对"人的价值"之类命题的批判

马克思认为：“人的价值”之类的命题在本质上是资本主义经济的思想反映。因而，它决非是关于人的本性、尊严和幸福的永恒观念，而仅仅是资产阶级的特殊要求、愿望和幻想的反映。它同共产主义的世界观是根本对立的。在共产主义社会中，新的命题“每一个人的自由发展”将取代陈腐的命题“人的价值”。     

格值命题逻辑系统LP(X)中广义文字的α-归结域

格值命题逻辑系统LP（X）中广义文字的α-归结域的研究，是基于格值命题逻辑系统LP（X）的α-归结原理研究的继续．该逻辑系统的逻辑真值域是格蕴涵代数．讨论了LP（X）的常量、命题变元和一些广义文字的性质，并得到了它们的α-归结域。     

提高理论力学教学质量的新途径

近十年来，我院机械类多学时各专业理论力学课程一直实行全院统一考试(包括统一命题，统—评分标准，统一阅卷)的形式，围绕着教学大纲，尽可能使学生考分能够反映出学生对该课程基本概念的理解与掌握，反映出对基本定理综合应用的程度，使其具有客观性、合理性。     

培养跨世纪人才重在崇高品质和不倦学习精神的养成

近年来，世界各国的一些杰出的学者、专家和政府首脑．为迎接新世纪的严峻挑战提出了许多对策，其中最现实而又最有价值的对策，就是发展教育以提高全民族素质，培养和造就一大批具有良好思想素质和才华出众的跨世纪人才。因此．培养和造就一代跨世纪人才，是应时代需要而产生的特定命题。从人类目前的发展趋势看，     

论科学理论经验评价的问题及其演化

本文认为科学理论评价分为验前评价和验后评价两部分,而验前评价的核心是经验意义的评价.本文从休谟的经验主义纲领开始,在逻辑的基础上系统地探讨了这一问题,并得出结论:以词或命题作为经验评价的单位都是不正确的,只有将理论作为评价单位时,经验意义的评价才是可能的.     

试论我国高等教育的商品化趋势

社会主义初级阶段必须大力发展商品经济，处于这种背景下的教育，尤其是高等教育应该向何处去?是否应该商品化?目前在理论界和决策部门都存在激烈的争论。本文关于高等教育商品化的命题有两个方面的含义：一是动态商品化，即教育过程的商品化，因此教育过程作为劳动过程应该得到应有报偿；     

浅析招生中德育考核改革的重要性

我国高等学校全国统考的招生制度创始于1952年，文革期间这一制度遭到了破坏。1977年拨乱反正以后，又恢复了全国统考的招生制度，它在全国统一命题、统一考试的基础上，贯彻德智体全面考核，择优录取的原则，为社会主义建设培养了一大批有用的人才，促进了中小学教育的发展，     

罗素与命题统一体

统一体问题是形而上学中的基础问题,它事关结构性实体,即由组成部分“组合”而成的复杂性实体(如句子、命题和事实),如何可能的问题.历史地看,统一体问题由于布拉德雷的工作而为人们所熟知,并且直至今天依然没有得到完满地解决.罗素很早就认识到这一问题的重要性,并投入巨大精力去解决它,但是这一问题如此困难,以至于为了解决它,罗素不仅在大的哲学立场上数易其帜,在具体哲学问题上更是常常前后矛盾、反复无常.那些他步入哲学舞台时曾引以为豪的立场和观点,如反心理主义、外在关系说(关系是项),都逐渐为他所抛弃.即便如此,罗素依然没能提供一种有希望的解决方案,更不用说实际地解决它.     

扰动模糊逻辑算子组

在扰动模糊逻辑命题及其算子的基础上,定义了扰动模糊逻辑算子组的概念,讨论了扰动模糊逻辑算子组的性质.从而使经典模糊逻辑的概念及性质得到进一步的推广,同时也揭示了在这种由一维到二维的推广中存在的问题.最后,从代数观点研究了扰动模糊逻辑算子组与经典模糊逻辑算子组之间的同态关系.     

扰动模糊逻辑算子组

在扰动模糊逻辑命题及其算子的基础上,定义了扰动模糊逻辑算子组的概念,讨论了扰动模糊逻辑算子组的性质.从而使经典模糊逻辑的概念及性质得到进一步的推广,同时也揭示了在这种由一维到二维的推广中存在的问题.最后,从代数观点研究了扰动模糊逻辑算子组与经典模糊逻辑算子组之间的同态关系.     

有关一类特殊导体组的两个命题

应用格林互易定理推证了适用于一组特殊导体的两个命题，并介绍了其中一个命题的应用。     

分块消元法解同余式N≡R(mod 7)

本文证明一个素数的命题,由此命题得出计算同余式的分块消元法,并以此法解N≡R(mod 7)