Barcan（量化モーダル論理における式であり）とは - 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

Barcan

Barcan formula

日本語の意味

量化モーダル論理における式であり、全ての対象が必然的に性質Fを持つならば、全ての対象が性質Fを持つこと自体が必然である、という命題を表す。

このボタンはなに？

During the philosophy seminar, we analyzed the Barcan formula and debated whether accepting it commits us to trans-world identity.

哲学のセミナーで、量化モーダル論理における「すべてのxが必然的にFであるならば、すべてのxが必然的であることが必然である」というバーキャンの公式を分析し、それを受け入れることが可能世界間の同一性を前提とするかどうかについて議論した。

関連語

the Barcan formula

（ canonical ）

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★