论文部分内容阅读
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的.将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性.对必然化规则和模态逻辑系统来说有类似的结果.
形式系统的可靠性和完全性问题
【摘 要】
：
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的.将全称概括规则作为初始规则的系统是否限制对该
【机 构】
：
中国人民大学哲学系
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2005年1期
其他文献
【正】 天津分校共有学员575名,其中1985年入学的542名(正式生490名、旁听生30名、单科生22名),1986年入学的33名。分校下设24个教学班,34个分班。有专职教师13名,兼职教师14
【正】 一、填空题(每空1分,共20分)1.婚姻家庭关系具有两种属性是社会性和自然性。2.婚姻法的基本原则是婚姻自由、一夫一妻、男女平等、保护妇女、儿童和老人的合法权益、
针对企业人力资源管理中出现的留不住人才的困境,讨论现代职业生涯发展观念与人力资源管理的关系,着重探讨了无界职业生涯发展的基本含义,并与传统的职业生涯发展进行了简单
逻辑学的现代化是一个动态的过程。它是指在对思维的反思中,逻辑学要准确的把握思维规则,并且不断的总结人们思维实践的规律从而完善其理论形态。逻辑学的现代化是对自身进行
【正】 为调动学员的学习积极性,搞活教学,1986年下半年,我校组织了一次政经、刑法、刑诉法课程的学习竞赛活动。这次竞赛对搞好教学,提高教学质量是一种新的尝试。通过这次
自备电厂次中压发电锅炉过热器经常发生爆管事故,其主要原因常与锅水水质不良,导致过热器内壁积附盐垢后产生局部蠕变变形,最终促使管壁爆破有关.本文结合上述原因的分析,对
毛泽东关于社会主义社会基本矛盾的学说，从哲学的高度回答了时代面临的重大课题。它深刻揭示了矛盾是社会主义社会发展的动力，对于我们构建社会主义和谐社会有着重要的意义；对社
【正】 业大第一学年我取得了比较好的成绩,第一学期期宋考试总分占全省第十名,第二学期期来考试总分是全省第一名。我主要有以下几点体会;一是充分认识业大学习的重要性,提
【正】 樊永义同志是兰州市中级法院人事处副处长.今年五十岁了。业大开办后,他欣然接受院党组的安排,担任兰州分部专职副主任。一年来,樊永义同志不辞辛苦,勤勤恳恳,较好地
自由逻辑作为一个新兴的哲学逻辑分支在20世纪50年代产生.经过近50年的发展,自由逻辑已经在证明论和语义学发展方面达到较为完善的形态,但是国内学界在这一领域的研究却很少.