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´u˜nez (2000) can be linked to basic notions of arithmetic using the infomorphisms of the Information Flow theory.
Original language | English |
---|---|
Title of host publication | Proceedings of the 9th International Conference on Cognitive Modeling |
Editors | Andrew Howes, David Peebles, Richard P. Cooper |
Pages | 258-263 |
Number of pages | 6 |
Publication status | Published - 2009 |
Event | 9th International Conference on Cognitive Modeling - Manchester, United Kingdom Duration: 24 Jul 2009 → 26 Jul 2009 |
Conference
Conference | 9th International Conference on Cognitive Modeling |
---|---|
Abbreviated title | ICCM 2009 |
Country/Territory | United Kingdom |
City | Manchester |
Period | 24/07/09 → 26/07/09 |
Keywords
- formal model
- logic
- metaphor
- mathematics
- scientific discovery