形式逻辑,formal logic
1)formal logic形式逻辑
1.On the embody offormal logic in Advanced math concept;谈高等数学概念中形式逻辑的体现
2.On Teaching Western Economics and the Training of Formal Logic Thinking;论西方经济学的教学与形式逻辑思维方法的培养训练
3.Thought on Compilation of Formal Logic Aiming to Teachers Education;教师教育专业形式逻辑教材编写的几点思考
英文短句/例句
1.Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
2.Thousands Years of Logic Dispute Ends in Compromise--Conclusion of the Relation between Formal Logic and Dialectical Logic;千年逻辑之争终成合和之解——对形式逻辑和辩证逻辑之关系的解析
3.Informal Logic or Logic of Argument: The Strategy of Interpreting Argument;非形式逻辑或论证逻辑:解释论证的策略
mentary About Pan Zi-nian s Logical thought;重议辩证法与形式逻辑——从潘梓年的逻辑观谈起
5.A Change in the Function of Formal Logic: A Political Analysis of the Frankfurt School to Formal logic;形式逻辑功能的转向──法兰克福学派对形式逻辑的政治学分析
6.The Four modes of Thinking of Dialectics and Formal Logic, etc.;论辩证法和形式逻辑等四种思维方式
7.a graphical representation of a program using formal logic.应用形式逻辑来图示一个程序。
8.The Interactive Relation between Critical Thinking and Informal Logic;批判性思维和非形式逻辑的互动关系
9.On the Connotation of "Truthfulness" and "Falseness" in Formal Logic;关于形式逻辑中“真”与“假”的涵义范畴
10.Logic Discipline:an Avenue to Better Cognitive Structure;形式逻辑训练:优化认知结构的途径
11.Informal Logic and Aristotle"s Argument Theory非形式逻辑与亚里士多德的论证学说
12.Positive and Negative and Existence or Nonexistence;正者与反者和存在或非在——对辩证逻辑和形式逻辑之根解析
13.On Huang Zhanji s Masses Logics and Logic Research--The Popularization of "Formal" and "Non-formal" Logics;论黄展骥的大众逻辑与逻辑研究——“形式”与“非形式”逻辑的普及
14.Logical Forms of English and Logical Analysis in Translation from English into Chinese;英语的逻辑形式和英译汉时的逻辑分析
15.On the Formalization and Non-formalization of Mohist Logic and Aristotlian Logic;墨家逻辑与亚里士多德逻辑的形式化和非形式化问题
16.is a logical value that determines the form of the probability distribution returned为逻辑值，指定概率分布的返回形式。
17.is a logical value: for the cumulative Poisson probability, use TRUE; for the Poisson probability mass function, use FALSE逻辑值，指定概率分布的返回形式
18.The Initial Study on the Constructing Logic of the Form of Concrete Architecture;初论混凝土建筑形式生成的建造逻辑
相关短句/例句
Form logic形式逻辑
1.by comparing and researching law of excluded middle of form logic and mathematical logic from quantity and quality of aspect,to unify and generalize law of excluded middle,This paper presents united law of excluded middle-general law of excluded middle,and provides its mathematics expression.作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨,将排中律进行统一和推广,提出了统一的排中律———广义排中律,并给出了相应的数学表示。
3)logical form逻辑形式
1.Thelogical forms of criminal psychology picture include the from-individual-to-general inductive pictures and from-general-to-individual syllogistic pictures.犯罪心理画像的逻辑形式,有从个别到一般的归纳式画像和从一般到个别的演绎式画像。
2.It analyses thelogical form of presumption of innocence,which shows that thelogical form of presumption of innocence is a correct logical argumentation,but not the wrong argumentation of "argument from ignorance".同时对无罪推定的逻辑形式进行了分析,分析表明,无罪推定的逻辑形式是一种正确的逻辑论证,而不是“以无知为据”的错误论证,无罪推定并不违反实事求是原则。
3.Its form is "q,so p",and its completelogical form is "q,p →q,so p".应把回溯推理定义为“从已知的结论导出前提的推理”,它的一般形式是“q,所以p”,它的完整的逻辑形式是“q,并且p→q,所以p”,它的结论是或然的。
4)DDLⅢDDLⅢ逻辑形式
1.The consistency design of the sonic andDDLⅢ logger in the trio-logger;三组合下井仪通常有声波逻辑形式和DDLⅢ逻辑形式,由于这两种逻辑形式相差甚大,使用常规数字电路很难统一设计,而用户又有不同的需求,从而给仪器的生产造成很大的麻烦。
5)Logic of form形式的逻辑
6)informal logic非形式逻辑
1.An analysis of the features ofinformal logic in legal reasoning;法律推理的非形式逻辑特征分析
2.In fact,"logic of argument"can only get its own legitimacy when understood as argumentation theory,which indeed has the genus-category relationship withinformal logic.非形式逻辑在中国学界遭遇了"论证逻辑"的概论混淆甚至术语转换。
3.Theinformal logic is an emerging discipline after the traditional logic and the mathematical logic,whose basic function is to raise and to train human power of logical thinking and the rational thought.非形式逻辑是在传统逻辑和数理逻辑之后产生出来的一门新兴学科,它的根本作用是培养和训练人的逻辑思维和理性思维能力,既能体现思维形式和思维内容的完美结合,也能体现思维的确定性和不确定的完美结合,是案例教学学科整体发展趋势的反应。
延伸阅读
形式逻辑形式逻辑formallogic研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究。它提供检验有效的推理和非有效的推理的标准。形式逻辑已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻辑，19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。研究对象和方法形式逻辑研究的推理中的前提和结论之间的关系，是由作为前提和结论的命题的逻辑形式决定的，而命题的逻辑形式（简称命题形式）的逻辑性质则是由逻辑常项决定的。要弄清逻辑常项的性质，系统地揭示推理规律，就要通过建立逻辑演算，进行元逻辑的研究。建立逻辑演算、研究元逻辑的方法是形式化的公理方法。传统逻辑形式逻辑的创始人是古希腊的亚里士多德。亚里士多德建立了第一个逻辑系统，即三段论理论。继亚里士多德之后，麦加拉-斯多阿学派逻辑揭示出命题联结词的一些重要性质，发现了若干与命题联结词有关的推理形式和规律。中世纪的一些逻辑学家，发展和丰富了形式逻辑。所谓传统逻辑，就是指由亚里士多德开创、经历2000多年历史、至19世纪进入现代发展阶段前所发展起来的形式逻辑体系和理论。传统逻辑通常把命题分为直言命题、选言命题和假言命题，并研究这几种命题的形式和推理形式。传统逻辑还包括关于矛盾律和排中律等逻辑规律的理论，以及有关词项的理论。数理逻辑它是现代形式逻辑。之所以称为数理逻辑，一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学的工具和具体的结果；另一方面则是由于现代形式逻辑的发展受到数学基础研究的推动，特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑问题的推动。数理逻辑之所以又被称为符号逻辑，是由于它使用人工的符号语言。数理逻辑的创始人是G.W.莱布尼兹。莱布尼兹提出建立“普遍的符号语言”、推理演算和思维机械化的思想。尽管莱布尼兹本人并没有实现他所提出的目标，但数理逻辑的发展却逐步（还没有全部）实现了莱布尼兹的理想。G.弗雷格在1879年发表的《概念语言》一书中，建立了第一个一阶逻辑体系。19世纪70年代，G.康托尔创立了集合论。集合论，特别是第一个一阶逻辑体系的建立，是形式逻辑的发展进入现代阶段的标志。
