一个限制排中律适用范围的命题演算系统

"一个命题与肯定该命题而形成的命题是等值的"只是逻辑学的一个公设,基于这一公设,肯定词在任何情况下都可以随意消除,人们在构造命题演算系统时根本无需引入肯定词。然而,值得提出的是,上述公设从未得到过系统外的预先证明。命题演算系统PC5在限制上述公设适用范围的基础上引入了0级命题变项和肯定词符号。PC5具有可靠性和完全性。在PC5中,对于任意的肯定和否定同一个n(n∈N且n≥0)级命题而形成的两个相反命题而言,不矛盾律都成立;对于任意的肯定和否定同一个n(n∈N且n≥1)级命题而形成的两个相反命题而言,排中律成立,但对于任意的肯定和否定同一个0级命题而形成的两个相反命题而言,排中律不成立。以PC5为逻辑基础,反证法适用于论证n(n∈N且n≥1)级命题的肯定或否定命题,但不适用于论证0级命题的肯定或否定命题。     

唐高祖时期唐突关系史事新解

本文在陈寅恪《论唐高祖称臣于突厥事》研究成果的基础上,探讨了联突厥的重要人物刘文静的真正主人、高祖称臣突厥与兴国寺兵的向背关系、唐突关系与刘武周兴灭、李世民国际地位等问题,认为初唐称臣的真正谋主就是李渊,他也是刘文静的真正主人;兴国寺兵是贯彻李渊外稳突厥、内招杨隋旧部的忠诚部队;刘武周覆灭的关健在于李渊成功地运用唐突外交策略,李世民与突厥关系是次要的;武德后期在唐突国际关系中,李世民的国际地位是他多年累积的军功资本、连兵突厥及招纳谋臣勇将苦心经营的综合结果.     

教师作为知识分子:内涵及其困境——批判教育学教师理念的批判

批判教育学将学校视为民主的公共领域,通过培养学生的批判意识,以此来构建民主社会。教师在这里作为知识分子而存在,然而,教师与知识分子之间的差异,以及作为知识分子所面临的现实困厄,却迫使这一观点亟需重新被考量。教师需要思考为谁而抗争,而批判教育学的政治化倾向可能削弱这一思考;两种角色的"跨界"则会造成教师的角色混乱;批判与建设之间理性的失衡会把这种"教育的理想"转化为"教育虚无主义"。教师何为?仍是一项未尽的思想任务。     

警察擒拿格斗特色资源建设校本防卫术体育课程的必要性和可行性研究

警察类院校有非常有特色的教学内容——警察擒拿格斗。警察擒拿格斗的目的是自我防卫和控制抓获犯罪嫌疑人,它与普通民众的正当防卫行为有许多相似相同的作用与目的,完全可以去除只有警察才能使用部分,而将其余部分用于普通民众的防卫。警察擒拿格斗特色资源进行去警察化改造,建设校本大学体育防卫术课程具有良好的可操作性和可行性,又能很好地达到激发大学生的学习兴趣,满足大学生体育锻炼需要的目标。     

警察防卫与控制技能训练长效机制研究

警察防卫控制技能是警察用来进行自我保护和制服、抓获、控制人犯的一种专门技能,是警察有效制服暴力犯罪的强制性手段,在暴力犯罪依然严峻的时期,警察防卫控制技能越发凸显它的重要性。要从建立警察逢晋必训警体制度入手、各级领导高度重视组织各种形式的训练、加强警察元学习方法的指导以及警察自身的正确认知来提高警察防卫控制技能水平,提高警察队伍的战斗力。     

伊斯兰教末世论的思想沿革探析

伊斯兰教末世论产生的肥沃土壤是古代西亚北非各民族共同创造的灿烂文化.伊斯兰教的来世观念和末日审判说起源于古埃及独特的末世文化.犹太教和基督教传承的天堂、地狱说及其复活思想对伊斯兰教也有借鉴作用.伊斯兰哲学中的伦理道德论是伊斯兰教末世论的重要依据.随着伊斯兰教的广泛传播,古希腊哲学思想中的灵魂论进一步丰富了伊斯兰教末世论的理论基础和内涵.因此,探讨伊斯兰教末世论的思想沿革,对于深入研究伊斯兰教教义学说有着十分重要的意义.     

美学命题的推理问题

在美学著作中 ,从对象描述句推不出心理描述句和鉴赏判断句 ;由审美判断句推不出审美概念定义句 ;从审美概念的定义句推不出审美判断句 ;从其他价值判断句推不出审美判断句。而这一切都说明 ,所有的美学命题 (除了对象描述句 )都是不可证明的     

对网络教学的思考

网络教学被看作一种基于超媒体的教学技术,其意义不同凡响超媒体的学习环境是一种多媒体信息环境;超媒体环境支持学生对信息的非线性获取;超媒体环境支持交互活动;超媒体环境整合了各种信息形式.若使网络教学收到理想的效果,传统的教育体系与现有的教育体系必须进行有机的融合与转换.     

从矿区政府到地方政府:中国油田地区条块关系的形成与演变

条块关系是由“条”与“块”分别承担的任务之冲突程度决定的,条块关系的演变也是由任务之间的冲突变化所导致的。如果中央政府需要下属政府机构同时完成多项任务,那么,多项任务之间的冲突将导致条与块的形成,而且,其冲突的严重程度决定了条块关系的特征,即决定了条块结合程度的高低。进而言之,任务之间的冲突程度上升将推动条块结合程度下降;反之,将导致条块结合程度上升。这一观点来源于多任务委托—代理理论,在本研究中得到了油田地区条块关系的支持,即可以解释在六个设市的油田地区条块关系的形成与演变。     

国际劳工组织体面劳动衡量指标探要

本文通过考察体面劳动的11类衡量指标与6大基本理念的关系,展示了体面劳动衡量指标及其基本理念的结构与相互关系的特点,检验了国际劳工组织体面劳动理念对于其政策目标的整合性特点。本文的研究对正确理解体面劳动概念及其衡量指标体系,指导体面劳动实践与相关学术研究等,均具有一定的参考价值。