| Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2014: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2013: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Outline of Final Research Achievements |
Usage of logical symbol requires both the logic of symbols and the logic of meaning of the symbols. It is well known that there is a contradiction between point and open logic, and that the contradiction can be resolved by introducing a constraint on using logical operations. In our research we propose a hypothesis of which an agent confronting a logical contradiction perpetually construct a new symbol embedding a contradiction, and implement the hypothesis as an ethological experiment of garden ants. We finally show that garden ants could constructs a new landmark in confronting a contradiction of previous landmarks.
|
