Interdisciplinary Study in Philosophy of Logic - With a special focus on theory of inferences and proofs of intuitionistic logic
| Project/Area Number |
23520036
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Philosophy/Ethics
|
|---|
| Research Institution | Keio University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2011 – 2014
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | 哲学 / 論理学 / 直観主義論理 / 論理推論研究 / フッサール論理学 / 論理哲学 / 図形推論 / 証明論 / 数学の哲学 / 線形論理 / ウィトゲンシュタイン / フッサール / 認知論理学 / 直観主義 / 通信プロトコル / 認知科学 / フッサールの論理 / 国際情報交流 |
|---|
| Outline of Final Research Achievements |
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.
|
Report
(4 results)
Research Products
(28 results)
