| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Outline of Final Research Achievements |
We have advanced an integrated approach to analyzing natural language inferences and diagrammatic inferences using logical methods. In particular, we built a higher-order inference system that extends a basic system of natural logic and showed that it can handle a wide range of inference phenomena in natural language, including those involving generalized quantifiers and intensional expressions. In parallel with this study, we developed an inference system that deals with anaphora and presupposition in the framework of modern type theory and applied it to various linguistic phenomena. We have also advanced a logical analysis of a diagrammatic representation system for proportional generalized quantifiers and developed a logical and cognitive analysis of representation and inference systems of Euler diagrams that handle quantificational and relational inferences.
|
