2014 Fiscal Year Final Research Report
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
|
| 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.
|
| Free Research Field |
論理学
|
