逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

汉乐府《孔雀东南飞》与巴金《寒夜》之比较

汉乐府《孔雀东南飞》与巴金的《寒夜》分属两个不同时代的文学作品,它们之间有着惊人的相似,却也有着根本的不同。在经历了漫长的封建社会的中国传统文化中,民族美德与封建糟粕互相交织,绝不能简单地用对与错去划定。只有沟通与理解、尊重与奉献,才能使婆媳之间和睦相处;只有发展生产力,搞好社会主义精神文明建设,才能有效地加速旧思想的崩溃。这是我们今天解决家庭矛盾,尤其是婆媳矛盾的正确途径。     

旅游商品与中国传统文化

旅游商品除了具有实用、纪念、审美的价值以外,还有研究民族发展、民族文化的价值。本文从中国食文化、酒文化、茶文化等方面来探讨旅游商品与中国传统文化之间的关系,为旅游企业开发具有文化内涵和艺术的高品位旅游商品提供重要的理论依据。     

Distal and Proximal Factors in Domestic Violence: A Test of an Integrated Model

We employed 4,095 couples from both waves of the National Survey of Families and Households (NSFH) to test a model of couple violence drawn from several theoretical perspectives. The outcome distinguishes among nonviolent couples and those experiencing either physical aggression or intense male violence. According to the model, background characteristics of couples are related to relationship stressors, which affect the risk of violence via their tendency to promote verbal conflict. Considerable support for the model was found. Couples were at higher risk for one or both forms of violence if they were younger at union inception, had been together for less time, were both in their first union, had only one partner who was employed, had a nontraditional woman paired with a traditional man, had at least one partner who abused substances, had more children, had more frequent disagreements, exhibited a more hostile disagreement style, or lived in an economically disadvantaged neighborhood. Moreover, the effects of stressors such as the number of children and couples' employment status disparities appear to be mediated by disagreement frequency and disagreement style.     

客户关系管理是一种竞争战略

客户关系管理是当今企业管理研究的热点之一,但理论界对客户关系管理的定义、界定、体系框架一直处于热烈的争论与探讨之中。正确界定客户关系管理的定义意义重大,用战略管理方法研究客户关系管理战略。通过战略管理可以降低企业CRM系统实施的失败率。     

情态动词否定之研究

Palmer认为在英语语法中 ,最难描写的莫过于情态助动词系统 (Palmer,1 979:preface)。情态动词之所以纷繁复杂、难以描写是因为它们在各种英语文体中使用频率极高 ,并且表达的意义与人的情感和意念有着密切关系。由于情态动词的意义的多样性和模糊性 ,其否定形式及范围也是复杂多变的。我们可以依据Palmer对三类情态动词(推测性、义务性、原动性 )和两种情态级别 (可能级、必定级 )的划分 ,对情态动词的否定范围及语义进行分类分级研究 ;同时 ,鉴于可能级和必定级情态动词否定之间的语义约同现象 ,对逻辑等式Not -possible =Necessary -not;Not -necessary=Possible -not在情态动词句式中的操作规律加以探讨 ,结果表明该等式为解释情态动词否定形式间的互补现象提供了逻辑依据     

我国历史上疆域形成、变迁的理论研究

文章就我国历史上疆域形成及变迁的有关理论问题进行了研究。作者回顾了半个世纪以来我国疆域研究取得的成就,分析了有关论述观点的得失,提出了深化此项研究的对策。     

论赵树理小说中婆媳关系的民间叙事

婆媳关系是赵树理小说所涉及的女性解放问题中特别被关注的一个侧面。有关革命的、新政权的叙事话语使其小说具有了叙事的合法性 ;而他自觉的民间叙事立场又使其小说自溢出相悖于证“名”的叙事空间 ,呈现出真实的女性关系     

浅析雇佣关系中的商业秘密保护与竞业禁止制度

商业秘密能够给权利人带来巨大的经济价值或竞争优势，因此要加强对商业秘密的保护，尤其是要加强对雇佣关系中的商业秘密的保护。在雇佣关系中，商业秘密权的保护与择业自由权的保护存在着冲突，是保护商业秘密的难点。竞业禁止作为保护商业秘密的手段，同时存在于在职期间和离职后，雇主通常与雇员签订竞业禁止协议来保护商业秘密，如何确认竞业禁止协议的合法性、合理性问题是保护商业秘密的又一个难点。     

略论隋炀帝时中日外交关系的空前发展

杨广即位后 ,凭着国力的强大 ,进一步推行开放的外交政策 ,加强与日本的联系。日本多次派遣隋使团来中国 ;隋炀帝第一次接受日本留学生 ,并派裴世清回访日本 ,把中日友好关系推向了一个新的阶段。