検索結果- 英語 - 英語

検索内容:

existential

existentializing

動詞

活用形分詞現在形

present participle of existentialize

日本語の意味

「existentialize」の現在分詞形。

このボタンはなに？

The philosopher spent the afternoon existentializing everyday dilemmas to uncover their deeper meaning.

Google翻訳 / DeepL翻訳

哲学者は日常のジレンマを存在の問題として扱い、その深い意味を明らかにするために午後を過ごした。

詳細

existentiations

名詞

活用形複数形

plural of existentiation

日本語の意味

「existentiation」という英語名詞の複数形です。つまり、存在化（または実体化）のプロセスや状態が複数存在することを示す活用形となります。

このボタンはなに？

The philosopher listed ten existentiations as examples of how consciousness brings forth reality.

Google翻訳 / DeepL翻訳

その哲学者は、意識が現実を生み出す例として、存在化の十の事例を挙げた。

詳細

existentiation

名詞

The process of making something existential; of causing something to exist.

日本語の意味

何かが実在するようにする過程・行為。 / 存在を実現させるためのプロセス。

このボタンはなに？

The poet's recurring images and tone brought about the existentiation of loss throughout the collection.

Google翻訳 / DeepL翻訳

詩人の繰り返されるイメージと口調は、詩集全体にわたって喪失を実存化する過程をもたらした。

詳細

関連語

existentiations

（ plural ）

詳細

existential crisis

名詞

(existentialism) A state of panic or feeling of intense psychological discomfort about questions of existence.

日本語の意味

存在や生き方に対する疑問から生じる極度の不安や心理的苦痛、つまり自分の存在意義に対する危機感を感じる状態

このボタンはなに？

After graduating, she spiraled into an existential crisis, questioning the point of her career and relationships.

Google翻訳 / DeepL翻訳

卒業後、彼女は実存的な危機に陥り、キャリアや人間関係の意味を問い直した。

詳細

関連語

existential crises

（ plural ）

詳細

existential instantiation

名詞

(logic) In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in Skolemization)).

日本語の意味

（述語論理における）∃x P(x)という存在命題から、新たな定数記号（元々の議論領域に含まれていない記号）を導入し、P(c)という形で推論を進める規則。 / 述語論理において、存在を示す命題から、その存在する要素を新しい定数として具体化して、その性質を扱う推論手法。

このボタンはなに？

In many logic textbooks, existential instantiation is introduced as the rule that allows one to replace an existential formula ∃x P(x) with a new constant c and infer P(c).

Google翻訳 / DeepL翻訳

多くの論理学の教科書では、存在を表す式 ∃x P(x) を新しい定数 c に置き換えて P(c) を導くことを可能にする推論規則として紹介されている。

詳細

関連語

existential instantiations

（ plural ）

詳細

existential quantifier

名詞

(logic) The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".

日本語の意味

存在量化子: 論理学における述語論理で、記号 ∃ を用いて、ある述語が特定の集合の少なくとも一つの要素について成立することを示す記号。口語表現では「存在する」「有る」などと訳される。