最終更新2024/08/21

modal logic

目次

modal logicの語源

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

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

modal logicの主な意味と例文

1名詞

意味	様態論理モーダル論理モーダルロジック 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

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 推論を分析する哲学の一分野