formal logic

基本解释

In terms of formal logic, the problems are the same.
在形式逻辑方面，问题是一样的。
You arrived at your conclusion using the methods of formal logic.
你这个结论是按照形式逻辑的方法推论出来的。
《新英汉大辞典》
The classical proposition logic is the basis of modern formal logic.
经典命题逻辑是现代形式逻辑的基础。

But, because of the logic of risk management we have to make a deal with them; so, it becomes more formal and impersonal.
但是，基于风险管理的逻辑,我们必须和他们达成协议;,使分摊正规化而不受主观情绪的影响。
耶鲁公开课 - 金融市场课程节选

The benefit of formal logic is that it is pure syntax.
ECONOMIST: Just what does it mean to prove something?
In terms of formal logic, the problems are the same.
ECONOMIST: Psychopathy
It is to replace, in proofs, standard mathematical reasoning which, in essence, relies on hand-waving arguments (it should be obvious to everyone that B follows from A) with formal logic.
ECONOMIST: Just what does it mean to prove something?

the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions (Also called symbolic logic)&rarrcomparephilosophical 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.
自亚里士多德时期开始,对于论辩的研究采用的途径有两个:一个是形式逻辑,另一个是修辞学。
自然科学
形式化方法