形式論理
「形式論理」の英語
「形式論理」は英語で formal logic と言います。記号を使って論証を厳密に表す、数学・論理学・計算機科学の用語です。証明や仕様記述、自動検証などの場面で使われます。
「形式論理」の英語の使い分け
論証を記号で厳密に表す、数学や計算機科学の専門用語です。
コアイメージ
形式論理は記号を用いて論証を表現し、機械的検証や数学的証明に適した形式化を行う考え方
英英
Logic that encodes arguments in symbolic form and formal languages so that validity and proofs can be checked mechanically or mathematically.
語源
formal logicは、formal（形式的な）とlogic（論理）の結合から成り、19世紀の記号論理と公理化の流れの中で現在の意味が確立した
コラム
- 計算機科学ではformal logicが仕様記述や自動証明に利用され、自然言語の説得力とは別に厳密さが重視される
「形式論理」のレベル別の例文
- 中学
We study formal logic in class today.
- 高校・英検2級
Formal logic can reveal errors in complicated arguments.
- TOEIC・ビジネス
The software uses formal logic to verify system requirements.
- 日常会話
That sounds like a job for formal logic.
「形式論理」を英語にするときのよくある間違い
× logic form
「形式論理」は一般に formal logic と表現します。