formal logic中文是什么意思

• 形式逻辑

• formal    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事 ...
• logic    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
• formal logic inference    形式逻辑推理
• formal logic thinking    形式逻辑思维
• formal system of logic    逻辑形式系统
• the basic laws of formal logic    形式逻辑的基本规律
• notre dame journal of formal logic    圣母院形式逻辑学杂志
• formal    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事的。 3.形态的，外形的；形式上的；拘泥形式的，刻板的。 4.布置整齐的，有条理的。 5.正规的，合乎规格的。 6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。 a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal logic 形式逻辑。 a formal resemblance 外形上的类似。 formal obedience 表面服从。 n. 1.〔美国〕须穿礼服的社交集会。 2.〔口语〕夜礼服。 go formal 〔口语〕穿夜礼服。 n. -ness
• -logic    -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
• and logic    “与”逻辑
• logic    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
• logic-and    逻辑“与”
• or logic    或逻辑
• formal culture [= formal discipline    形式陶冶
• a formal garden    整齐的传统式花园
• a formal occasion    正式场合
• character formal    格式字符
• defect, formal    形式上的瑕疵
• dichlorodiethyl formal    二氯二乙基缩甲醛
• formal 1    公事公办的; 礼节性的; 文绉绉的
• formal = spiffy    正式的
• formal acceptance    形式上承认; 正式接受; 正式验收
• formal accuracy    形式精度
• formal act    正式行为
• formal address    形式地址

• There have been many different methods of art classification in the history , but most of them were resulted from the thinking pattern of formal logic
  摘要在艺术分类史上，艺术分类方法多种多样，但大多数都是停留在形式逻辑的思考水平上。
• Materialist dialectics and sophisticated essential distinction are the most brillant sophisticated often reflect the paradox in formal logic , it used the field that modern science cannot define
  唯物辨证法和诡辩的根本区别最高明的诡辩往往就体现在形式逻辑的悖论，它利用了现代科学无法确定的领域。
• There are three kinds of meanings of legal reasoning being commonly used . first , legal reasoning is the use of formal logic reasoning in law . second , legal reasoning is the reasoning of the norms of the laws
  较为常用的法律推理的涵义有三种：第一，法律推理是形式逻辑推理在法律中的应用；第二，法律推理就是法律规范推理；第三，法律推理是法律适用的推理。
• The formation of contract can be made a two - layer structure by the way of formal logic , which not only indicates respective meaning of the pro forma formation and valid formation of contract , but also helps to understand it deeply
  摘要合同的成立通过形式逻辑的手段进行二阶构造，这不但能凸显出合同的表面成立和合同的有效成立的各自意义，而且有助于深化对合同成立问题的认知。
• In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols
  在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语言。
• So in mathematic teaching of the middle school , the teachers must pay alien lion to lnatlieinalic thinking process teaching , behaves that teachers ignore oppress students " thinking process of mathematic ; some teachers adopt the in pouring teaching arid the tactics of many as apperceiving and reagnition . moreover , some teachers regard the thinking of mathematic as formal logic thinking . so ignore dialectic and developmental thinking from holistic understanding to problem
  因此，在中学数学教学中，教师必须注重学生的数学思维过程及其培养，然而实际教学的缺陷之一，却恰好表现为忽视或压抑学生的数学思维过程：有的教师采用注入式和题海战术，把数学的学习仅仅看成感知和再认；有的教师把数学思维活动仅仅看作形式逻辑思维，而忽视了从整体看问题的辩证的、发展的思维活动。
• By the study of general feature of object - oriented technology and the reference of the result of object - oriented formal logic analysis , we give a set of object - oriented metric standards , which are performed well and in different level ( class level and system level ) . finally we implement a visual object - oriented analysis auxiliary tool . the tool can support persistent object in object - oriented system and the alalysis of relation between objects
  通过对oo语言的共性的研究及引入面向对象形式化逻辑分析的结果，本文给出了一套不同层次上(类层次上和系统层次上)的、可操作性好的面向对象系统度量集。并设计了一个可视化的面向对象分析辅助工具，利用该工具，用户可以在设计过程中进行各种面向对象特性的度量，而且还能对系统中类之间、对象之间的关系进行分析和评价。
• " advance circularly " which claims the inherent unity between formal logic and dialectical logic ; " centralize properly " which emphasizes the construction of the knowledge structure ; " speaking follows doing " , which focuses on the construction of learners " mathematics image ; " students collaborate with teachers " , which attaches importance to the development of the " bi - body " ( learner and teacher )
  探讨了gx学习观的特征： “循环上升” ? ?主张辩证逻辑与形式逻辑相统一； “适当集中” ? ?注重知识结构的形成； “先做后说” ? ?重视学习主体数学意象构建； “师生共作” ? ?强调“双主体”共同发展。
• This essay is intended to analyze and clarify the relationship between kant ' s transcendental logic and the formal logic , by pointing out that kant appeared to elicit the categories of the transcendental logic from the judgements of the formal logic , but actually he laid a foundation for the latter by virtue of the categories of the transcendental logic , basing the formal logic on the initiative of the perceiver and making it " epistemologized "
  摘要本文对康德先验逻辑与形式逻辑的关系进行了分析和澄清，指出康德表面上是从形式逻辑的判断机能中引出先验逻辑的诸范畴，实际上却是以先验逻辑的范畴为形式逻辑的诸判断形式莫基，从而使形式逻辑建立在认识主体的能动性上而“认识论化”了。
• This paper is an academic thesis about remote sensing information model and geographical mathematics . the author have studied a lot of remote sensing information models and geographical image information models . according to geographical regularity the author advance non - linear mathematics method which is geographical complex phenomena both of certainty and uncertainty to combine in an equation . that is from formal logic inferring to dialectical logic calculation . moreover , it is from abstract thinking to both of abstract and visualized thinking , which is image joining equation calculated . make a suggestion that the geographical parameters are different from the physics variables . thus initiate based on geographical science for mathematics . there are 4 parts as follows in this paper : the regularity of geographical phenomena ; general equation of remote sensing information model ; geographical parameters and geographical indexes ; significance of geographical image information models
  从大量的遥感信息模型，地理图像信息模型的实践中，提出符合地理科学自身规律的非线性数学方法，解决了确定性与不确定性结合的宏观复杂性问题。从形式逻辑推理发展到辩证逻辑的计算，从抽象公式的计算发展到抽象思维与形象思维结合的公式与图像结合的计算。提出了物理变量与地理参数的区别，从而开创了以地理科学为背景的数学研究，进而为发展地理数学奠定了基础。

• formal logicとは意味：formal logic 形式論理 けいしきろんり