一个带有事务管理的动态偏好逻辑

问题对偏好的变化会有影响.本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑.我们的逻辑表明它能把其他情况均同的偏好(ceteris paribus preference)与普通的偏好联系起来并将其动态化和显性化.并且,通过引入混合逻辑使得我们能在同一层次谈论命题和对象之间的偏好,除提问这个行动之外,我们还在逻辑系统的动态部分考虑了解决、建议和软公开宣告等行动.在对这四种行动的不同影响进行比较后,我们证明了这个动态系统的完全性.     

公开状态下的多主体的动态事务管理逻辑

文章从多主体的动态事务管理逻辑出发,给出了多主体动态管理逻辑的语言和语义,并进一步分析了质询的时态协议,给出了其模型。最后从称珍珠的例子出发,分析了一个Q生成模型的语义和模型,并得出了一些结论。     

大学生合理需要理念:我国高校学生事务管理的一种哲学思考

以历史和逻辑的视角分析了西方高校学生事务管理的科学化和专业化发展,得出高校学生事务管理是在现代社会如何回归“人”的培养目标的逻辑结果,与学术管理成为“人”的培养的两个不可或缺的组成部分,并进而分析了我国高校学生事务管理的现实问题。针对我国高校学生事务管理存在的问题,在一定的理论基础和实践基础上对我国高校学生事务管理进行哲学思考,提出了大学生合理需要理念。     

大学生合理需要理念：我国高校学生事务管理的哲学思考

以历史和逻辑的视角分析西方高校学生事务管理的科学化和专业化发展,得出高校学生事务管理是在现代社会如何回归“人”的培养目标的逻辑结果,它与学术管理一起构成“人”的培养的两个不可或缺的组成部分。此外,在对我国高校学生事务管理存在问题进行分析的基础上,对我国高校学生事务管理进行哲学思考,提出大学生合理需要的理念。     

高职院校专业动态调整的逻辑、指标与实践路径

高职院校专业动态调整遵循技术发展逻辑、外部社会需求逻辑、专业自身发展逻辑,专业动态调整的本质是三重逻辑的耦合。构建专业动态调整的有效路径,需在遵循三重逻辑耦合的前提下,合理设置专业动态调整的评价指标体系,科学规划专业动态调整的实践路径。     

行动、断言、事件和主体——动态道义逻辑的几个基本概念

1988年梅耶给出一个动态道义逻辑(DDL)系统,该系统不是处理一般的词项和命题,而是把行动和断言作为逻辑的处理对象。梅耶之后,这一系统不断完善,使得对于道义逻辑的讨论扩展到实施行动的主体,即行动者以及和行动者相关的事件。在此对DDL及其个体事件扩展进行粗略讨论,意在表明道义逻辑的探索,是一个不断地从抽象的一般道义范畴朝向具体的生活世界范畴的过程。     

试论高校学生事务管理专业化

高校学生事务管理专业化的内涵,可以从动态和静态两个角度来理解;学生事务管理人员的自身素质与客观环境是学生事务管理专业化的两个方面.学生事务管理人员的专业成长主要分为五个阶段:即准备阶段、求生阶段、巩固阶段、更新阶段和成熟阶段,各阶段的发展内容和侧重点不同.学生事务管理人员的专业化范式有多种,主要包括"实干型"、"研究型"和"反思型"等,各范式间彼此联系、交互作用,共同构成一个多元化、多层次的学生事务管理专业发展体系.     

学生事务管理组织模式比较研究

学生事务管理是当今世界各国高等教育改革的重要议题,本文对目前国际上主要的三种学生事务管理组织模式,即内部事务型、外部事务型、内外事务混合型进行分析,并对这三种模式各自的组织结构和功能作了比较.     

美国高校学生事务管理的历史流变

美国高校学生事务管理是一个历经二百余年发展历史的专业化职业.基于前人研究的基础,本文以标志性文件为依据,对美国高校学生事务的发展阶段进行重新划分,同时介绍了诸如招生、住宿、社团活动等学生事务具体领域的历史发展.在此基础上,笔者进一步梳理了"学生事务"概念自身及其理论基础的历史流变,以深入理解和把握美国高校学生事务管理发展的内在逻辑.     

新形势下我国高校大学生事务管理工作探析

文章分析了当前我国大学生事务管理工作中存在的问题,提出解决我国大学生事务管理问题的有效途径,旨在进一步提高我国大学生事务管理工作。     

中国青少年篮球防守现状及对策

通过实际调查数据的分析揭示出我国青少年篮球防守的防守理念尚未转变,在防守意识和防守技术、战术的运用能力方面还存在不足等问题,并在此基础上提出相应的对策。     

定位理论视域下全国体育大会定位研究

运用文献资料、逻辑分析等方法,在定位理论视域下对全国体育大会的定位内容、定位原则、定位策略等问题进行深入探究与分析.研究认为:在定位理论视域下准确为全国体育大会定位,应选择体育大会形象、赛事组织管理和市场开发为定位内容;定位过程中应严格遵循定位理论的简单性、稳定性、质量取胜和突出焦点四原则;采用强化已有定位、比附定位、单一位置策略、寻找空隙策略、类别品牌定位和再定位六策略,突出体育大会在办赛理念、项目设置、参赛方式、奖励方式、市场开发等方面的差异性,形成核心竞争力,创造与其它大型综合性运动会建设性合作的机会,让公众为体育大会定位,力争使体育大会在公众心智中占据一个有价值的位置.     

状态相似性与流量限制模型

在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。     

充分条件关系的刻画在案件事实认定中的运用

在案件事实认定中,传统形式逻辑的充分条件假言推理这一思维工具存在着固有的缺陷,我们应该对其前后件之间的关系进行清楚地刻画,否则就无法进行有效的推理。这种刻画在我们的案件事实认定中具有重要作用,有利于我们的法官正确顺利地完成案件事实认定工作,为正确判决的生成打下基础。     

Conflict Management in China and US:under the Influence of Face

Face has been considered an important issue in intercultural conflict management.A successful management of face issue is of significance in communication process,especially those involves the Asian countries.With an in-depth investigation of cultural variability of face in China and US,the present paper will compare different styles of conflict management in regards to face in hope that it will give some hints to relative studies.     

模态逻辑中的三值逻辑

每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。     

加强高校实验室建设和管理的思考

规范实验室建设和管理工作是目前高校面临的一个重要课题。文章根据近年来实验室发展的状况,分析了目前存在的主要问题,并对如何搞好实验室管理提出了解决的方法。     

浅析抚州市高校体育场馆的经营与管理

进入二十一世纪,市场经济体制月趋深入社会的各个方面,引发传统的经济的大变革。在新形式下探索高校体育场馆的经营与管理．既是时代所趋也人心所向。本文采用文献资料法、逻辑推理法、调查法．对高校体育场馆的经营与管理进行了探讨。     

The completeness theorem of Gödel

In Part 1¹ of the article, we introduced the basic notions and techniques of mathematical logic. In this part, we present the completeness theorem of first order logic proved first by Gödel in 1929. We give a sketch of the proof due to Henkin.