formal logicの意味・例文・発音・読み方

英和翻訳

formal logic

/ˈfɔːrməl ˈlɒdʒɪk/ フォーマルロジック

1. 推論の形式や妥当性を記号や数学的な手法を用いて分析する学問分野。

形式論理は、具体的な内容から切り離し、論理的な推論の構造や規則、その妥当性を体系的に研究する学問分野です。数学的な記号や計算を用いて、命題間の関係や論理的な操作を分析します。

Formal logic is a branch of mathematics and philosophy. (形式論理学は、数学と哲学の一分野です。)

Formal logic 推論の形式や妥当性を研究する学問分野です。

is 「～である」という状態を表す動詞です。

a branch 「一分野」を意味します。

of ～の、という所有や関連を示します。

mathematics and philosophy 数学と哲学、という二つの学問分野を指します。

Students learn formal logic to improve their critical thinking skills. (学生は批判的思考能力を高めるために形式論理を学びます。)

Students 学生たち、学習する人々を指します。

learn 学ぶ、習得するという行為を表す動詞です。

formal logic 形式論理学、推論の形式を研究する学問分野です。

to improve ～するために、向上させる目的を示します。

their 彼らの、という所有を示します。

critical thinking skills 批判的思考力、物事を多角的に分析し評価する能力を指します。

Many philosophical arguments rely on principles of formal logic. (多くの哲学的議論は、形式論理の原理に依拠しています。)

Many 多くの、という量を表します。

philosophical arguments 哲学的な議論、哲学に関する討論や主張を指します。

rely on ～に頼る、～に依拠するという意味の句動詞です。

principles 原理、原則を意味します。

of ～の、という関連を示します。

formal logic 形式論理学、推論の形式を研究する学問分野です。

Understanding formal logic can help in identifying fallacies. (形式論理を理解することは、誤謬を特定するのに役立ちます。)

Understanding 理解すること、という動名詞です。

formal logic 形式論理学、推論の形式を研究する学問分野です。

can help 助けになる、可能であることを示します。

in identifying ～を特定する際に、という目的や状況を示します。

fallacies 誤謬、論理的な誤りを指します。

She specialized in formal logic during her postgraduate studies. (彼女は大学院で形式論理を専門としました。)

She 彼女、という女性を指す代名詞です。

specialized in ～を専門とする、という意味の句動詞です。

formal logic 形式論理学、推論の形式を研究する学問分野です。

during ～の間、という期間を示します。

her postgraduate studies 彼女の大学院での研究、という期間を指します。

The course covers topics from basic formal logic to advanced modal logic. (このコースは、基本的な形式論理から高度な様相論理までを扱います。)

The course その講座、そのカリキュラムを指します。

covers ～を扱う、～を網羅するという意味です。

topics 話題、テーマを意味します。

from basic formal logic 基本的な形式論理から、という開始点を示します。

to advanced modal logic 高度な様相論理まで、という到達点を示します。