| アイテムタイプ |
Article |
| ID |
|
| プレビュー |
| 画像 |
|
| キャプション |
|
|
| 本文 |
AN00150430-00000146-0019.pdf
| Type |
:application/pdf |
Download
|
| Size |
:278.1 KB
|
| Last updated |
:Apr 12, 2024 |
| Downloads |
: 764 |
Total downloads since Apr 12, 2024 : 764
|
|
| 本文公開日 |
|
| タイトル |
| タイトル |
線形論理の意味論の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 |
|
| 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 |
|
| 注記 |
|
| 言語 |
|
| 資源タイプ |
|
| ジャンル |
|
| 著者版フラグ |
|
| 関連DOI |
|
| アクセス条件 |
|
| 最終更新日 |
|
| 作成日 |
|
| 所有者 |
|
| 更新履歴 |
| Apr 16, 2021 | | インデックス を変更 |
| Apr 12, 2024 | | 著者 著者ID,著者 名前,著者 カナ,著者 ローマ字,著者 所属,著者 所属(翻訳),著者 役割,著者 外部リンク,抄録 内容,注記 注記 を変更 |
|
|
| インデックス |
|
| 関連アイテム |
|
