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

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

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

アイテム詳細

アイテムタイプ Article
ID
AN00150430-00000146-0019  
プレビュー
画像
thumbnail  
キャプション  
本文
AN00150430-00000146-0019.pdf
Type :application/pdf Download
Size :278.1 KB
Last updated :Apr 12, 2024
Downloads : 681

Total downloads since Apr 12, 2024 : 681
 
本文公開日
 
タイトル
タイトル 線形論理の意味論のtruthmaker解釈に向けて  
カナ センケイ ロンリ ノ イミロン ノ truthmaker カイシャク ニ ムケテ  
ローマ字 Senkei ronri no imiron no truthmaker kaishaku ni mukete  
別タイトル
名前 Towards a truthmaker interpretation of the semantics of linear logic  
カナ  
ローマ字  
著者
名前 小関, 健太郎  
カナ オゼキ, ケンタロウ  
ローマ字 Ozeki, Kentarō  
所属 慶應義塾大学; 日本学術振興会特別研究員DC  
所属(翻訳)  
役割  
外部リンク  

名前 岡田, 光弘  
カナ オカダ, ミツヒロ  
ローマ字 Okada, Mitsuhiro  
所属 慶應義塾大学名誉教授  
所属(翻訳)  
役割  
外部リンク  
 
出版地
東京  
出版者
名前 三田哲學會  
カナ ミタ テツガクカイ  
ローマ字 Mita tetsugakukai  
日付
出版年(from:yyyy) 2021  
出版年(to:yyyy)  
作成日(yyyy-mm-dd)  
更新日(yyyy-mm-dd)  
記録日(yyyy-mm-dd)  
形態
 
上位タイトル
名前 哲學  
翻訳 Philosophy  
 
146  
2021  
3  
開始ページ 19  
終了ページ 37  
ISSN
05632099  
ISBN
 
DOI
URI
JaLCDOI
NII論文ID
 
医中誌ID
 
その他ID
 
博士論文情報
学位授与番号  
学位授与年月日  
学位名  
学位授与機関  
抄録
Entities supposed to make propositions or sentences true are called truthmakers.A classification of truthmakers into exact and inexact ones is proposed by Kit Fine in his "truthmaker" semantics : the former are truthmakers "wholly relevant" to propositions in terms of truthmaking, while the latter may be not. Fine demonstrates that the exact notion of truthmaking is often useful to provide fine-grained analysis of philosophical-logical and other various issues.
In this paper, we apply the exact notion of truthmaking to linear logic and outline a truthmaker interpretation of its semantics. We take states of affairs as truthmakers and interpret Girard's phase semantics, a model-theoretic (Tarskian) semantics of linear logic, in terms of states of affairs. Putting the "state space" structure in Fine's truthmaker semantics together with the "phase space" structure in phase semantics, we obtain models for classical linear logic in the style of truthmaker semantics. We put forth some truthmaker views on the models and the connectives of linear logic including exponential modalities.
 
目次

 
キーワード
 
NDC
 
注記
特集 : 岡田光弘教授 退職記念号
原著研究論文
 
言語
日本語  

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

 
最終更新日
Apr 12, 2024 15:56:29  
作成日
Apr 16, 2021 10:05:29  
所有者
mediacenter
 
更新履歴
Apr 16, 2021    インデックス を変更
Apr 12, 2024    著者 著者ID,著者 名前,著者 カナ,著者 ローマ字,著者 所属,著者 所属(翻訳),著者 役割,著者 外部リンク,抄録 内容,注記 注記 を変更
 
インデックス
/ Public / 文学部 / [哲学] 哲学 / 146 (202103)
 
関連アイテム
 

ランキング

最も多く閲覧されたアイテム
1位 731部隊と細菌戦 ... (405) 1st
2位 文化資本概念の現... (390)
3位 Spatial animacy ... (367)
4位 新自由主義に抗す... (343)
5位 ガールクラッシュ... (318)

最も多くダウンロードされたアイテム
1位 アセトアニリドの... (715) 1st
2位 酢酸エステル類の... (654)
3位 インフルエンサー... (561)
4位 診療上の医師の注... (476)
5位 学生の勉強方法に... (403)

LINK

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