形式逻辑推理 meaning in English
formal logic inference
Examples
- 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
较为常用的法律推理的涵义有三种：第一，法律推理是形式逻辑推理在法律中的应用；第二，法律推理就是法律规范推理；第三，法律推理是法律适用的推理。 - 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
从大量的遥感信息模型，地理图像信息模型的实践中，提出符合地理科学自身规律的非线性数学方法，解决了确定性与不确定性结合的宏观复杂性问题。从形式逻辑推理发展到辩证逻辑的计算，从抽象公式的计算发展到抽象思维与形象思维结合的公式与图像结合的计算。提出了物理变量与地理参数的区别，从而开创了以地理科学为背景的数学研究，进而为发展地理数学奠定了基础。 - In my opinion , judicial syllogism should not be the model of reasoning theory of civil law , because it not only has a lot of lacunae , but also contradicts the ideal of autonomy of civil law , which requires the legal effect be directly deduced by juristic act
本文以为，传统私法三段论推理模式在推理前提、推理系统与推理过程诸环节皆无法满足形式逻辑推理要求，自身存在着诸多漏洞，更重要的是，司法三段论将与私法自治理念发生实质冲突，不宜继续成为私法推理理论模型。 - Legal reasoning presents mainly the features as followings : first , the thinking function of legal reasoning is argument reasoning . second , the thinking mode of legal reasoning on the whole belongs to " deductive demonstration mode " . third , the logic structure of legal reasoning is a combination of formal logic reasoning and argument reasoning
作为法律实践的论证方法，法律推理主要有以下特点：第一，法律推理的思维功能是论辩推理；第二，法律推理的总体思维模式属于“演绎论证模式” ；第三，法律推理的逻辑结构是形式逻辑推理与论辩推理的综合运用；第四，法律推理的推理功能表现为一种实践推理。