逻辑学

Recent studies have investigated antibacterial (29), immunological (30), antitumoral (31), and hypocholesterolemia (32) effects of kefir consumption on animals.

最近的研究已在动物摄取Kefir的效果上分析研究出抗菌剂，免疫逻辑学的，抗肿瘤的，及低胆固醇血症的效能。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Quantifier is one of key conceptions in logic, especially in modern logic. It always plays an important role in logical analysis and linguistical analysis.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

Considering that the definition of CSR is controversial, and different school has different opinion about the connotation and extension of it, this chapter first probes into the origin of CSR, and lay out different parlance about it, in order to rendering the standpoint of this dissertation impersonal, impartial and scientific; then according to the etymology and locution of CSR, comments on these parlance about it by means of logic discriminance; finally, by appraising the different theories, brings forward the appropriate definition for CSR in my own conceit, that is: CSR is the obligation for corporation to maintaining and enhancing the social commonweal besides its duty to pursuit profit-maximum for shareholders.

这一问题。鉴于企业社会责任是一个争议颇大的概念，其内涵和外延在不同学者的心目中大相径庭，为使本文的企业社会责任观尽量立基于客观、公正和科学之上，本章首先回到企业社会责任产生的本土之中，穷源竟委，对企业社会责任的不同界说进行展示；其次，依"企业社会责任"的语源和语境，运用逻辑学的判别方法，对各种观点展开评析；最后，斟酌各家之说，提出一个自以为妥帖的企业社会责任概念，这就是：企业社会责任乃指企业在谋求股东利润最大化之外所负有的维护和增进社会公益的义务。

The argument that "logicalized dialectical logic is the product of idielogy with specious principle" is the distortion or ignorance of dialectical logic.

马克思主义的科学逻辑学这种说法慎提为要。类的包含于关系的传递性是思维形式barbara的抽象内容。

It is in this background, the famous American logician and philosopher Kripke establish his casual and historical reference theory in the basis of semantics, which have make contributions to the development of analytical philosophy and language philosophy.

正是在此背景下，美国当代杰出的逻辑学和哲学家克里普克在其语义学基础上提出的因果历史指称理论对于分析哲学和语言哲学的发展做出了重大贡献。

He was prominent as a publicist in the reforming age of the 19th century, and remains of lasting interest as a logician and an ethical theorist.

他是19世纪世界秩序重组中卓越的国际法学家，一直对逻辑学和伦理学怀着兴趣。

The most typicaltheory and the most important contest is his idea that logic is the thought of logicism ofmathematics and other scientific foundation.

最典型的理论和最主要的内容就是他始创的逻辑学是数学乃至一切科学的基础的"逻辑主义"思想。

The paradox of material implication is resulted from its double roles.

但是正因为如此，逻辑学中出现了难以克服的语义解释问题。

This article, from the perspective of logic, systematically analyzes the meaningfulness of the truthfulness of premise and its influence on the effectiveness of our empirical accounting research.

本文从逻辑学的角度，系统地分析了前提真实性的意义及其对中国实证会计研究有效性可能产生的影响。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了