| Item Type |
Article |
| ID |
|
| Preview |
| Image |
|
| Caption |
|
|
| Full text |
KAKEN_23520036seika.pdf
| Type |
:application/pdf |
Download
|
| Size |
:210.2 KB
|
| Last updated |
:Apr 8, 2016 |
| Downloads |
: 384 |
Total downloads since Apr 8, 2016 : 384
|
|
| Release Date |
|
| Title |
| Title |
論理哲学の学際研究 : 直観主義論理の推論・証明理論を中心として
|
| Kana |
ロンリ テツガク ノ ガクサイ ケンキュウ : チョッカン シュギ ロンリ ノ スイロン・ショウメイ リロン オ チュウシン トシテ
|
| Romanization |
Ronri tetsugaku no gakusai kenkyu : chokkan shugi ronri no suiron shomei riron o chushin toshite
|
|
| Other Title |
| Title |
Interdisciplinary Study in Philosophy of Logic : With a special focus on theory of inferences and proofs of intuitionistic logic
|
| Kana |
|
| Romanization |
|
|
| Creator |
| Name |
岡田, 光弘
 |
| Kana |
オカダ, ミツヒロ
|
| Romanization |
Okada, Mitsuhiro
|
| Affiliation |
慶應義塾大学・文学部・教授
|
| Affiliation (Translated) |
|
| Role |
Research team head
|
| Link |
科研費研究者番号 : 30224025
|
|
| Edition |
|
| Place |
|
| Publisher |
|
| Date |
| Issued (from:yyyy) |
2015
|
| Issued (to:yyyy) |
|
| Created (yyyy-mm-dd) |
|
| Updated (yyyy-mm-dd) |
|
| Captured (yyyy-mm-dd) |
|
|
| Physical description |
|
| Source Title |
| Name |
科学研究費補助金研究成果報告書
|
| Name (Translated) |
|
| Volume |
|
| Issue |
|
| Year |
2014
|
| 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 |
論理哲学の学際研究を行い成果をあげた。直観主義論理に関す20世紀初頭以来のこの分野の主要問題の一つと考えられてきたが, これまでの先行研究では論理的手法や数学基礎論手法などの伝統的なものに限られていた。本研究では, 認知科学推論研究手法やフッサール現象学論理手法なども取り入れた新しい学際研究手法を構築して, 本研究に取り組み, 新しい成果をあげた。
We produced fruitaful results on our interdisciplinary research on philosophy of logic. The issue on intuitionistic logic has been considered one of the important issues in philosophy of logic and philosophy of mathematics. Although the former work had used the traditional logical and mathematical methodologies only, with this research project we introduced new methodologies such as cognitive schientific inference study and Husserlian phenomenological logic, and we gave a new vew on this issue.
|
|
| Table of contents |
|
| Keyword |
|
| NDC |
|
| Note |
研究種目 : 基盤研究(C)
研究期間 : 2011～2014
課題番号 : 23520036
研究分野 : 論理学
|
|
| Language |
|
| Type of resource |
|
| Genre |
|
| Text version |
|
| Related DOI |
|
| Access conditions |
|
| Last modified date |
|
| Creation date |
|
| Registerd by |
|
| History |
|
| Index |
|
| Related to |
|
