关于性质判断的逻辑否定演算——改进形式逻辑教材的内容叙述探讨之二

本文循着莱布尼茨将逻辑数学化的思路,把A、E、I、O、K、F这六种不同内在形式的性质判断完全符号化,并用逻辑否定演算方法,将它们相互间在逻辑矛盾关系上的内在联系和相互转化的规律,全部揭示出来了。并由此指出:在传统逻辑教材中,把A与O、E与I、I与E、O与A视作是等值关系是不恰当的,它们相互间其实应该是相等关系。     

《枣妮》作文精品导读

本文写一个农村来的女孩枣妮的故事。一个失去父母的女孩,一个从农村来的女孩,朴素而真诚,真实而自然。然而,当她刚来到班上时,却无人理会她。作者理解了她的处境后,想尽力帮助她,但善良的女孩心里总是想着别人。作者无意间翻看她的铅笔盒发现,她用的铅笔竟然是用纸卷     

对哥德尔定理的辩证逻辑形式化解读

逻辑矛盾仅是“量词-质词-真值词”皆矛盾的非等值关系命题,辩证矛盾仅是“主词-谓词-命题词”皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之“指断合一”的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。     

薛暮桥勇于否定自己

在中国老一辈经济学家中,薛暮桥恐怕是惟一有资格被尊为“中国计划经济的缔造者”的。据介绍,早在1948年的西柏坡时,他就在周恩来的领导下着手筹备成立新中国的计划经济体制,一生大半时间都在为建立和完善计划经济体制呕心沥血．     

黑火药史

本文叙述了人们对硝石、硫磺、木炭的认识及炼丹活动中发明了黑火药,黑火药的发明、发展以及在火药武器上的应用,在漫长的实践中,使火药武器日臻完善,并对世界产生了重大的影响。     

家蚕的姐妹——野生绢丝虫

我国是最早发現和利用蚕絲的国家,一向以盛产絹絲織維聞名于世。距今約四千年左右,我国的劳动人民就已經利用桑叶飼养桑蚕来取絲織綢了;利用山間柞树飼养柞蚕至少也有两千年的历史。随着人民生活的普遍提高,目前家蚕絲的产量已远远不能滿足需要。我国的野生絹絲虫——野蚕資源极其丰富,分布也很广。因此,在积极飼养家蚕的同时,发展、利用和馴化野蚕也是一条重要的途徑。我     

纪念李小龙——“千年龙聚会”掠影

为纪念截拳道创始人李小龙诞辰60周年,由美国“李小龙教育基金会”与“振藩截拳道核心”联合主办的“千年龙聚会”于2000年4月27～30日在拉斯维加斯隆重举行。     

浅析基于3G Module的自助服务平台

3G技术的发展和3G服务的出现,同时结合3G模块中的SIM卡的用户信息,建立一种新的用户服务途径和服务平台.这个平台能够更好的承载和推广运营商的新服务和新策略,挖掘中国3G通讯市场的更多潜力.     

可惜人类不知道

<正>人类展现出很多有趣的行为和生理规律,但人类本身很少察觉到这些。幸运的是,“科学侦探”正致力于揭示这些秘密。快乐真好给生活加一点点快乐,会发生什么?科学家发现,类似听音乐、喝咖啡、闻香水这样能带来简单快乐的日常悠闲活动,可以改变大脑唤醒状态,提升个体在记忆任务中的表现。