直観主義論理を中心とした学際的論理哲学研究

Material type: 文書・図像類

Author: 岡田, 光弘ほか

Publisher: -

Publication date: 2017

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: type:text計算論的・構成主義的算術の算術証明論を展開したHusserlの構成可能的多様体論, Wittgensteinの帰納的証明論などの構成的証明論を明らかにした。直観主義論理可能世界意味論を通じて, 強制法の古典論理モデルの新しい確率論的・計算論的解釈を与え, 情報セキュリティ分野への具...

Related materials as well as pre- and post-revision versions

科研費研究者番号 : 30224025

科研費研究者番号 : 60191988

科研費研究者番号 : 80725739

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Keio Associated Repository of Academic resources
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Keio Associated Repository of Academic resources

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: 直観主義論理を中心とした学際的論理哲学研究
Author/Editor: 岡田, 光弘
金子, 洋之
峯島, 宏次
Author Heading: 岡田, 光弘
金子, 洋之
峯島, 宏次
Publication Date: 2017
Publication Date (W3CDTF): 2017
Alternative Title: チョッカンシュギロンリオチュウシントシタガクサイテキロンリテツガクケンキュウ
Chokkan shugi ronri o chūshin to shita gakusaiteki ronri tetsugaku kenkyū
Interdisciplinary study on logic, with a special focus on intuitionistic logic
Periodical title: 科学研究費補助金研究成果報告書
Text Language Code: jpn
eng
Subject Heading: 論理と数学の哲学,図形推論,直観主義論理,証明論,Wittgenstein哲学,日常推論の認知科学,フッサール論理学,情報論理
Target Audience: 一般
Note (General): type:text
計算論的・構成主義的算術の算術証明論を展開した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.
研究種目 : 基盤研究(B)(一般) 研究期間 : 2014～2017 課題番号 : 26284005 研究分野 : 論理学
Source: https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php?koara_id=KAKEN_26284005seika
https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php?koara_id=KAKEN_26284005seika
Access Restrictions: 限定公開
Related Material: 科研費研究者番号 : 30224025
科研費研究者番号 : 60191988
科研費研究者番号 : 80725739
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 慶應義塾大学 : 慶應義塾大学学術情報リポジトリ