“形式逻辑”是个多义词，它可以指形式逻辑（逻辑学术语）, 形式逻辑（1949生活书店出版）, 形式逻辑（第三版）, 形式逻辑（2009年华东师范大学出版社出版书籍）。
逻辑部门考察的不是我们熟谙的所谓“形式逻辑”（forming logic），而是“非形式逻辑”（informing logic），听听湖北自学考试。这是美国自上世纪70年代以来最新的思考收效。
基于16个网页-相关网页
非形式逻辑 informal logic ; Non-formal logic ; informing logic ; Informal argument
辩证法与形式逻辑关系的论战 debate on the relationship between dialectics and formal logic
形式逻辑思维 formal logic thinking
形式逻辑推理 formal logic inference
逻辑形式 logical form ; [计] logical form ; Logic Form ; LF
形式逻辑与哲学逻辑 Formal Logic and Philosophical Logic
形式逻辑系统 formal logical system
故纯粹逻辑或形式逻辑 pure logic or formal logic
传统形式逻辑 traditional formal logic
Inevitably, legal reasoning pronounced theoretical logic color and lacked legal color and legal reasoning was fixed position on the application of logic in law because the logic as the theoretical basis of legal reasoning was mainly formal logic.
而为法律推理提供理论基础的逻辑学主要是形式逻辑学，人们把法律推理定位于推理在法学领域的应用。
参考来源 - 论法律推理Since Aristotle’s time, there have been two basic ways to study argumentation. The first way is formal logic.
自亚里士多德时期开始,对于论辩的研究采用的途径有两个:一个是形式逻辑,另一个是修辞学。
参考来源 - 西方修辞论辨理论与应用研究The four is about the conclusion. Kantian used fully the Aristotelian logic within the metaphysics to demonstrate his views; at the same time, the demonstration and exposition supply condition to Hegelian new theory in form.
四、结论康德在形而上学允许的范围内，充分地运用形式逻辑论证其观点并无目的地为辩证法的诞生提供了形式上的条件。
参考来源 - 试论《任何一种能够作为科学出现的未来形而上学导论》中的逻辑·2,447,543篇论文数据，部分数据来源于NoteExpress
你这个结论是按照形式逻辑的方法推论出来的。
You arrived at your conclusion using the methods of formal logic.
这些研究人员中许多都研究进化和自然适应，而不是形式逻辑和传统的计算机程序。
Many of these researchers study evolution and natural adaptation instead of formal logic and conventional computer programs.
在形式逻辑方面，问题是一样的。
应用推荐