A formal cognitive model of mathematical metaphors

Markus Guhe; Alan Smaill; Alison Pease

doi:10.1007/978-3-642-04617-9_41

A formal cognitive model of mathematical metaphors

Markus Guhe, Alan Smaill, Alison Pease

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

3 Citations (Scopus)

Abstract

Starting from the observation by Lakoff and Núñez (2000) that the process for mathematical discoveries is essentially one of creating metaphors, we show how Information Flow theory (Barwise & Seligman, 1997) can be used to formalise the basic metaphors for arithmetic that ground the basic concepts in the human embodied nature.

Original language	English
Title of host publication	KI 2009: Advances in Artificial Intelligence
Subtitle of host publication	32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings
Editors	Bärbel Mertsching, Marcus Hund, Zaheer Aziz
Place of Publication	Berlin
Publisher	Springer
Pages	323-330
Number of pages	8
ISBN (Electronic)	9783642046179
ISBN (Print)	9783642046162
DOIs	https://doi.org/10.1007/978-3-642-04617-9_41
Publication status	Published - 2009
Event	32nd Annual Conference on Artificial Intelligence - University of Paderborn, Paderborn, Germany Duration: 15 Sept 2009 → 18 Sept 2009 http://ki2009.uni-paderborn.de/index.php?id=1

Publication series

Name	Lecture notes in computer science
Publisher	Springer
Volume	5803
ISSN (Print)	0302-9743

Conference

Conference	32nd Annual Conference on Artificial Intelligence
Abbreviated title	KI 2009: AI and Automation
Country/Territory	Germany
City	Paderborn
Period	15/09/09 → 18/09/09
Internet address	http://ki2009.uni-paderborn.de/index.php?id=1

Access to Document

10.1007/978-3-642-04617-9_41

Cite this

Guhe, M., Smaill, A., & Pease, A. (2009). A formal cognitive model of mathematical metaphors. In B. Mertsching, M. Hund, & Z. Aziz (Eds.), KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings (pp. 323-330). (Lecture notes in computer science; Vol. 5803). Springer . https://doi.org/10.1007/978-3-642-04617-9_41

Guhe, Markus ; Smaill, Alan ; Pease, Alison. / A formal cognitive model of mathematical metaphors. KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. editor / Bärbel Mertsching ; Marcus Hund ; Zaheer Aziz. Berlin : Springer , 2009. pp. 323-330 (Lecture notes in computer science).

@inproceedings{e1e3f3f96a884a0db44d490f0f96864e,

title = "A formal cognitive model of mathematical metaphors",

abstract = "Starting from the observation by Lakoff and N{\'u}{\~n}ez (2000) that the process for mathematical discoveries is essentially one of creating metaphors, we show how Information Flow theory (Barwise & Seligman, 1997) can be used to formalise the basic metaphors for arithmetic that ground the basic concepts in the human embodied nature.",

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

year = "2009",

doi = "10.1007/978-3-642-04617-9_41",

language = "English",

isbn = "9783642046162",

series = "Lecture notes in computer science",

publisher = "Springer ",

pages = "323--330",

editor = "Mertsching, {B{\"a}rbel } and Marcus Hund and Zaheer Aziz",

booktitle = "KI 2009: Advances in Artificial Intelligence",

note = "32nd Annual Conference on Artificial Intelligence, KI 2009: AI and Automation ; Conference date: 15-09-2009 Through 18-09-2009",

url = "http://ki2009.uni-paderborn.de/index.php?id=1",

}

Guhe, M, Smaill, A & Pease, A 2009, A formal cognitive model of mathematical metaphors. in B Mertsching, M Hund & Z Aziz (eds), KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. Lecture notes in computer science, vol. 5803, Springer , Berlin, pp. 323-330, 32nd Annual Conference on Artificial Intelligence, Paderborn, Germany, 15/09/09. https://doi.org/10.1007/978-3-642-04617-9_41

A formal cognitive model of mathematical metaphors. / Guhe, Markus; Smaill, Alan; Pease, Alison.
KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. ed. / Bärbel Mertsching; Marcus Hund; Zaheer Aziz. Berlin: Springer , 2009. p. 323-330 (Lecture notes in computer science; Vol. 5803).

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

TY - GEN

T1 - A formal cognitive model of mathematical metaphors

AU - Guhe, Markus

AU - Smaill, Alan

AU - Pease, Alison

PY - 2009

Y1 - 2009

N2 - Starting from the observation by Lakoff and Núñez (2000) that the process for mathematical discoveries is essentially one of creating metaphors, we show how Information Flow theory (Barwise & Seligman, 1997) can be used to formalise the basic metaphors for arithmetic that ground the basic concepts in the human embodied nature.

AB - Starting from the observation by Lakoff and Núñez (2000) that the process for mathematical discoveries is essentially one of creating metaphors, we show how Information Flow theory (Barwise & Seligman, 1997) can be used to formalise the basic metaphors for arithmetic that ground the basic concepts in the human embodied nature.

U2 - 10.1007/978-3-642-04617-9_41

DO - 10.1007/978-3-642-04617-9_41

M3 - Conference contribution

SN - 9783642046162

T3 - Lecture notes in computer science

SP - 323

EP - 330

BT - KI 2009: Advances in Artificial Intelligence

A2 - Mertsching, Bärbel

A2 - Hund, Marcus

A2 - Aziz, Zaheer

PB - Springer

CY - Berlin

T2 - 32nd Annual Conference on Artificial Intelligence

Y2 - 15 September 2009 through 18 September 2009

ER -

A formal cognitive model of mathematical metaphors

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this