哲思逻辑——一个形而上学内容的公理体系

在经典命题逻辑的系统内,增加一个一元算子*,通过定义引入两个一元算子2和△,可以建立一个经典命题逻辑的扩充系统——哲思逻辑系统。在该扩充系统内,有遵守矛盾律和排中律的经典否定算子,有遵守矛盾律而不遵守排中律的构造性否定算子,有不遵守矛盾律而遵守排中律的弗协调否定算子,还有既不遵守矛盾律又不遵守排中律的辩证否定算子。通过引入关于*的一个形式语义,可以证明哲思逻辑系统具有可靠性和完全性。在哲思逻辑中,A和A之间是矛盾关系,A和2A之间是反对关系,A和△A之间是下反对关系,A和*A之间是差等关系。所以,哲思逻辑又可以称为对当关系逻辑。     

构造性逻辑否定排中律吗

构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统,但是把构造性逻辑和排中律对照起来看,事实并非如此。在构造性逻辑中,否定符所代表的意义已经不同于其在经典逻辑中的意义,当我们把经典逻辑中排中律的形式放到构造性逻辑中,该形式已经不能表现排中律的实质。所以,构造性逻辑只是在形式上而非实质上否定了排中律。     

哲思逻辑的判定问题

在哲思逻辑系统内,有同时遵守矛盾律和排中律的经典否定联结词,有遵守矛盾律而不遵守排中律的构造性否定联结词,有不遵守矛盾律而遵守排中律的弗协调否定联结词,还有既不遵守矛盾律又不遵守排中律的辩证否定联结词.哲思逻辑是可判定的,其判定方法包括分支真值表、分支归谬赋值法和分支树图方法等.     

为传统的矛盾律与排中律公式辩护──兼与万宁先生商榷

本文依据经典逻辑的真值函项原则及联结词的普适性,指出万文所给A、A是不合逻辑规则的,又依据经典逻辑的已有联结词及矛盾律与排中律的要求,指出万文给出的矛盾律公式(A∧A)∧(A∧A)与排中律公式(A∨A)∧(A∨A)是赘余的,不能作为矛盾律与排中律的公式,然后从逻辑抽象角度与经典逻辑的二值本性角度论证了传统的矛盾律公式(A∧A)与排中律公式A∨A的合理性与正确性     

知道者悖论的新型解决方案探析

知道者悖论是关于日常知识概念的严格意义的逻辑悖论。新近出现的两种解悖方案以知道者悖论在可证性逻辑与证明逻辑系统中的重构为基础而得出。这两种新型逻辑系统是独立于解悖而被建构的，因此，从RZH解悖标准来看，对应的两种新方案较好地满足了非特设性要求。艾格基于可证性逻辑提出的解悖方案拒斥知识的真实性原则，这意味着放弃柏拉图经典知识定义。所以，从RZH解悖标准来看，这种方案没有较好地满足充分宽广性要求。迪恩和科克瓦基于证明逻辑提出的解悖方案拒斥统一芭坎公式，而该公式对应的认知规则正是安德森提出的方案所要拒斥的，因此可以构成对后者的一种支持。     

论逻辑真理的范围

通过考察两大类逻辑系统:实在论逻辑系统和反实在论的逻辑系统,发现Henkin的方法能够给出这些系统的完全性证明.用这种方法可以构造出包含所有系统逻辑真理的集合,而这个集合就是逻辑真理的范围.所以完全性是一个划分逻辑真理和非逻辑真理的标准.     

基于莱布尼兹偶然真理概念的逻辑

事实的真理是偶然的,它们的反面是可能的.基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出.基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的.通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的“弱框架”下是可靠的且完全的.偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理“不可证真理”等一类哲学问题.     

知识蕴涵直觉主义逻辑系统

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。     

正规多模态逻辑的混合系统

多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli 和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑系统,证明了这些系统的完全性.混合逻辑系统是在模态逻辑基础上增加名词性词(nominal)作为一类特殊的命题,并增加满足算子等联结词而得到的系统,它有着更丰富的表达力.人们对经典模态逻辑和时态逻辑的混合系统已经作了研究,在此基础上,把混合逻辑的方法推广运用到更一般的正规多模态逻辑中,同时证明它的完全性.     

巴坎公式和自由逻辑

在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。具有较好的柔韧性和宽容度,它可以容纳经典谓词逻辑。用自由逻辑系统解读巴坎公式,增加扩展公理和收缩公理,可以获得常域选择下的模态谓词逻辑。但这种逻辑仍有谜团需要我们去化解。     

试论《围城》的审丑意蕴

《围城》包孕着丰厚的审丑意蕴,钱钟书先生把他对中西方化、对人性以及对社会的畸形、片面、病态及丑陋的的揭示,真诚地奉献给读者。这些对文化、对人性及对社会生活的审丑的新的纲领,极大地扩大了文学表现的感觉空间和思考空间,让读者睹见作家对中国现实生活、精神文化生活和人性善恶的严厉的审视乃至洞穿,从而反复引发人们的审美体验,这其实正是《围城》被认为是美的文学作品的原因之一。     

