Symbolic logic

/ˌsɪmˈbɒlɪk ˈlɒdʒɪk/ シンボリック ロジック

1. 記号論理学

論理的な推論や関係を、自然言語の曖昧さを排し、数学的な記号と規則を用いて厳密に表現し分析する学問分野です。現代数学や計算機科学の基礎となっています。

Symbolic logic is a cornerstone of modern philosophy and mathematics. (記号論理学は現代哲学と数学の基礎です。)

• Symbolic logic: 記号論理学を指します。
• is: ～である、という意味の動詞です。
• a cornerstone: 基礎、要石という意味です。
• of: ～の、という所有や関連を表します。
• modern philosophy: 現代哲学を指します。
• and: ～と～、という接続を表します。
• mathematics: 数学を指します。

He studied symbolic logic to understand the foundations of artificial intelligence. (彼は人工知能の基礎を理解するために記号論理学を学びました。)

• He: 彼、という男性を指します。
• studied: 学ぶ、勉強するという動詞の過去形です。
• symbolic logic: 記号論理学を指します。
• to understand: 理解するために、という目的を表します。
• the foundations: 基礎、土台を指します。
• of: ～の、という所有や関連を表します。
• artificial intelligence: 人工知能を指します。

Many programming languages are based on principles derived from symbolic logic. (多くのプログラミング言語は、記号論理学から派生した原理に基づいています。)

• Many: 多くの、という数量を表します。
• programming languages: プログラミング言語を指します。
• are based on: ～に基づいている、という状態を表します。
• principles: 原理、原則を指します。
• derived from: ～から派生した、という意味です。
• symbolic logic: 記号論理学を指します。

関連

• mathematical logic
• formal logic
• predicate logic
• propositional logic
• set theory
• boolean algebra
• philosophy of logic