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

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

Home  »»  Listing item  »»  Detail

Detail

Item Type Article
ID
AN00150430-00000146-0019  
Preview
Image
thumbnail  
Caption  
Full text
AN00150430-00000146-0019.pdf
Type :application/pdf Download
Size :278.1 KB
Last updated :Apr 12, 2024
Downloads : 686

Total downloads since Apr 12, 2024 : 686
 
Release Date
 
Title
Title 線形論理の意味論のtruthmaker解釈に向けて  
Kana センケイ ロンリ ノ イミロン ノ truthmaker カイシャク ニ ムケテ  
Romanization Senkei ronri no imiron no truthmaker kaishaku ni mukete  
Other Title
Title Towards a truthmaker interpretation of the semantics of linear logic  
Kana  
Romanization  
Creator
Name 小関, 健太郎  
Kana オゼキ, ケンタロウ  
Romanization Ozeki, Kentarō  
Affiliation 慶應義塾大学; 日本学術振興会特別研究員DC  
Affiliation (Translated)  
Role  
Link  

Name 岡田, 光弘  
Kana オカダ, ミツヒロ  
Romanization Okada, Mitsuhiro  
Affiliation 慶應義塾大学名誉教授  
Affiliation (Translated)  
Role  
Link  
Edition
 
Place
東京  
Publisher
Name 三田哲學會  
Kana ミタ テツガクカイ  
Romanization Mita tetsugakukai  
Date
Issued (from:yyyy) 2021  
Issued (to:yyyy)  
Created (yyyy-mm-dd)  
Updated (yyyy-mm-dd)  
Captured (yyyy-mm-dd)  
Physical description
 
Source Title
Name 哲學  
Name (Translated) Philosophy  
Volume  
Issue 146  
Year 2021  
Month 3  
Start page 19  
End page 37  
ISSN
05632099  
ISBN
 
DOI
URI
JaLCDOI
NII Article ID
 
Ichushi ID
 
Other ID
 
Doctoral dissertation
Dissertation Number  
Date of granted  
Degree name  
Degree grantor  
Abstract
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.
 
Table of contents

 
Keyword
 
NDC
 
Note
特集 : 岡田光弘教授 退職記念号
原著研究論文
 
Language
日本語  

英語  
Type of resource
text  
Genre
Journal Article  
Text version
publisher  
Related DOI
Access conditions

 
Last modified date
Apr 12, 2024 15:56:29  
Creation date
Apr 16, 2021 10:05:29  
Registerd by
mediacenter
 
History
Apr 16, 2021    インデックス を変更
Apr 12, 2024    Creator 著者ID,Creator Name,Creator Kana,Creator Romanization,Creator Affiliation,Creator Affiliation (Translated),Creator Role,Creator Link,Abstract 内容,Note 注記 を変更
 
Index
/ Public / Faculty of Letters / Philosophy / 146 (202103)
 
Related to