formal logic
formal logic — 名詞
1. the study of arguments that uses rules and symbols to decide if reasoning is val
形式邏輯
以論證結構判斷有效性的邏輯系統
the study of arguments that uses rules and symbols to decide if reasoning is valid based only on the structure of statements, not on what the statements are about
Cole learned the basic rules of formal logic in his first philosophy class.
Cole 在第一堂哲學課上學到了形式邏輯的基本規則。
collocation: rules of formal logic
Formal logic helps people find mistakes in arguments that are not obvious at first.
形式邏輯能幫助人們找出論證中一開始不明顯的錯誤。
Computer programmers use ideas from formal logic when they write code for search engines.
電腦程式設計師在撰寫搜尋引擎的程式碼時，會運用形式邏輯的概念。
The judge applied formal logic to test whether the lawyer's reasoning was correct.
法官運用形式邏輯來檢驗律師的推理是否正確。
Ravindra explained formal logic to his classmates using simple rules and clear examples.
Ravindra 用簡單的規則和清楚的例子向同學解釋形式邏輯。
- symbolic logic
a branch of formal logic that mainly uses symbols and mathematical methods; more specific than formal logic
- mathematical logic
formal logic applied to mathematical reasoning, using mathematical notation; overlaps with formal logic but has a narrower scope
- informal logic
the study of everyday reasoning in natural language without symbols or strict formal rules
文法句型
formal logic + of + [field/domain]
用法筆記
This phrase is uncountable — it is not used with 'a' unless referring to a specific system (e.g., 'Aristotle developed a formal logic'). It often pairs with 'of' to name a particular field: 'the formal logic of mathematics'.