1.
There are advantages and disadvantage in both induction and deduction, and they are intertwined.
究其实，争论是由逻辑观－传统形式逻辑和现代数理逻辑的不同引起的。
2.
Effect of Falsification on Traditional Formal Logic and Premised Knowledge -For Karl Popper s 100th Birthday;
证伪主义对传统形式逻辑学前提性知识的影响——纪念卡尔·波普尔诞辰100周年
3.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
4.
The Conflict and Unity Between Formal Logic of Narration and Significant Logic of History--Artistic Feature of Franze Kafka s Fiction;
叙事形式逻辑与历史意蕴逻辑的对立统一──卡夫卡小说艺术研究
5.
Comparison between the Classical Propositional and the Propositional Modal Systems
古典命题逻辑与模态命题逻辑的形式系统之比较
6.
Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
7.
On Huang Zhanji s Masses Logics and Logic Research--The Popularization of "Formal" and "Non-formal" Logics;
论黄展骥的大众逻辑与逻辑研究——“形式”与“非形式”逻辑的普及
8.
A Probe into the Cultural logic Embodied in the Traditional Forestry Operation Way of the Dong People;
侗族传统林业经营方式的文化逻辑探寻
9.
any formal system of reasoning that arrives at the truth by the exchange of logical arguments.
通过交换逻辑论证得出真理的推理形式系统。
10.
Formal Verification of Digital Hardware Based on HOL;
基于高阶逻辑系统HOL的数字硬件形式化验证
11.
Formal Solution to the Problem of α-triple I in Many-valued Logic System W_n;
多值逻辑系统W_n中α-三I问题的形式解
12.
Formal Concept Lattice of Fuzzy Description LogicL-ALCN
模糊描述逻辑系统L-ALCN中的形式概念格
13.
A Comparative Study On the Three Conditions of Abundant Reasons of the Heturidya in Tibetan Area and the Three Forms of Hypothetic Judgments of Formal Logic;
藏传因明充足理由之三项条件与形式逻辑假言判断三形式之比较
14.
Thousands Years of Logic Dispute Ends in Compromise--Conclusion of the Relation between Formal Logic and Dialectical Logic;
千年逻辑之争终成合和之解——对形式逻辑和辩证逻辑之关系的解析
15.
Informal Logic or Logic of Argument: The Strategy of Interpreting Argument;
非形式逻辑或论证逻辑:解释论证的策略
16.
Commentary About Pan Zi-nian s Logical thought;
重议辩证法与形式逻辑——从潘梓年的逻辑观谈起
17.
Logical Forms of English and Logical Analysis in Translation from English into Chinese;
英语的逻辑形式和英译汉时的逻辑分析
18.
Experimental logic and its criticism and negation to traditional logic;
试验逻辑及其对传统逻辑的批评和否定