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

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

Home  »»  Listing item  »»  Detail

Detail

Item Type Article
ID
KAKEN_26284005seika  
Preview
Image
thumbnail  
Caption  
Full text
KAKEN_26284005seika.pdf
Type :application/pdf Download
Size :117.7 KB
Last updated :May 7, 2020
Downloads : 663

Total downloads since May 7, 2020 : 663
 
Release Date
 
Title
Title 直観主義論理を中心とした学際的論理哲学研究  
Kana チョッカン シュギ ロンリ オ チュウシン ト シタ ガクサイテキ ロンリ テツガク ケンキュウ  
Romanization Chokkan shugi ronri o chūshin to shita gakusaiteki ronri tetsugaku kenkyū  
Other Title
Title Interdisciplinary study on logic, with a special focus on intuitionistic logic  
Kana  
Romanization  
Creator
Name 岡田, 光弘  
Kana オカダ, ミツヒロ  
Romanization Okada, Mitsuhiro  
Affiliation 慶應義塾大学・文学部・教授  
Affiliation (Translated)  
Role Research team head  
Link 科研費研究者番号 : 30224025

Name 金子, 洋之  
Kana カネコ, ヒロユキ  
Romanization Kaneko, Hiroyuki  
Affiliation 専修大学・文学部・教授  
Affiliation (Translated)  
Role Research team member  
Link 科研費研究者番号 : 60191988

Name 峯島, 宏次  
Kana ミネシマ, コウジ  
Romanization Mineshima, Kōji  
Affiliation お茶の水大学・シミュレーション科学教育研究センター・特任准教授  
Affiliation (Translated)  
Role Research team member  
Link 科研費研究者番号 : 80725739
Edition
 
Place
 
Publisher
Name  
Kana  
Romanization  
Date
Issued (from:yyyy) 2018  
Issued (to:yyyy)  
Created (yyyy-mm-dd)  
Updated (yyyy-mm-dd)  
Captured (yyyy-mm-dd)  
Physical description
1 pdf  
Source Title
Name 科学研究費補助金研究成果報告書  
Name (Translated)  
Volume  
Issue  
Year 2017  
Month  
Start page  
End page  
ISSN
 
ISBN
 
DOI
URI
JaLCDOI
NII Article ID
 
Ichushi ID
 
Other ID
 
Doctoral dissertation
Dissertation Number  
Date of granted  
Degree name  
Degree grantor  
Abstract
計算論的・構成主義的算術の算術証明論を展開したHusserlの構成可能的多様体論, Wittgensteinの帰納的証明論などの構成的証明論を明らかにした。直観主義論理可能世界意味論を通じて, 強制法の古典論理モデルの新しい確率論的・計算論的解釈を与え, 情報セキュリティ分野への具体的応用を示した。証明論的正規化定理から線形論理, 直観主義論理の意味論と証明論が構成されることを示した。これまで意味論的分析が主流となっていた図的論理分野において, 証明論分析手法を発展させた。日常論理推論プロセスの構成的側面の理解のために, 認知心理学的手法, 行動遺伝学的手法, 社会心理学的手法を導入して多くの新しい知を得た。
We analyzed Husserl's theory of constructible definite manifolds and Wittgenstein's theory of inductive proofs from the constructivist philosophy of mathematics. We developed a Fitting-forcing-based classical model construction method from intuitionistic possible world semantics for introducing a new semantics with computational interpretations. We gave a concrete application of this semantics to the computer security field. We also developed a general theory of proof normalization in an abstruct setting. We also developed some new proof-theoreric methods for analizing diagrammatic logic. We introduced various experimental methods in our research to consider the process models of logical inferences in our ordinary life. Our methods include cognitive scientific/cognitive psychological, behavioral genetic psychological, social psychological methods and others.
 
Table of contents

 
Keyword
論理と数学の哲学  

図形推論  

直観主義論理  

証明論  

Wittgenstein哲学  

日常推論の認知科学  

フッサール論理学  

情報論理  
NDC
 
Note
研究種目 : 基盤研究(B)(一般)
研究期間 : 2014~2017
課題番号 : 26284005
研究分野 : 論理学
 
Language
日本語  

英語  
Type of resource
text  
Genre
Research Paper  
Text version
publisher  
Related DOI
Access conditions

 
Last modified date
May 07, 2020 15:00:59  
Creation date
Nov 12, 2018 15:24:09  
Registerd by
mediacenter
 
History
Nov 12, 2018    インデックス を変更
May 7, 2020    Creator Name,Creator Kana,Creator Romanization,Creator Affiliation,Creator Affiliation (Translated),Creator Role,Creator Link,Creator 著者ID,Abstract 内容,Note 注記 を変更
 
Index
/ Public / Grants-in-Aid for Scientific Research / Fiscal year 2017 / Japan Society for the Promotion of Science
 
Related to
 

Ranking

most accessed items
1st 新自由主義に抗す... (427) 1st
2nd 斎藤隆夫の「粛軍... (340)
3rd 慶應義塾図書館史... (271)
4th 認知文法から考え... (265)
5th M&Aにおける... (263)

most downloaded items
1st <<Qu'... (1470) 1st
2nd 新参ファンと古参... (437)
3rd 731部隊と細菌戦 ... (314)
4th 日本における美容... (268)
5th 新自由主義に抗す... (267)

LINK

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