助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   古典逻辑 的翻译结果: 查询用时:0.48秒
图标索引 在分类学科中查询
所有学科
逻辑学
数学
更多类别查询

图标索引 历史查询
 

古典逻辑
相关语句
  classical logic
     On the Existence of Chinese Classical Logic
     中国古典逻辑何以成立
短句来源
     (3) The exploration of the thought of Chinese classical logic, especially the new research in Monism is based on the systematic introduction of the western logic and the revival of Indian TinMin ;
     (3)中国古典逻辑思想的发掘,尤其是对墨家逻辑的重新研究是在西方逻辑的系统引进,印度因明的复兴推动下得以实现的特征;
短句来源
     A Comparison of Mutually-inversistic Logic and Classical Logic
     互逆主义逻辑与古典逻辑比较
短句来源
     The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
     排中律是思维的基本规律之一,它构成古典逻辑中所有证明的基础。
短句来源
     Modal logic, as a non-classical logic, is different from classical logic.
     模态逻辑作为一种非古典逻辑是与古典逻辑不同类型的逻辑。
短句来源
更多       
  “古典逻辑”译为未确定词的双语例句
     The First-order Theory of Kripke's Semantical Analysis of Non-classical Logics
     非古典逻辑Kripke语义分析的一阶理论
短句来源
     Contrarily, traditional Chinese Logics was closely related to politics and taken as a tool to govern the country.
     而中国的古典逻辑一直是与政治相连,是治理国家的工具,直到“西进运动”之后才逐渐成为一门独立的学科。
短句来源
     In the first section an axiom system for the classic two-valued logic M is given such that each group of axioms (including predicate calculus) is self-sufficient with respect to the connective C.
     第一部份给出一个各组公理相对于C而自足的古典逻辑公理系统.
短句来源
     But classic logiehas not such afeature. In this paper,a new logic system TL is constructed,which has beem obtained byadding an assumption operator M to Kleene's strong three-value logic and which has ob-tained the capability of non-monotonic reasoning.
     但古典逻辑没有这种特性,为此,在 KLEENE 三值逻辑基础上,加入一个假设算子 M 而得到一种能够反映非单调推理过程的三值逻辑系统 TL
短句来源
  相似匹配句对
     On the Existence of Chinese Classical Logic
     中国古典逻辑何以成立
短句来源
     The Logical Starting Point and Meaning of Classical Economics
     古典经济学的逻辑起点及其意义
短句来源
     True Degree Logic
     真度逻辑
短句来源
     Logic of Information Currents
     信息流逻辑
短句来源
     On the base of classical C.
     采用在古典 C.
短句来源
查询“古典逻辑”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  classical logic
For systems of multistate elements, the problem of developing Boolean reliability models was considered on the basis of multivalued logic, cortege algebra, algebra of groups of incompatible events, and classical logic-and-probabilistic method.
      
Contrary to the widespread opinion that classical logic is inadequate for representing open-textured knowledge, the framework outlined herein is given a formalization in first order logic.
      
We design a language that allows a user greater expressive power than classical logic programming.
      
Girard, is a refinement of classical logic providing means for controlling the allocation of "resources".
      
The cost is that intuitions developed through the use of classical logic may need modification, though the system is still classical at a level once removed.
      
更多          


