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

图标索引 历史查询
 

modern formal logic
相关语句
  当代形式逻辑
     What is Definition and Making a Definition?——A Probe into Views on Modern Formal Logic
     究竟何谓定义,何谓下定义——当代形式逻辑定义观探讨
短句来源
     Traditional categorical definition is a kind of proper method proposition that is applicable in a narrow scope, while definition methods in modern formal logic have wider applicable scope than the traditional formal logic.
     传统的属加种差定义是一种传统的、适用面很窄的正则命题,当代形式逻辑中下定义方法比传统形式逻辑的覆盖面宽。
短句来源
     Modern formal logic holding guide ideology of the philosophy that is about dialectical materialism and object theory about logic reveals two independence of apodeictic relation about reasoning between premise and conclusion.
     持辩证唯物论逻辑客体说哲学指导思想的当代形式逻辑揭示了推理的前提与结论间的必然关系的两个独立性。
  “modern formal logic”译为未确定词的双语例句
     The article relates the course from chaos to dearness of formal logic and the accurate characteristic of modern formal logic, based on probing the contact and difference between proposition and judgement.
     文章在探究命题与判断联系与区别的基础上 ,阐述了形式逻辑由“混沌”向“清晰”的发展过程以及现代形式逻辑的精确化特征。
短句来源
     The mainstream logic of the 20 th century is modern formal logic, besides which a non-mainstream modern logic-informal logic has been developing.
     2 0世纪的主流逻辑是现代形式逻辑 ,但在主流之下还有一种非主流的现代非形式的逻辑在发展和成长。
短句来源
     The classical proposition logic is the basis of modern formal logic.
     经典命题逻辑是现代形式逻辑的基础。
短句来源
  相似匹配句对
     MODERN IT
     摩登数码
短句来源
     Modern;
     教育现代化是中国现代化之母。
短句来源
     Humanistic Concern and Formal Rebellion in Modern Design
     现代设计的人文观照与形式叛逆
短句来源
     Formal Features of Reduplication of Adjectives in Modern Chinese
     现代汉语形容词重叠的形式特征
短句来源
     The classical proposition logic is the basis of modern formal logic.
     经典命题逻辑是现代形式逻辑的基础。
短句来源
查询“modern formal logic”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  modern formal logic
Smirnov's Results in the Field of Modern Formal Logic
      
Comparisons between scholastic logical tools and modern formal logic (1937)
      
The topics does not have an exact parallel in modern formal logic, but some reflections on non-formal argumentation by recent authors contain certain resemblances to it.
      


The article relates the course from chaos to dearness of formal logic and the accurate characteristic of modern formal logic, based on probing the contact and difference between proposition and judgement.

文章在探究命题与判断联系与区别的基础上 ,阐述了形式逻辑由“混沌”向“清晰”的发展过程以及现代形式逻辑的精确化特征。

The mainstream logic of the 20 th century is modern formal logic, besides which a non-mainstream modern logic-informal logic has been developing. It's a new logic closely linked with our daily world. It has caused the concern of logicians in Western countries. Pushed by the trend of critical thinking and demands for logic teaching, a new research field of informal logic has been formed. It should be taken as a part of modern logic and studied.

2 0世纪的主流逻辑是现代形式逻辑 ,但在主流之下还有一种非主流的现代非形式的逻辑在发展和成长。非形式的逻辑是和我们的生活世界联系更为紧密的一种新逻辑 ,它已经在西方国家受到逻辑学者的关注 ,并在批判性思维运动和逻辑教学需要的推动下形成了新的研究领域。我们应该用一种发散的思维方式把它也看作是现代逻辑的一个组成部分来进行研究 ,而不应排除在现代逻辑的视野之外

Only proper method proposition can be definition, and all definitions are proper methods; Traditional categorical definition is a kind of proper method proposition that is applicable in a narrow scope, while definition methods in modern formal logic have wider applicable scope than the traditional formal logic.

只有正则命题才是定义,凡定义皆正则;传统的属加种差定义是一种传统的、适用面很窄的正则命题,当代形式逻辑中下定义方法比传统形式逻辑的覆盖面宽。

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

 


 
CNKI小工具
在英文学术搜索中查有关modern formal logic的内容
在知识搜索中查有关modern formal logic的内容
在数字搜索中查有关modern formal logic的内容
在概念知识元中查有关modern formal logic的内容
在学术趋势中查有关modern formal logic的内容
 
 

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