逻辑学

For a long time, Lacking the need and promotion of reality, jurists have not paid enough attention to legal reasoning and the research of legal reasoning of our county has not been on the essence and features of legal reasoning out of requirement of legal reasoning in judicial practice, but from the point of view of general rule and method of inference of logic.

长期以来，由于缺乏现实的需要和推动，法学家缺乏对法律推理予以充分的关注，我国关于法律推理的研究不是从司法实践对法律推理的要求出发研究法律推理的本质和特征，而更多的是从逻辑学关于推理的一般规律和方法的角度进行研究，不可避免的使法律推理理论逻辑色彩浓厚而法学色彩不足，不能真正把握法律推理的本质和特点。

Sound reasoning and thinking. It even enables us to discuss the limits of our reasoning in a+ principled way.

以前的理论比如谓词逻辑学提供了一种合理的推理和思考的工具。

At the same time, Computer Go has been involved in many cross-disciplinaries such as Go, Computer, Mathematics, Biology, Logics, Strategics, Education, Psychics and even Philosophy. Consequently, its development has important research value and applied value.

计算机围棋的研究和实现需要多门学科的知识交叉，至少会涉及到围棋、计算机、数学、生物、逻辑学、军事学、教育、心理学乃至哲学等领域，因此其发展具有重要的研究价值和应用价值。

On the one hand, Implication paradox provides semantics grounding for two conditional inference principles; on the other hand, the discovery of implication paradox arouses logicians discussion to the implication theory and makes them put forward many new implication theories such as: strict implication -, relevant implication and etc., and promotes the development of the implication theory and makes implication theory step down mysterious palace, and gradually penetrates into many other concrete sciences.

一方面，正是由于蕴涵怪论为传统逻辑两个假言推理规则提供了语义学根据；另一方面，正是由于蕴涵怪论的发现，引发了逻辑学家们对蕴涵理论的深入探讨，提出了许多新的蕴涵理论如严格蕴涵，相干蕴涵，衍推蕴涵等等，推动了逻辑学蕴涵理论的发展，并促使蕴涵理论走下神秘的殿堂，而逐步深入到许多具体的学科中去。

Conventional wisdom these days can be summarized in the form of a syllogism.

这些天来，一个人云亦云的思想，可以用逻辑学的三段论，总结如下

He has been an editor of the Journal of Symbolic Logic and chief-editor of the Journal of Philosophical Logic.

他曾是国际逻辑学两个主要杂志Journal of Symbolic Logic的编委和Journal of Philosophical logic的主编。

Inferential theory of logic ; premise ; form ; transitive relation of truth-value ; basic rule

逻辑学推理论；"前提真实"；"形式有效"；真值传递关系；基本规则

Their relation of satisfaction is that if a reasontyped concrete proposition is true, the corresponding statementtyped concrete proposition will be true.

追求形式真理，是逻辑科学特有的任务和使命，因而形式真理是逻辑科学基本的、核心的概念，是逻辑学存在和发展的惟一根据。

His research method affected many contemporary and following Chinese scholars who studied the doctrine of Moism. After him, the research of the doctrine of Moism (including the research of logic of Moism) followed the way that Liang Qichao had established.

对墨家逻辑学的研究：梁启超提出校注《墨经》文本的&牒经标题&体例，而且开创了三种逻辑比较研究的新方法，运用西方逻辑和印度因明的逻辑原理对《墨经》中的有关条文进行参照解释，较为充分地揭示出《墨经》中许多基本概念和命题的逻辑意义。

The work describes the progressing course of Indian Logic from Nyaya to Nyaya-Vaisesika with comparison with Buddhist logic.

本书首次从西方哲学方法立场来看待印度的逻辑学，并整理出印度古典哲学从宗教解脱论的目的出发，而寻求认识论来指导宗教实践的思想历程。

He is the most remarkable man that I have ever known.

他是我知道的人中最值得注意的人。

Increased appearance of lymphocele was noticed in patients with diabetic nephropathy, congenital malformations of the urinary tract, and inflammatory diseases, including glomerulopathy and extraglomerular ones, after high-voltage radiotherapy and after removal of the renal graft.

经过高压放射疗法和切除移植肾后，在糖尿病肾病患者、泌尿系统先天性畸形患者和炎症患者身上发现淋巴囊肿有所增加，包括肾小球病和球外疾病等。