| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2014: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2013: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Outline of Final Research Achievements |
In the traditional logic, deductive reasoning based on the sentential/symbolic representation has been studied. By extending the framework of the traditional logic, I investigated reasoning based on diagrammatic/graphical representations and on non-monotonic and non-deductive inference rules.
I investigated, as case studies on diagrammatic reasoning, reasoning based on Euler diagrams, Venn diagrams, correspondence tables, and mathematical graphs. I further investigated heterogeneous reasoning combining these diagrams and sentential representation.
I investigated non-monotonic reasoning in terms of linear logic. I further studied one of the major non-deductive reasoning called abduction. Furthermore, I tried to apply my results on diagrammatic and non-deductive reasoning to teaching logic and mathematics.
|
