慶應義塾大学学術情報リポジトリ(KOARA)KeiO Associated Repository of Academic resources

慶應義塾大学学術情報リポジトリ(KOARA)

ホーム  »»  アイテム一覧  »»  アイテム詳細

アイテム詳細

アイテムタイプ Article
ID
AN00150430-00000070-0023  
プレビュー
画像
thumbnail  
キャプション  
本文
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
05632099  
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
 
注記

 
言語
日本語  
資源タイプ
text  
ジャンル
Journal Article  
著者版フラグ
publisher  
関連DOI
アクセス条件

 
最終更新日
Sep 21, 2010 09:00:00  
作成日
Sep 21, 2010 09:00:00  
所有者
mediacenter
 
更新履歴
 
インデックス
/ Public / 文学部 / [哲学] 哲学 / 70 (197910)
 
関連アイテム
 

ランキング

最も多く閲覧されたアイテム
1位 新自由主義に抗す... (424) 1st
2位 斎藤隆夫の「粛軍... (356)
3位 M&Aにおける... (279)
4位 認知文法から考え... (276)
5位 慶應義塾図書館史... (275)

最も多くダウンロードされたアイテム
1位 <<Qu'... (1468) 1st
2位 新参ファンと古参... (454)
3位 日瑞比較法史論考... (440)
4位 731部隊と細菌戦 ... (306)
5位 日本における美容... (273)

LINK

慶應義塾ホームページへ
慶應義塾大学メディアセンターデジタルコレクション
慶應義塾大学メディアセンター本部
慶應義塾研究者情報データベース