The present paper consists of seven sections.In the first section an axiom system for the classic two-valued logic M is given such that each group of axioms (including predicate calculus) is self-sufficient with respect to the connective C. It is proved that for any logic system each group of axioms is self-sufficient with respect to C provided that so is the propsitional calculus in it.In the second section a classic constructivistic logic G is given such that a formula a resp. N a is provable in M (including...

The present paper consists of seven sections.In the first section an axiom system for the classic two-valued logic M is given such that each group of axioms (including predicate calculus) is self-sufficient with respect to the connective C. It is proved that for any logic system each group of axioms is self-sufficient with respect to C provided that so is the propsitional calculus in it.In the second section a classic constructivistic logic G is given such that a formula a resp. N a is provable in M (including the predicate calculus) if and only if NN a resp. N a is provable in G. It is noted that the minimal calculus J is included in G, but the Heyting system H and the classic constructivistic logic G are independent of each other, and all of these systems are included in M.In the third section a natural deduction system of sequent type for G is given and it is proved that each group of axioms of the above axiom system given is self-sufficient with respect to the connective C.In the fourth section natural deduction systems of assumption type for the systems J, H, G and M are given. The systems of J, H (resp. of G, M) possess the subformula (resp. quasi-subformula) property in the sense that in the deduction of a formula a we make use only of the subformulas (resp. the subformulas and their negations) of a. Hence the provability in the prepositional calculus of these systems is decidable within finite steps.In the fifth section some mistakes in the prevailing natural deduction systemsof assumption type are pointed out, which provoked a long dispute among math-ematical logicians.In the sixth section the relations between natural deductions of sequent type and those of assumption type are discussed and it is shown that given any system of one type we can construct a system of another type such that not only the sets of their provable formulas but also the auxiliary formulas in the deduction process are the same.The last section deals with the implication paradoxes from the sequent clculus viewpoint and hence throws a new light on the subject.

本文共分七部份.第一部份给出一个各组公理相对于C而自足的古典逻辑公理系统.指出,如果命题演算部分各组公理自足,那末只须把通常的全称规则适当加强便可以达到目的了.第二部份给出一个古典构造主义逻辑系统G,使得在整个系统内是古典逻辑系统M的共否系统;与极小演算J,直觉主义逻辑H相比,它是由J加个两个公理而得,或由H,M中把一个公理换为两个较弱公理而得.J是G的子系统,在命题演算内G是H的子系统,在谓词演算内G与H互不包含,而J,G,H又都是M的子系统.第三部份介绍Gentzen的矢列型系统.对系统G给出一个矢列型系统,从而证明上节所给的关于G的公理系统是相对于C而各组自足的.第四部份介绍假设型系统,对J,G,H,M系统都给出具有(准)子公式性质的假设型系统,由于有(准)子公式性质,在命题演算内它们的可证性都是可判定的.第五部份,对目前一些人对假设系统所作的一些错误解释予以评论.第六部份,讨论矢列型系统与假设型系统的关系,证明两者实质上是一致的,即任给其中一型的系统恒可作出另一型系统,它们不但可证公式全同,而且所使用的中间公式也相同.第七部分,利用自然推理系统而对蕴涵怪论问题的讨论给出一些新线...

本文共分七部份.第一部份给出一个各组公理相对于C而自足的古典逻辑公理系统.指出,如果命题演算部分各组公理自足,那末只须把通常的全称规则适当加强便可以达到目的了.第二部份给出一个古典构造主义逻辑系统G,使得在整个系统内是古典逻辑系统M的共否系统;与极小演算J,直觉主义逻辑H相比,它是由J加个两个公理而得,或由H,M中把一个公理换为两个较弱公理而得.J是G的子系统,在命题演算内G是H的子系统,在谓词演算内G与H互不包含,而J,G,H又都是M的子系统.第三部份介绍Gentzen的矢列型系统.对系统G给出一个矢列型系统,从而证明上节所给的关于G的公理系统是相对于C而各组自足的.第四部份介绍假设型系统,对J,G,H,M系统都给出具有(准)子公式性质的假设型系统,由于有(准)子公式性质,在命题演算内它们的可证性都是可判定的.第五部份,对目前一些人对假设系统所作的一些错误解释予以评论.第六部份,讨论矢列型系统与假设型系统的关系,证明两者实质上是一致的,即任给其中一型的系统恒可作出另一型系统,它们不但可证公式全同,而且所使用的中间公式也相同.第七部分,利用自然推理系统而对蕴涵怪论问题的讨论给出一些新线索.在下文,我们不加区别地使用无括号系统(所谓波兰系统)与加点子的通常系统.

In the beginning of formulized Polyá logic, by modality ◇we established two systems DPL(Deductive Polyá Logic) and IPL(Inductive Polyá Logic) of effective mathematical models for creative and innovational thoughts of human race in science and technology. In these systems. we can derived not only those schmata, which Polyá holds out in but also derived another interesting schmata. It is found that these systems are best mirror of that object. Finally, some relations between the Polyá logic and modal logic were...

In the beginning of formulized Polyá logic, by modality ◇we established two systems DPL(Deductive Polyá Logic) and IPL(Inductive Polyá Logic) of effective mathematical models for creative and innovational thoughts of human race in science and technology. In these systems. we can derived not only those schmata, which Polyá holds out in but also derived another interesting schmata. It is found that these systems are best mirror of that object. Finally, some relations between the Polyá logic and modal logic were studied.,

讨论在科学研究中的发明创造思维的数学模型,对Polyá提出的“论证推理模式”与“归纳推理模式”作形式化处理,在古典逻辑系统中引进模态词◇后建立了一系列新的逻辑系统。在其中可以推导出Polyá所提出的许多推理模式,同时也推导出许多新的推理模式。最后,研究了这些逻辑系统与古典模态逻辑之间的关系。

Commonsense reasoning is non-monotonic in the sense that we often invalidate oldknowledge about the world when new information is obtained.But classic logiehas not such afeature.In this paper,a new logic system TL is constructed,which has beem obtained byadding an assumption operator M to Kleene's strong three-value logic and which has ob-tained the capability of non-monotonic reasoning.

常识推理作为一种非单调的推理方式,当知识库获得新的知识后,有可能摒弃原有的一些信息.但古典逻辑没有这种特性,为此,在 KLEENE 三值逻辑基础上,加入一个假设算子 M 而得到一种能够反映非单调推理过程的三值逻辑系统 TL

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关古典逻辑的内容
在知识搜索中查有关古典逻辑的内容
在数字搜索中查有关古典逻辑的内容
在概念知识元中查有关古典逻辑的内容
在学术趋势中查有关古典逻辑的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社