Abstract
We argue for two points in this paper. Firstly, formal models can be a useful means for cognitive modelling, in particular for domains that traditionally already use this kind of model. Secondly, we present a formal model of how two of the grounding metaphors for arithmetic proposed by Lakoff and Núñez (2000) can be linked to basic notions of arithmetic using the infomorphisms of the Information Flow theory.
| Original language | English |
|---|---|
| Pages | 258-263 |
| Number of pages | 6 |
| Publication status | Published - 2009 |
| Event | 9th International Conference on Cognitive Modeling, ICCM 2009 - Duration: 24 Jul 2009 → 26 Jul 2009 |
Conference
| Conference | 9th International Conference on Cognitive Modeling, ICCM 2009 |
|---|---|
| Period | 24/07/09 → 26/07/09 |
Keywords
- formal model
- logic
- mathematics
- metaphor
- scientific discovery
ASJC Scopus subject areas
- Artificial Intelligence
- Computer Science Applications
- Control and Optimization
- Modelling and Simulation