刻画主体有智能的逻辑(英文)

本文提出两个标准来表示"一个主体有智能":该主体知道它的知识和它做过的活动。然后我们给出若干逻辑系统分别整体地、局部地和半局部地刻画上述标准。最后我们证明这些系统相对各自的语义是框架可靠和框架完全的。     

评“四人帮”唯心主义复辟史学的极右实质

“四人帮”反党阴谋集团,出于篡党夺权的反革命政治需要,从批林批孔运动起大搞影射史学。他们把批林批孔运动篡改成所谓尊法反儒(后改为评法批儒)运动,打着古为今用的幌子乱贴儒法斗争的标签,影射比附,为他们篡党夺权制造反革命舆论。“四人帮”所谓的儒法     

心身疾病与性格流调研究中若干问题的思考

心身疾病与性格流调研究中若干问题的思考上海中医药大学（２０００３２）楚更五导师何裕民心身疾病与性格关系的研究，是心身医学领域中的重要方面。其流行病学调查研究作为研究的基本手段，在我国已被广泛采用。目前，临床上较多地采用从国外引进的，自陈式性格问卷或性...     

何谓现代归纳逻辑

本文旨在讨论现代归纳逻辑应该具有的·逻·辑①形态。为此先讨论了归纳逻辑的定义，认为归纳逻辑可分广义归纳逻辑和狭义归纳逻辑。文章从逻辑的基本立场出发，提出归纳逻辑应该满足的４条标准，从而阐明该逻辑应该具有的形态。由此出发，本文分析了已有的归纳逻辑诸理论之不足，指出狭义归纳逻辑已经走向衰亡，而广义归纳逻辑又没有真正刻画日常归纳推理，由此得出结论：严格意义上的归纳逻辑难于建立，其本质原因在于用演绎逻辑方法研究归纳推理具有很大的局限性，而要想建立归纳逻辑又别无选择。     

概率语义与句子系统

本文讨论概率语义与句子系统的关系,我们考虑的概率语义分两种:句子型的语义和命题型的语义。令L0是由可数个句符和常用句子联结词构成的语言,令LL0是任意句子语言,即L还可以有(作用在句子上的)n元算子。我们用FL0和FL分别表示L0和L的所有句子的集合。令PC指称下列经典句子系统:PCFL0使得PC包含下列公理模式Ax1—Ax3且在推理规则MP下封闭:(Ax1)　A→A∧A;(Ax2)　A∧B→A;(Ax3)　(A→B)→((B∧C)→(C∧A));(MP)　A,A→BB。这里我们采用Rosser在1953年提出的、主要用∧和表述的系统,之所以这样做是因为下面的概率语义是相对…     

七十老翁祝国慶

就1国成立一l一周年,人工已之〔山大改观,丰衣牛食牢文化,幸稿社会在令天。总;各钱光厂刁太阳,多快好省好主张,洲度积极好因素,砂会主义快成长。人民公社旭‘日升,建殷力量大集中.集休扯渡到全民。共产主义是前程。全党全民大竞赛,建投租国立奋功,出色完成新任务,庆视十年大国庆。跃进力量大无穷.五年针划三年成.鼓足弓尹加钻勤,不等于年超老英。对i国前途光万丈,人J眨幸而l乐无疆。怀想感韵寸仁主席,报德不忘共产党。七十老翁祝国慶@刘中五~~