逻辑

It was all meaningless, no logic, airy-fairy, wheras the Christadelphian stuff was tangible, it was logical, you could reason about it.

因为那里的教导没有意义，不合逻辑，像童话一般，而基督弟兄会的东西是切实可行的，合乎逻辑，对此你可以思考。

A new pure logical language in clausal form was presented.

状态逻辑型程序设计语言阎志欣（北京航空航天大学计算机科学与工程系，北京100083）摘要本文提出了一种新的纯逻辑式子句型程序设计语言。

Chapter Two to chapter Five analyzeand discuss compressively the three related parts in the system of logical philosophy ofin Frege's logicism.

第二章至第五章是对弗雷格&逻辑主义&逻辑哲学体系的三构分的全面解析、论述。

Description logic is the decidable fragment of the first order logic and suitable for modeling the concept terminology of domain knowledge.

描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建模。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

1引言 描述逻辑是知识表示的一种形式化语言匡，适合表示关于概念和概念层次结构的知识，因此也叫做概念表示语言和术语逻辑。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

Nevertheless,due to the respect of the traditions of the West for the lin guistic norms and logical determinativeness,the word"being"has been raised to the height of the th ing -in -itself of the world and real substance and thereupon,it has got the dual meanings of"be"as a link verb and"exist"as a transitive verb,thus embodying the unity of the logos spirit and the nous spirit in the w.

西方哲学自古希腊以来的一个核心概念Being的原始含义固然是一个逻辑系词&是&，但由西方传统对语言规范及其逻辑确定性的尊重使这个词上升到了世界本体和真正实体的崇高地位，从而使它带上了系词&是&和动词&存在&的双重含义，体现了西方文化中逻各斯精神和努斯精神的统一，这是中国古代以农业为本的文化传统所难以理解的文化现象和语言现象。

According to the properties of dynamic doxastic logic and stable sets, we built a DDL system for revision on stable sets; model completeness has been proved there.

4根据动态信念逻辑和稳定集的特点，构造了一个关于稳定集修正的动态信念逻辑系统，其中模型完全性得到了证明。

First, the Truth-Ascription Thesis, as Stroud understands it, is meant to apply to what an attributor must believe about the truth of an actual subject's beliefs. Second, Brueckner's criticism seems to involve an implicit but dubitable premise concerning the extent and nature of conception required for consistently believing that something is logically possible—or perhaps more importantly: of conception required for not being committed to the claim that something is not logically possible.

首先，归真论点，按Stroud理解的，意味着'一个归真者必须相信一个事实主体的信念的真'；第二，Brueckner的批评似乎含有一个隐含的但可疑的前设，关涉&一致地'相信某东西是逻辑可能的'所必要的概念的本性和程度&的前设，或是可能更重要的：&不付诸主张'某东西不是逻辑可能的'&所必要的概念。

Eliminative Induction is an important inductive method;and it is a shared question of philosophers,logicians and AI scientists to find out a way of describing causality in terms of logic.

排除归纳法是一种重要的归纳方法；如何用逻辑的手段刻画因果关系是哲学家、逻辑学家和人工智能科学家共同关心的问题。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。