Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
AN00150430-00000070-0023.pdf
Type |
:application/pdf |
Download
|
Size |
:548.7 KB
|
Last updated |
:Sep 21, 2010 |
Downloads |
: 673 |
Total downloads since Sep 21, 2010 : 673
|
|
Release Date |
|
Title |
Title |
様相命題論理の立体化
|
Kana |
ヨウソウ メイダイ ロンリ ノ リッタイカ
|
Romanization |
Yoso meidai ronri no rittaika
|
|
Other Title |
Title |
The propositional calculus of ML-C
|
Kana |
|
Romanization |
|
|
Creator |
Name |
田中, 見太郎
|
Kana |
タナカ, ケンタロウ
|
Romanization |
Tanaka, Kentaro
|
Affiliation |
慶應義塾大学文学研究科哲学専攻博土課程
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
三田哲學會
|
Kana |
ミタ テツガクカイ
|
Romanization |
Mita tetsugakukai
|
|
Date |
Issued (from:yyyy) |
1979
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
哲學
|
Name (Translated) |
|
Volume |
|
Issue |
70
|
Year |
1979
|
Month |
10
|
Start page |
23
|
End page |
39
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
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.
|
|
Table of contents |
1. ML-C
2. ML-Cモデル
3. T-C
4. T-Cの健全性と完全性
|
|
Keyword |
|
NDC |
|
Note |
|
Language |
|
Type of resource |
|
Genre |
|
Text version |
|
Related DOI |
|
Access conditions |
|
Last modified date |
|
Creation date |
|
Registerd by |
|
History |
|
Index |
|
Related to |
|