查询词典 categorical theory

This paper carries out full analysis on Aristotle's theory on categorical proposition and points out that he introduced,for the first time in logic history,term variable,established opposition matrix,and laid basis for syllogism.

对亚里士多德的直言命题理论作了全面的分析，指出亚里士多德在逻辑史上第一次引进词项变元，建立了对当方阵，为三段论奠定了基础。

The theory of compound propositions inference, The theory of categorical proposition inference, The modal logic, Foundational laws of logic ,The theory of inductive logic ,The theory of proof and refutation.

主要有：概念的理论，命题的理论，复合命题推理，直言命题推理，模态逻辑，逻辑规律和归纳推理。

Legal syllogism is the basic model which is used by the accuser, the defender and the trier in criminal trial. What is its logical foundation? There are mainly three kinds of viewpoints up to now. According to traditional theory, it is categorical syllogism and deductivists think it is whole deductive logic, while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Legal syllogism is the basic model which is used by the accuser,the defender and the judge in criminal trial.What is its logical foundation? There are mainly three kinds of viewpoints up to now.According to traditional theory,it is categorical syllogism,and deductivists think it is whole deductive logic,while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Nevertheless, the view of modern categorical theory thinks that the daily sports language is used noramlly.

然而，从现代范畴理论看来，人们日常使用的体育语言却是一种十分正常的现象。

The reason why sports language does not change even after more than two decades is because of the modern categorical theory comprised in itself.

日常体育语言历经 20多年的"洗礼"后不会发生变化，只是因为其本身蕴涵着独特的方法论，那就是"现代范畴理论"。

Categorical data types apply categorical theory to discuss the construction and application of data types, generalize the abstract data types and play an active role in the theories of parallel calculation.

范畴数据类型是以范畴理论为基础来讨论数据类型的构造及应用，它是抽象数据类型的一种推广，在并行计算的理论研究中有着重要的地位。

In Order to solve the question that the criminal theory system is the formal or material,it is necessary to contact the question that the criminal theory system is categorical system or teleological system.

犯罪论体系是范畴论还是目的论，是形式犯罪论与实质犯罪论的原点问题。要解决形式与实质犯罪论这一新的刑法学派之争，必须联系犯罪论体系的范畴论与目的论予以考察。

Based on the揷lassic theory" of categorical theory, the揻ormalistic logic" sports conception holds that the daily sports language is used wrongly.

从范畴学说的"经典理论"出发，"形式逻辑"体育观认为，人们日常使用的体育语言是一种错误。

. Based on the newly research on the philosophy of language and the incommensurability of paradigm, the article analyses the difference between evolution and game theory in both cognition and methodology enlightened by the Categorical framework of language, and attempts to find if there has been the third language like evolutionary games which can make evolution and game theory communicate effectively.

在新近语言哲学和范式不可通约研究的基础上，本文从语言分类结构的视角对演化与博弈各自的认识论和方法论进行比较，尝试揭示两者的差异，并进而解答是否存在第三种诸如演化博弈的理论语言能够促成演化与博弈的有效交流。

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.

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