| Budget Amount *help |
¥5,590,000 (Direct Cost: ¥4,300,000、Indirect Cost: ¥1,290,000)
Fiscal Year 2016: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2015: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2014: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Outline of Final Research Achievements |
We analyzed Husserl's theory of constructible definite manifolds and Wittgenstein's theory of inductive proofs from the constructivist philosophy of mathematics. We developed a Fitting-forcing-based classical model construction method from intuitionistic possible world semantics for introducing a new semantics with computational interpretations. We gave a concrete application of this semantics to the computer security field. We also developed a general theory of proof normalization in an abstruct setting. We also developed some new proof-theoreric methods for analizing diagrammatic logic. We introduced various experimental methods in our research to consider the process models of logical inferences in our ordinary life. Our methods include cognitive scientific/cognitive psychological, behavioral genetic psychological, social psychological methods and others.
|
