English Dictionary

Buridan formula

固有名詞

(logic) In quantified modal logic, the formula Diamond ∀xFx→∀x Diamond Fx, meaning "if possibly everything is F, then everything is possibly F".

日本語の意味

量化モーダル論理における論理式であり、具体的には「もし全ての対象がある性質Fを持つ可能性があるならば、各対象についてそれぞれFを持つ可能性がある」という意味を示す。

During the seminar on quantified modal logic, she argued that the Buridan formula reveals a subtle interplay between possibility and quantification.

量化モーダル論理のセミナーで、彼女は「もしすべてが可能的にFであるならば、すべてのものがそれぞれ可能的にFである」という公式が可能性と量化の微妙な相互作用を明らかにすると主張した。

意味（1）

(logic) In quantified modal logic, the formula Diamond ∀xFx→∀x Diamond Fx, meaning "if possibly everything is F, then everything is possibly F".

the Buridan formula （ canonical ）