On the embody of formal logic in Advanced math concept;
谈高等数学概念中形式逻辑的体现
On Teaching Western Economics and the Training of Formal Logic Thinking;
论西方经济学的教学与形式逻辑思维方法的培养训练
Thought on Compilation of Formal Logic Aiming to Teachers Education;
教师教育专业形式逻辑教材编写的几点思考
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.
作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨,将排中律进行统一和推广,提出了统一的排中律———广义排中律,并给出了相应的数学表示。
The logical forms of criminal psychology picture include the from-individual-to-general inductive pictures and from-general-to-individual syllogistic pictures.
犯罪心理画像的逻辑形式,有从个别到一般的归纳式画像和从一般到个别的演绎式画像。
It analyses the logical form of presumption of innocence,which shows that the logical form of presumption of innocence is a correct logical argumentation,but not the wrong argumentation of "argument from ignorance".
同时对无罪推定的逻辑形式进行了分析,分析表明,无罪推定的逻辑形式是一种正确的逻辑论证,而不是“以无知为据”的错误论证,无罪推定并不违反实事求是原则。
Its form is "q,so p",and its complete logical form is "q,p →q,so p".
应把回溯推理定义为“从已知的结论导出前提的推理”,它的一般形式是“q,所以p”,它的完整的逻辑形式是“q,并且p→q,所以p”,它的结论是或然的。
The consistency design of the sonic and DDLⅢ logger in the trio-logger;
三组合下井仪通常有声波逻辑形式和DDLⅢ逻辑形式,由于这两种逻辑形式相差甚大,使用常规数字电路很难统一设计,而用户又有不同的需求,从而给仪器的生产造成很大的麻烦。
An analysis of the features of informal logic in legal reasoning;
法律推理的非形式逻辑特征分析
In fact,"logic of argument"can only get its own legitimacy when understood as argumentation theory,which indeed has the genus-category relationship with informal logic.
非形式逻辑在中国学界遭遇了"论证逻辑"的概论混淆甚至术语转换。
The informal 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.
非形式逻辑是在传统逻辑和数理逻辑之后产生出来的一门新兴学科,它的根本作用是培养和训练人的逻辑思维和理性思维能力,既能体现思维形式和思维内容的完美结合,也能体现思维的确定性和不确定的完美结合,是案例教学学科整体发展趋势的反应。
Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
Thousands Years of Logic Dispute Ends in Compromise--Conclusion of the Relation between Formal Logic and Dialectical Logic;
千年逻辑之争终成合和之解——对形式逻辑和辩证逻辑之关系的解析
Informal Logic or Logic of Argument: The Strategy of Interpreting Argument;
非形式逻辑或论证逻辑:解释论证的策略
Commentary About Pan Zi-nian s Logical thought;
重议辩证法与形式逻辑——从潘梓年的逻辑观谈起
A Change in the Function of Formal Logic: A Political Analysis of the Frankfurt School to Formal logic;
形式逻辑功能的转向──法兰克福学派对形式逻辑的政治学分析
The Four modes of Thinking of Dialectics and Formal Logic, etc.;
论辩证法和形式逻辑等四种思维方式
a graphical representation of a program using formal logic.
应用形式逻辑来图示一个程序。
The Interactive Relation between Critical Thinking and Informal Logic;
批判性思维和非形式逻辑的互动关系
On the Connotation of "Truthfulness" and "Falseness" in Formal Logic;
关于形式逻辑中“真”与“假”的涵义范畴
Logic Discipline:an Avenue to Better Cognitive Structure;
形式逻辑训练:优化认知结构的途径
Informal Logic and Aristotle's Argument Theory
非形式逻辑与亚里士多德的论证学说
Positive and Negative and Existence or Nonexistence;
正者与反者和存在或非在——对辩证逻辑和形式逻辑之根解析
On Huang Zhanji s Masses Logics and Logic Research--The Popularization of "Formal" and "Non-formal" Logics;
论黄展骥的大众逻辑与逻辑研究——“形式”与“非形式”逻辑的普及
Logical Forms of English and Logical Analysis in Translation from English into Chinese;
英语的逻辑形式和英译汉时的逻辑分析
On the Formalization and Non-formalization of Mohist Logic and Aristotlian Logic;
墨家逻辑与亚里士多德逻辑的形式化和非形式化问题
is a logical value that determines the form of the probability distribution returned
为逻辑值，指定概率分布的返回形式。
is a logical value: for the cumulative Poisson probability, use TRUE; for the Poisson probability mass function, use FALSE
逻辑值，指定概率分布的返回形式
The Initial Study on the Constructing Logic of the Form of Concrete Architecture;
初论混凝土建筑形式生成的建造逻辑