传统直言命题的制约逻辑剖析

传统直言命题Ａ、Ｅ、Ｉ、Ｏ作为 “命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而而今还存在种种逻辑理论上的问题。     

传统直言命题的制的逻辑剖析(英文)

传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而至今还存在种种逻辑理论上的问题．我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类．当直言命题的主词S的外延是可进一列举的有限集时为外延命题．与A、E、I、O相对应的外延命题依次为：P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em)，P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em)．当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题．与A、E、I、O相对应的内涵命题依次为：S（x）P（x）、S（x）P（x）、S（x）！P（x）、S（x）！P（x）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．     

种属关系与亚里士多德直言三段论

讨论了亚里士多德在判定三段论成立与否时用到的6条标准:一个词项作另一个词项的谓项、换位法、显示法、反例法、特称前提的不定性质和归谬法。这6条标准是可以用种属关系以及种属关系的准确的语言表述来进行解释的,这说明亚里士多德的直言三段论是可以建立在种属关系以及种属关系的准确的语言表述的基础之上的,而此基础正是一个唯物主义的基础。     

逻辑学教学中直言命题真假情况一览表的应用

直言命题真假情况一览表是一种重要的逻辑工具，可借以直观、简明地揭示六种直言命题的逻辑特性；借以简明、直观而科学地论证同素材六种直言命题之间的对当关系；借以直观、便捷地解答一些较复杂的逻辑问题。     

命题多项式与命题函数的解析化

本文提出了命题多项式，０－１命题多项式的概念，应用它们，实现了命题函数的解析化。     

从命题的分析看两种不同的逻辑观

对命题的不同分析是两种逻辑的真正区别所在,这特别表现在对直言命题(主谓项结合的本质、全称与特称命题的逻辑结构,单称命题的地位)和关系命题的不同理解和把握上。     

解析命题符号化

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

解析函数的几个等价命题及其应用

文章研究的是解析函数的等价命题和解析函数及其柯西—黎曼方程在解决物理学中平面场的无源无旋问题中的应用。     

基于现代控制理论的SD模型解析研究

介绍了现代控制理论与系统动力学（SD）的相通之处及其研究方法的内在联系和差异性,利用这种差异性,将现代控制理论的长处用于SD模型的解析研究,得到了SD模型发展的解析结果,并利用这一结果对系统发展性态进行了分析。通过一个实例,介绍了这种方法的实际应用。     

"重写文学史":一个没有终结的现代命题

“重写学史”口号在80年代末提出后,曾极大地刺激了中国现当代学研究的学术增长,其学术价值不可低估。新时期学史重写的最显实绩表现在鲁迅研究的突破上。而出现在口号前的两种新的学史观,既为口号的提出和讨论的深入作了理论铺垫,又随着学术界对“重写”认识的不断深化而产生更大的学术影响,可以说是新时期现当代学“重写学史”呼声中最大的理论收获。从学理上说,“重写学史”是一个永无终结的现代命题,这使它至今仍有着重要的理论意义。     

亚里士多德的神性思想及文论

亚里士多德的思想以人性为主，同时又有一定的神性：不同的分类所体现的神性。神的特性，形式的神性，灵魂的神性，人的神性。受此影响，亚里士多德的文论也有或多或少、或隐或显的神性：关在神，人类赖以产生和掌握技艺的双手乃出于神意，宇宙万物归于美的形式，人之灵魂中的神性制约着文艺活动。     

论现代汉语把字句中“把”的词类归属

多年来,许多学者从传统语法角度对现代汉语把字句进行了大量研究,成果显著;但这些研究大都是静态的描写式研究,并未深涉把字句的生成及本质。近年来,不少学者开始从生成语法角度对把字句进行生成研究,取得很大突破。然而,关于"把"的词类问题,却始终没有一个统一的解答。本文结合前人研究成果,多角度分析了"把"的词类归属问题,并得出初步结论:"把"属于特殊功能语类。在此基础上,本文还对几种重要的把字句进行了生成分析,进一步验证了该推论的合理性。     

关于Institution范畴式定义的注记

该文构造了范畴Ｔｒｅｌ和（１ｓｅｔ／Ｕ）＾ＯＰ之间的同构，从而证明了Ｉｎｓｔｉｔｕｔｉｏｎ的两个范畴式定义的一致性。     

“法治反对解释”命题的修补

法治反对解释是一种维护严格法治的立场,也是研究法律的一个角度。对这一命题也许应该进行更宽泛的审视。法治反对解释引发了对传统法律适用方法的呼唤,也引出新的理解基础上的应用方法,因为只有理解了才能够适用或使用。对法治所反对的解释进行界定、法治反对解释的指向以及反对解释的功能等应该有更清晰的表述,以便于人们以更加明确的法治立场捍卫法治事业。     

从类型思维角度探讨资产过度反应与反应不足

过度反应和反应不足的研究孕育了不少资产模型,如,基于保守主义和代表性思维的BSV模型;基于过度自信和自我归因的DHS模型;基于异质投资者的HS模型等,本文力图从一个新视角:类型思维,来诠释资产过度反应与反应不足现象.在类型思维中,投资者倾向于将资产与类型匹配,基于此对不同资产类型的未来回报加以预期,本文描述了贝叶斯思维者类型预期与类型思维者类型预期特性,并进一步论述基于类型思维的投资者偏差:反应不足和过度反应.     

现代性的内涵阐释

最早出现的"现代"概念主要指的是人类历史演变过程中的某一特定时期,兼具时间与价值意蕴。而从"特性"的角度界定现代性,把现代性区分为文化精神心理与社会制度结构两个维度,也逐步成为人们的共识。显然,这两种意义上的现代性都与启蒙运动有着相关性。     

模态复合命题与复合模态命题间真值关系考察

本文通过构造一个逻辑关系示意图，重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式，这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系，均可借助自然语言的实例得到直观理解，并在思维实践中加以运用。