検索結果- 英語 - 英語

検索内容:

Logi

first-order logic

名詞

可算名詞不可算名詞

日本語の意味

形式的な推論体系で、命題論理を基礎に拡張し、対象となる個体に対して「すべての」や「存在する」といった量化（∀, ∃）を可能にする論理体系。 / 対象の領域の個体に関する性質や関係を記述するための、明確かつ厳密な論理体系。

このボタンはなに？

In my philosophy of science seminar, we used first-order logic to formalize hypotheses about observable entities.

Google翻訳 / DeepL翻訳

私の科学哲学のゼミでは、観察可能な対象についての仮説を形式化するために、個体に量化を許す述語論理を用いました。

詳細

関連語

first-order logics

（ plural ）

詳細

predicate logic

名詞

日本語の意味

記号論理体系全般、すなわち一階述語論理、二階述語論理、多相論理、無限論理などの体系を含む場合がある。 / 一階述語論理

このボタンはなに？

In the seminar, we explored the foundations of predicate logic and its role in proving completeness theorems.

Google翻訳 / DeepL翻訳

ゼミでは、一次・二次・多ソート・無限論理といった記号的な形式体系（総称して述語論理）の基礎と、それらが完全性定理の証明に果たす役割を探りました。

詳細

関連語

predicate logics

（ plural ）

詳細

propositional logic

名詞

日本語の意味

命題論理: 原子命題を論理結合子（例えば、かつ、または、ならばなど）を用いて組み合わせ、形式的な演繹体系内で命題を構成する論理体系。

このボタンはなに？

In the seminar, we used propositional logic to teach students how to translate natural language statements into formal formulas.

Google翻訳 / DeepL翻訳

ゼミでは、自然言語の文を形式的な式に翻訳する方法を教えるために、命題論理を用いました。

詳細

関連語

propositional logics

（ plural ）

詳細

monadic predicate logic

名詞

日本語の意味

単項述語論理：全ての述語記号が単項（1つの引数のみを取る）で構成され、関数記号が存在しない述語論理の一部分

このボタンはなに？

Research on monadic predicate logic shows that many decidability problems are simpler than in the full predicate calculus.

Google翻訳 / DeepL翻訳

すべての述語記号が単項（すなわち1つの引数しか取らず）、関数記号が存在しない述語論理の断片に関する研究は、多くの判定可能性の問題が完全な述語計算よりも簡単であることを示している。

詳細

関連語

monadic predicate logics

（ plural ）

詳細

logical atomism

名詞

不可算名詞

日本語の意味

（哲学）世界がこれ以上分解できない究極の論理的事実、すなわち「原子」から成り立つとする学説（論理的原子論）。

このボタンはなに？

In our philosophy seminar, we debated whether logical atomism could truly account for complex social phenomena.

Google翻訳 / DeepL翻訳

哲学のゼミでは、世界がそれ以上分解できない究極の論理的事実（「原子」）で構成されているという教義が、複雑な社会現象を本当に説明できるかどうかを議論した。

詳細

intensional logic

名詞

(logic) A formal deductive system able to represent the distinction between intension and extension of a term.

日本語の意味

形式的な推論体系で、用語の内包（意味）と外延（対象）の区別を明示的に扱う論理システム

このボタンはなに？

Google翻訳 / DeepL翻訳

学会で彼女は、項の内包と外延の区別を表現する形式的演繹体系である内包論理に関する新しい証明を発表し、その違いを明確にした。

詳細

関連語

intensional logics

（ plural ）

詳細

logic-chopper

名詞

別表記異形

Alternative spelling of logic chopper

日本語の意味

「logic-chopper」は「logic chopper」と同一の意味を持つ別綴りとして使用される名詞です。

このボタンはなに？

The new logic-chopper in the compiler removed redundant conditions and simplified the code.

Google翻訳 / DeepL翻訳

コンパイラの新しいロジックチョッパーは冗長な条件を取り除き、コードを簡素化した。

詳細

関連語

logic-choppers

（ plural ）

詳細

chopped logic

名詞

不可算名詞

Reasoning which is improper; sophistry.

日本語の意味

不適切な推論 / 詭弁

このボタンはなに？

His argument relied on chopped logic, so the committee dismissed it.

Google翻訳 / DeepL翻訳

彼の主張は誤った推論に基づいていたため、委員会はそれを却下した。

詳細

logic chopper

名詞

A person who makes confusing or specious arguments, especially arguments involving equivocation.

日本語の意味

あいまいな表現や誤った論法を用いて、相手を混乱させたり誤誘導する人物 / 論理的な議論を装いながら、実際には矛盾や欺瞞を含む主張をする人

このボタンはなに？

Google翻訳 / DeepL翻訳

委員会が明確な答えを求めたとき、彼は詭弁家であることが明らかになり、責任を回避するために問題を曖昧な断片に切り分けた。

詳細

関連語

logic choppers

（ plural ）

詳細

chop-logic

形容詞

別表記異形比較不可

Alternative spelling of chop logic

日本語の意味

「chop logic」の別綴り、つまり同じ概念を示す異なる表記

このボタンはなに？

The chop-logic argument in his essay made the conclusion seem arbitrary.

Google翻訳 / DeepL翻訳

彼のエッセイにあるチョップ・ロジック的な議論は、結論が恣意的に見えた。

詳細

Webで検索する