-
- 和田 和行
- 武蔵野美術大学
書誌事項
- タイトル別名
-
- コウリテキ セイシツロン ノ ム ムジュンセイ ト コウリ ノ ドクリツセイ
この論文をさがす
説明
この論文においては, 公理的性質論PTC或はPTCEに対する可能性世界モデル及びブール値モデルを, 公理的集合論ZFCにおいて構成する。そして, それによって上記の体系のZFCに対する相対的無矛盾性や公理の独立性を証明する。これらの体系は, いわば様相論理S5とZFCを組み合わせた体系であるが, ZFCが集合を対象とするのに対して, 内包的な性質を対象とする。これらの体系においては, 事態, 完全個体概念, 可能的世界等の内包的対象についての理論を展開することができる 。
収録刊行物
-
- 科学基礎論研究
-
科学基礎論研究 19 (3), 111-115, 1989
科学基礎論学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001205322658560
-
- NII論文ID
- 110000132935
-
- NII書誌ID
- AN00036945
-
- ISSN
- 18841236
- 00227668
-
- NDL書誌ID
- 3342409
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDLサーチ
- Crossref
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可