说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 法律推理逻辑形式
1)  formal logic inference
形式逻辑推理
2)  Formal Legal Reasoning
形式法律推理
1.
Regards research on formal legal reasoning concept as the starting point of statemant, Regards the criticism to formal legal reasoning concept as breakthrough point, It analyzes and criticizes formal legal reasoning and its reasoning mode systematically and exhaustively.
本文以法律推理概念在国内外的研究现状为理论背景,以法律推理概念发展的历史沿革为文章的论述主线,以国内外形式法律法律推理概念研究为起点,以对形式法律推理概念的批判为切入点,系统、详尽地分析、批判了形式法律推理概念以及其推理模式。
3)  logical inference
逻辑推理
1.
The interpretiation of remote sensing images belongs to the cat-egory of the cerebral conscionsness activity,which is the process of the logical inference proceededfrom the outside to the inside and from one point to another by the surficial informations.
遥感解译属于人脑意识活动的范畴,是利用表层信息由表及里、由此及彼的逻辑推理过程。
2.
Thus it draws a conclusion that activation,association,logical inference,model connectionism,as a whole,is the cognitive psychological model of disambiguatio
本文从认知心理学的角度对歧义的认知心理过程作尝试性分析,并认为激活,联想,逻辑推理和模块组合这四个步骤构成一个完整的,能解决歧义的认知心理模式。
3.
The methods of logical inference(and deduction) and inductive synthesis are used.
根据作者曾建立的系统势模型和万有引力势与电势的关系式,运用逻辑推理(演绎)和归纳综合相结合的方法,从经典物理学的源头——电流强度单位的定义和电量单位的定义出发,结合元电荷测定原理、质子的荷质比、气体分子动理论以及相对论质量公式,导出了万有引力常量G的关系式,从而很好地解释了万有引力常量G的测量值的大小、变化及其范围,揭示了万有引力常量G的本质,消减了一个物理基本常数。
4)  logic reasoning
逻辑推理
1.
Analysis On the Logic Reasoning of the Arbitral Awards;
裁决书写作的逻辑推理分析
2.
Research on dynamic expression of digital rights based on logic reasoning
基于逻辑推理的数字权利动态描述研究
3.
By means of analyzing process rule and establishing logic reasoning codes to generate the flame rectification method automatically; by analyzing the parameters that influence the distortion of flame rectification and welding process to build the mapping formula; and then use artificial neural network algorithm to resolve .
采用分析工艺规则、建立逻辑推理代码的方法实现火焰矫正方法的自动生成;通过分析矫正变形以及焊接变形的影响因素,建立了影响因素之间的映射关系式,使用人工神经网络拟合映射关系式,从而确定并优化了火焰矫正的关键工艺参数。
5)  logic inference
逻辑推理
1.
Thinking computation:hominine machine intelligence based on logic inference and image inference;
基于逻辑推理和表象推理的类人机器智能——思维计算
2.
This article analyzed and summarized the logic inference process of Maxwell equation suit’s foundation.
用逻辑学的观点分析和总结了麦克斯韦方程组建立的逻辑推理过程,即归纳推理确立电磁感应的本质,类比推理引入位移电流假说,假言推理预言电磁波的存在。
3.
Typical moving ground target tracking scenario is analyzed and logic inference is introduced for target tracking.
分析了地面运动目标跟踪的典型场景,采用逻辑推理方法进行目标跟踪。
6)  logical reasoning
逻辑推理
1.
Automated Network Attack Scenario Generation System Based on Logical Reasoning;
基于逻辑推理的网络攻击想定生成系统
2.
Study on Kindred Relationship Logical Reasoning Expert System;
亲属关系逻辑推理专家系统的研究
3.
Under the condition of logical reasoning on lattice-valued propositions, paper[1] defined ∨-∧ lattice-valued implication operators, and discussed some tiopositions.
在格值命题的逻辑推理下,给出了∨─∧格值蕴涵算子,并讨论了一些命题。
补充资料:形式逻辑
形式逻辑
formal logic

   研究演绎推理及其规律的科学,包括对于词项和命题形式的逻辑性质的研究。它提供检验有效的推理和非有效的推理的标准。形式逻辑已经历了2000多年的历史,19世纪中叶以前的形式逻辑主要是传统逻辑,19世纪中叶以后发展起来的现代形式逻辑,通常称为数理逻辑,也称为符号逻辑。
    研究对象和方法 形式逻辑研究的推理中的前提和结论之间的关系,是由作为前提和结论的命题的逻辑形式决定的,而命题的逻辑形式(简称命题形式)的逻辑性质则是由逻辑常项决定的。要弄清逻辑常项的性质,系统地揭示推理规律,就要通过建立逻辑演算,进行元逻辑的研究。建立逻辑演算、研究元逻辑的方法是形式化的公理方法。
    传统逻辑 形式逻辑的创始人是古希腊的亚里士多德。亚里士多德建立了第一个逻辑系统,即三段论理论。继亚里士多德之后,麦加拉-斯多阿学派逻辑揭示出命题联结词的一些重要性质,发现了若干与命题联结词有关的推理形式和规律。中世纪的一些逻辑学家,发展和丰富了形式逻辑。所谓传统逻辑,就是指由亚里士多德开创、经历2000多年历史、至19世纪进入现代发展阶段前所发展起来的形式逻辑体系和理论。传统逻辑通常把命题分为直言命题、选言命题和假言命题,并研究这几种命题的形式和推理形式。传统逻辑还包括关于矛盾律和排中律等逻辑规律的理论,以及有关词项的理论。
    数理逻辑 它是现代形式逻辑。之所以称为数理逻辑,一方面是由于在研究中广泛地使用了人工的符号语言,并发展为使用一种形式化的公理方法,同时也应用了某些数学的工具和具体的结果;另一方面则是由于现代形式逻辑的发展受到数学基础研究的推动,特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑问题的推动。数理逻辑之所以又被称为符号逻辑,是由于它使用人工的符号语言。数理逻辑的创始人是G.W.莱布尼兹。莱布尼兹提出建立“普遍的符号语言”、推理演算和思维机械化的思想。尽管莱布尼兹本人并没有实现他所提出的目标,但数理逻辑的发展却逐步(还没有全部)实现了莱布尼兹的理想。G.弗雷格在1879年发表的《概念语言》一书中,建立了第一个一阶逻辑体系。19世纪70年代,G.康托尔创立了集合论。集合论,特别是第一个一阶逻辑体系的建立,是形式逻辑的发展进入现代阶段的标志。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条