アイテムタイプ |
Article |
ID |
|
プレビュー |
画像 |
|
キャプション |
|
|
本文 |
AN00150430-00000070-0023.pdf
Type |
:application/pdf |
Download
|
Size |
:548.7 KB
|
Last updated |
:Sep 21, 2010 |
Downloads |
: 669 |
Total downloads since Sep 21, 2010 : 669
|
|
本文公開日 |
|
タイトル |
タイトル |
様相命題論理の立体化
|
カナ |
ヨウソウ メイダイ ロンリ ノ リッタイカ
|
ローマ字 |
Yoso meidai ronri no rittaika
|
|
別タイトル |
名前 |
The propositional calculus of ML-C
|
カナ |
|
ローマ字 |
|
|
著者 |
名前 |
田中, 見太郎
|
カナ |
タナカ, ケンタロウ
|
ローマ字 |
Tanaka, Kentaro
|
所属 |
慶應義塾大学文学研究科哲学専攻博土課程
|
所属(翻訳) |
|
役割 |
|
外部リンク |
|
|
版 |
|
出版地 |
|
出版者 |
名前 |
三田哲學會
|
カナ |
ミタ テツガクカイ
|
ローマ字 |
Mita tetsugakukai
|
|
日付 |
出版年(from:yyyy) |
1979
|
出版年(to:yyyy) |
|
作成日(yyyy-mm-dd) |
|
更新日(yyyy-mm-dd) |
|
記録日(yyyy-mm-dd) |
|
|
形態 |
|
上位タイトル |
名前 |
哲學
|
翻訳 |
|
巻 |
|
号 |
70
|
年 |
1979
|
月 |
10
|
開始ページ |
23
|
終了ページ |
39
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII論文ID |
|
医中誌ID |
|
その他ID |
|
博士論文情報 |
学位授与番号 |
|
学位授与年月日 |
|
学位名 |
|
学位授与機関 |
|
|
抄録 |
ML-C is, as it were, a modal logic with chronology. In a ML-C model there is a time pervading all possible worlds. A world w′ is accessible not only from a world w but also from a time t at w. (In this case we say that w′ derives from w at t.) Thus we can discriminate w′ from w″ deriving from w at another time t′. In every world we associate a time point to every wff and define the necessity of A as A being true in all w′ derivative from w at A's point. In ML-C we shall have some merits. First, we'll be able to define the so called strict implication without inviting any paradoxes. Second, we'll be able to treat such a case that B becomes necessary because of A. For this means that B is true in every world derivative at A's point. However these are not treated here. I hope this treatise to be the first step to these or other objectives.
|
|
目次 |
1. ML-C
2. ML-Cモデル
3. T-C
4. T-Cの健全性と完全性
|
|
キーワード |
|
NDC |
|
注記 |
|
言語 |
|
資源タイプ |
|
ジャンル |
|
著者版フラグ |
|
関連DOI |
|
アクセス条件 |
|
最終更新日 |
|
作成日 |
|
所有者 |
|
更新履歴 |
|
インデックス |
|
関連アイテム |
|