形式推理 meaning in English

formal inference
formal reasoning

Formal reasoning system based on fuzzy propositional modal logic
基于模糊命题模态逻辑的形式推理系统
Analysis of form reasoning and substance reasoning in legal judgement
司法审判中的形式推理与实质推理探微
The formal - described predicates support some kinds of reasoning and analysis and predicting
这些形式化描述过的谓词为各种形式推理、预测和分析软件的特性提供支持。
Dialectical reasoning appears to loss objectivity with the involvement of judges ’ values and this will undoubtedly shaken the foundation of the rule of law . to regain the objectivity of legal reasoning , the article firstly demonstrates the concept and characters of dialectical reasoning in the comparison with formal reasoning , and proves its advantage over formal reasoning . secondly , the writer gives a positive account of dialectical reasoning . the analysis of the nature of reasoning leads to some arguments against the objectivity of dialectical reasoning
因此本文首先将辩证推理与形式推理进行比较,明确辩证推理的概念以及辩证推理观相对于形式推理观的优势,然后通过对各国的法律适用实践的考察分析辩证推理的思维过程,并以此为基础检讨辩证推理的客观性,从三个角度构建辩证推理客观性的理论基础,最后提出了在我国法律适用实践中保障辩证推理客观性的三条进路,从而使文章具有实践意义。