検索結果- 英語 - 英語

検索内容:

logicality

quantum logic

名詞

(logic, quantum mechanics) A form of non-classical logic which has been abstracted out of quantum mechanics.

日本語の意味

量子力学から抽象化された非古典論理。量子力学の現象を扱うために、従来の古典論理とは異なる論理体系。

このボタンはなに？

The philosopher argued that quantum logic challenges our classical intuitions about truth and measurement.

Google翻訳 / DeepL翻訳

その哲学者は、量子論理が真理と測定に関する古典的直観に挑戦すると主張した。

詳細

関連語

quantum logics

（ plural ）

詳細

doxastic logic

名詞

可算名詞不可算名詞

(logic) A type of modal logic which deals with statements involving beliefs.

日本語の意味

信念を扱うモーダル論理の一種

このボタンはなに？

In the seminar, the students studied doxastic logic to better understand how agents form and revise beliefs.

Google翻訳 / DeepL翻訳

ゼミで学生たちは、エージェントがどのように信念を形成し修正するかをよりよく理解するために信念の論理を学んだ。

詳細

関連語

doxastic logics

（ plural ）

詳細

non-logical

形容詞

別表記異形比較不可

Alternative spelling of nonlogical

日本語の意味

「nonlogical」の別表記であり、非論理的、つまり論理に基づかないという意味を持つ。

このボタンはなに？

Her explanation seemed non-logical to those who expected a clear, step-by-step argument.

Google翻訳 / DeepL翻訳

はっきりした段階的な説明を期待していた人々には、彼女の説明は非論理的に思えた。

詳細

paraconsistent logic

名詞

可算名詞不可算名詞

(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.

日本語の意味

矛盾を一部許容するが、それによって全ての命題が真になるという爆発原理が成立しない、特定の形式論理体系

このボタンはなに？

In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.

Google翻訳 / DeepL翻訳

私たちのセミナーでは、いくつかの矛盾が真でもすべての命題が真になるわけではないような、矛盾を許容する形式論理を用いて矛盾を含むが自明ではないデータベースのモデル化を検討した。

詳細

関連語

paraconsistent logics

（ plural ）

詳細

propositional logics

名詞

活用形複数形

plural of propositional logic

日本語の意味

これは「propositional logic」の複数形を示しており、複数の命題論理を指す場合に用いられます。

このボタンはなに？

In our graduate seminar, we compared several propositional logics to understand how different truth-functional connectives affect validity.

Google翻訳 / DeepL翻訳

大学院のゼミで、私たちはいくつかの異なる命題論理体系を比較して、さまざまな真理機能的結合子が論理的妥当性にどのように影響するかを理解しました。

詳細

logic programming

名詞

不可算名詞

(programming) Programming with a paradigm that bases on formal logic

日本語の意味

論理プログラミング：形式論理に基づいたパラダイムを用いて行うプログラミング手法 / 論理に基づくプログラミング：論理の理論と手法を利用してプログラムを記述する方法

このボタンはなに？

After taking the advanced course, she used logic programming to express complex rules succinctly.

Google翻訳 / DeepL翻訳

上級コースを受講した後、彼女は複雑な規則を簡潔に表現するために形式論理に基づくプログラミングを用いた。

詳細

relevance logic

名詞

A kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related, and aiming to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic.

日本語の意味

前件と後件が実質的な関連性を有する必要があるという条件の下、古典論理の物質的含意では捉えられない含意の側面を捉えることを目指す、非古典論理の一種。

このボタンはなに？

Relevance logic is a kind of non-classical logic that requires the antecedent and consequent of an implication to be relevantly related, aiming to capture aspects of implication that are ignored by the material implication operator in classical truth-functional logic.

Google翻訳 / DeepL翻訳

関連論理は、含意の前件と後件が互いに関連していることを要求する非古典論理の一種であり、古典的な真理関数論理における物質含意演算子が無視している含意の側面を捉えようとする。

詳細

関連語

relevance logics

（ plural ）

詳細

paraconsistent logics

名詞

活用形複数形

plural of paraconsistent logic

日本語の意味

『パラコンサイステント論理』の複数形。すなわち、単数形である『paraconsistent logic』の複数形を指します。

このボタンはなに？

Researchers compared several paraconsistent logics to determine which best handled contradictory data.

Google翻訳 / DeepL翻訳

研究者たちは、どの矛盾許容論理体系が矛盾するデータを最もよく扱えるかを判断するために、いくつかの矛盾許容論理体系を比較した。

詳細

logical punctuation

名詞

不可算名詞

Synonym of logical quotation

日本語の意味

論理的引用 / 論理的な引用符

このボタンはなに？

To avoid ambiguity, the editor added logical punctuation to each sourced paragraph.

Google翻訳 / DeepL翻訳

あいまいさを避けるため、編集者は各出典の段落に論理的な引用を追加した。

詳細

linear logic

名詞

(logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.

日本語の意味

線形論理（linear logic）は、順序付けられた論理体系において、弱化規則と収縮規則という2つの構造的規則が除外されている論理体系です。 / この体系は、従来の二項論理結合子や真理値定数に対して、加法的（additive）および乗法的（multiplicative）なバリエーションが存在し、加えて資源管理の補完として、モーダルな「指数」演算子のペアを導入している点が特徴です。

このボタンはなに？

Researchers studied linear logic to understand how the absence of weakening and contraction restricts copying and discarding of resources.

Google翻訳 / DeepL翻訳

研究者たちは、弱化と収縮という構造規則が存在しない論理を研究し、その規則の欠如が資源の複製や破棄をどのように制限するかを理解しようとした。

詳細

関連語

linear logics

（ plural ）

詳細

Webで検索する