最終更新2024/08/21

modal logic

目次

modal logicの語源

語源から深く理解しよう

この単語の語源は掲載準備中です。

掲載についてはEnglishBattle公式X で更新情報を発信しています。

modal logicの意味

EnglishBattle英和辞典

1名詞

意味	様態論理 logic for necessity and possibility 様態論理は、必然性や可能性といった様態を扱う論理の一種 a type of logic that deals with modality (necessity and possibility)
和訳例	様態論理モーダル論理モーダルロジック
例文	Modal logic helps analyze philosophical arguments. 様相論理は哲学的議論を分析するのに役立ちます。 The theory of modal logic is complex. 様相論理の理論は複雑です。

modal logicのWordNet

WordNet(意味の繋がりに特化した概念辞書)

1名詞

意味	モーダル論理 a system of logic whose formal properties resemble certain moral and epistemological concepts 形式的特性が特定の道徳的および認識論的概念に類似する論理システム
和訳例	モーダル論理様相論理モーダルロジック
同義語	modal logic
上位語	formal logic mathematical logic symbolic logic any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity 命題の内容からその形式を抽象化して、一貫性と妥当性の抽象的な基準を確立する論理体系
下位語	doxastic logic the modal logic of belief and disbelief 信念と不信のモーダルロジック epistemic logic the modal logic of knowledge and uncertainty and ignorance 知識、不確実性、および無知のモーダル論理 deontic logic the modal logic of obligation and permissibility 義務と許容性のモーダル論理 alethic logic the modal logic of necessity and possibility and contingency 必然性、可能性、偶然性に関する様相論理

2名詞

意味	様相論理学 the logical study of necessity and possibility 必然性および可能性の論理的研究
和訳例	様相論理学モーダルロジックモーダル論理学
同義語	modal logic
上位語	logic the branch of philosophy that analyzes inference 推論を分析する哲学の一分野