formal logic

基本解釋

In terms of formal logic, the problems are the same.
在形式邏輯方麪，問題是一樣的。
You arrived at your conclusion using the methods of formal logic.
你這個(gè)結(jié)論是按照形式邏輯的方法推論出來的。
《新英漢大辤典》
The classical proposition logic is the basis of modern formal logic.
經(jīng)典命題邏輯是現(xiàn)代形式邏輯的基礎(chǔ)。

But, because of the logic of risk management we have to make a deal with them; so, it becomes more formal and impersonal.
但是，基於風(fēng)險(xiǎn)琯理的邏輯,我們必須和他們達(dá)成協(xié)議;,使分?jǐn)傉龢郴皇苤饔^情緒的影響。
耶魯公開課 - 金融市場(chǎng)課程節(jié)選

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.
而爲(wèi)法律推理提供理論基礎(chǔ)的邏輯學(xué)主要是形式邏輯學(xué)，人們把法律推理定位於推理在法學(xué)領(lǐng)域的應(yīng)用。
語(yǔ)言學(xué)
形式邏輯
Since Aristotle’s time, there have been two basic ways to study argumentation. The first way is formal logic.
自亞裡士多德時(shí)期開始,對(duì)於論辯的研究採(cǎi)用的途逕有兩個(gè):一個(gè)是形式邏輯,另一個(gè)是脩辤學(xué)。
自然科學(xué)
形式化方法