Using information flow for modelling mathematical metaphors

Markus Guhe; Alan Smaill; Alison Pease

Using information flow for modelling mathematical metaphors

Markus Guhe
, Alan Smaill
, Alison Pease

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

Cite this

@inproceedings{e7a06b679837420588b0fe8c393384ae,

title = "Using information flow for modelling mathematical metaphors",

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.",

keywords = "formal model, logic, metaphor, mathematics, scientific discovery",

author = "Markus Guhe and Alan Smaill and Alison Pease",

year = "2009",

language = "English",

pages = "258--263",

editor = "Andrew Howes and David Peebles and Cooper, \{Richard P.\}",

booktitle = "Proceedings of the 9th International Conference on Cognitive Modeling",

note = "9th International Conference on Cognitive Modeling, ICCM 2009 ; Conference date: 24-07-2009 Through 26-07-2009",

}

TY - GEN

T1 - Using information flow for modelling mathematical metaphors

AU - Guhe, Markus

AU - Smaill, Alan

AU - Pease, Alison

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - formal model

KW - logic

KW - metaphor

KW - mathematics

KW - scientific discovery

UR - https://iccm-conference.neocities.org/2009/proceedings/proceedings/papers/0044/paper0044.pdf

M3 - Conference contribution

SP - 258

EP - 263

BT - Proceedings of the 9th International Conference on Cognitive Modeling

A2 - Howes, Andrew

A2 - Peebles, David

A2 - Cooper, Richard P.

T2 - 9th International Conference on Cognitive Modeling

Y2 - 24 July 2009 through 26 July 2009

ER -

Using information flow for modelling mathematical metaphors

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this