逻辑

There have been several attempts to render the persuasive force of the ontological argument more transparent by recasting it using the logical structures of contemporary modal logic.

有几次尝试显示由用当代的形式的逻辑的逻辑结构重做它更透明的本体论的争论的有说服力的力量。

Many logical positivists and analytic philosophers have argued that the problem with theism is not one of evidence or argument, but of meaning and logical coherence.

许多逻辑实证主义和分析哲学家认为，这个问题与有神论，是没有一个证据或论据，但意义和逻辑的连贯性。

In the third part of this chapter, after introducing the theories and reasons about the base of the right to allege the compensation for damages, the author supports that the base of the right to allege the compensation for damages is breach of contract, and because of reacquainting of the object of contract rescission, this theory resolves the logical contradiction of traditional theory, gives attention to the values of the logicality and justice of law.

本章第三节中，在介绍了关于合同解除损害赔偿请求权基础的各种理论及理由后，笔者支持合同解除后损害赔偿的请求权性质是债务不履行的损害赔偿，并因为重新认识合同解除的标的，解决了传统理论中法律逻辑的矛盾，兼顾了法律逻辑和正义诉求双方面的价值。

The real-time target track processing system is designed which is constructed by the high performance DSP chipset TMS320C6416 as the core digital processor, the huge reprogrammable logic chipset CPLD as the system logic control and the field reprogrammable array FPGA as the image preprocessing chipset to sampled video digital image.

为了解决算法复杂性及满足工程实时性，设计了以高性能的DSP芯片TMS320C6416为核心处理器，结合大规模可编程逻辑器件CPLD进行逻辑控制以及现场可编程门阵列FPGA对采集的视频数字图像做预处理的实时目标识别跟踪处理平台。

The real2time target t rack processing system is designed which is const ruc2 ted by t he high performance DSP chip set TMS320C6416 as the core digital p rocessor , t he huge rep rogrammable logic chip set CPLD as t he system logic cont rol and the field reprogrammable array FPGA as t he image p reprocessing chip set to sampled video digital image.

为了解决算法复杂性及满足工程实时性，设计了以高性能的DSP 芯片TMS320C6416 为核心处理器，结合大规模可编程逻辑器件 CPLD 进行逻辑控制以及现场可编程门阵列FPGA 对采集的视频数字图像做预处理的实时目标识别跟踪处理平台。

Suppose there is no judicial justice, governing the country by law is an empty word and building the modern rule-by-law country is only the realm of fancy as well.

司法公正是司法机关的生命和灵魂，&以公正的逻辑代替武力的逻辑是法律本质的全部所在&。

Traditionally,Aristotelian logic,which dominated the logic scene for over 2 00 years(up to the beginning od the twentieth century),dealt almost exclusively with argument made up of sentences like "All A are B" and "some A are B".

按照传统的观点，统治了逻辑学界2000年之久的亚里士多德逻辑(直至20世纪初)，几乎唯一地处理由诸如句子&所有的A是B&以及&一些A是B&所组成的论证。

As a method, scholasticism involves (1) the close, detailed reading of a particular book recognized as a great or authoritative work of human or divine origin - for example, Aristotle in logic, Euclid in geometry, Cicero in rhetoric, Avicenna and Galen in medicine, the Bible in theology - and (2) the open discussion in strict logical form of a relevant question arising from the text.

作为一种方法，士林涉及（ 1 ）关闭，详细阅读一书，特别是公认的作为一个伟大的或权威性的工作人或神的原产地-例如，亚里士多德在逻辑上，在欧几里得几何，西塞罗在修辞，阿维森纳和盖伦在医学上，圣经在神学-和（ 2 ）公开讨论在严格的逻辑形式有关问题所产生的案文。

In the traditional idea political education, the teacher and the students are inequality under the philosophic base of subject and object in binary fission, and the inculcation model without necessary conversation results in the bad education.

从哲学层面讲，在思想政治教育中，教育者作为教育主体相对于教育对象这一客体是居于逻辑先在地位的，但仅仅是一种逻辑上的先在性，决不意味着教育者可以把自己的政治愿望生搬硬套在教育对象上。

In the book, Boole set forth the formal axioms of logic (much like the axioms of geometry) on which the field of symbolic logic is built.

在这本书里，向前 Boole 装置逻辑的正式公理在上建立了符号逻辑的领域

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。