《梁书》《陈书》舛误辨

《梁书》、《陈书)历经千年,传抄过程中难免造成文字差错,后人直接引用,必然与事实不符。文章对这两部史书里面自相矛盾、不能自圆其说的时间、地点、人物、事件进行了考证,对错误之处作了剖析,并参照有关史料予以纠正,有助于正确把握梁陈史实。     

党的新闻事业性质观念发展述略

自建党以来 ,中国共产党的新闻事业性质观念大致经历了四个发展阶段。第一阶段 ,认为新闻事业是政党宣传工具和阶级斗争工具。第二阶段 ,认为新闻事业是政党宣传工具、阶级斗争工具、社会舆论工具。第三阶段 ,认为新闻事业是无产阶级专政工具。第四阶段 ,认为新闻事业是政党宣传工具、社会舆论工具、大众传播工具     

铸牢中华民族共同体意识视域下近现代黄帝陵祭祀研究

黄帝陵祭祀是近现代中华民族共同体意识形成和发展的重要载体。晚清以来,革命党人对传统黄帝陵祭祀加以改造利用,为中华民族共同体意识的初步形成作出贡献。民国时期,借由对黄帝陵祭祀的制度化,黄帝为整个中华民族始祖的身份逐渐广为人知。新中国成立初期,中国共产党祭黄帝陵的仪式进行了借用与创造,赋予了"黄帝符号"以"劳动人民性"等新内涵。改革开放后,黄帝陵祭祀越来越得到重视,在弘扬中华优秀传统文化,团结全国各族人民和推进祖国统一大业方面等发挥了重要作用。今后还要找到历史和现实的结合点,总结黄帝陵祭祀的有关历史经验,以进一步铸牢中华民族共同体意识。     

论散曲对元杂剧形成的重要作用

散曲的套数成熟在前 ,对元杂剧的形式有重要作用。后为元杂剧的唱曲起了定型作用 ,并为之提供了基本的乐调和曲牌 ,奠定了本色美的艺术特征。元杂剧的形成 ,从体式到风格 ,皆与散曲有密不可分的关系     

论从实践理解世界的物质性和自然世界的先在性

马克思主义唯物论是一种物本主义形态的唯物论,还是一种超越物本主义形态、从实践理解世界的本质相关问题的实践的唯物主义的唯物论？这是一个我们必须搞清楚的有关马克思主义唯物论的本质规定性和精神实质的重大问题。在考察物本主义的唯物论及其思维方式的局限性的基础上,揭示了马克思主义唯物论是现代的、实践的唯物主义,并重点研讨了马克思主义唯物论关于从实践理解世界的物质性和自然世界的先在性的原理,以期为马克思主义唯物论进一步阐明人类世界的实践性原理奠定基础。     

新制度经济学对国家作用分析的理论演进

新制度经济学对国家作用的分析是逐渐纳入其框架的 ,总体上通过组织的演进来说明。其代表人物经历了科斯、张五常、威廉姆斯、巴泽尔和诺斯等 ;其逻辑经由交易费用演进为契约合同 ,再由交易维度转向产权的“公共领域” ,最后扩展到国家的作用 ;其中心思想是 :在不同的领域和层面 ,存在着利用“公共领域”财产的各种各样的组织 ,而国家也是一大组织 ,它的存在和作用是为了利用整个社会层面的公共财产     

企业理论的发展对产业组织理论演进的影晌

产业组织理论分析的基础是企业理论,企业异质性假定对企业同质性假定的替代和企业异质性假定的不断深化是产业组织理论获得持续发展的重要原因。20世纪70年代以来,产业组织理论沿着两个基本方向发展:一是坚持新古典经济学的分析方法,在哈佛和芝加哥学派对企业异质性假定的基础上引入博弈论等新的分析工具,着重研究企业行为及其相互依存关系,形成了以泰勒尔为代表的新产业组织理论。二是修正新古典经济学的假设前提和分析方法,在对企业的异质性作出全新假定的基础上,构造新的产业组织理论的分析框架。企业能力理论把企业的异质性归结为企业知识和能力积累的差异,并把产业组织理解为企业专业化分工和企业专业化知识与能力成长的协调机制。企业理论的创新对产业组织理论的发展具有十分重要的意义     

政治运行法治化是我国政治文明建设的必由之路

当今我国大力推进民主政治,已成为构建现代宪政法治秩序的一项基础性工程.在我国社会主义政治文明建设中政治运行法治化将是我国政治文明建设的必由之路.     

从弱势群体的角度解读“作者之死”理论

从那些在历史和传统中一直被排除在主体和作者之外的群体--女性、黑人、被殖民者等等弱势群体的角度来看,"作者之死"理论不适合他们.不应该简单地否定主体,否定作者,而应该把被排斥的部分包括进来.不过正是因为"作者之死"理论,传统作者主体的权威地位受到质疑,弱势群体才得以在历史中发现自己的位置.而这种新型的作者主体追求并确立自身的主体性,同时也尊重他人的存在.